pub:about_us:people:ali
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
pub:about_us:people:ali [2011/02/17 07:59] – wta | pub:about_us:people:ali [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Prof. Antoni Ligęza | ||
- | |||
- | {{: | ||
- | |||
- | **Antoni Ligeza, Professor** (< | ||
- | of computer science at the AGH University of Science and Technology at | ||
- | Krakow, Poland. His principal area of investigation is Artificial | ||
- | Intelligence and Knowledge Engineering. He lectures on knowledge | ||
- | engineering, | ||
- | and logics. He is a member of ACM and IEEE Computer Society. He is author | ||
- | and co-author of over 200 research publications, | ||
- | conferences, | ||
- | Foundations for Rule-Based Systems" | ||
- | covers issues ranging from logical bases, propositional, | ||
- | first-order logics, through various forms | ||
- | of rule-based systems to design and verification issues. It presents a | ||
- | novel approach based on XTT (eXtended Tabular Trees) and ARD (Attribute | ||
- | Relationship Diagrams) for efficient design and implementation of complex | ||
- | rule-based systems. The XTT approach can be applied to develop the control | ||
- | system for autonomous robots. It offers features like hierarchical control, | ||
- | rule-based control, context-switching, | ||
- | representation, | ||
- | completeness and consistency; | ||
- | |||
- | Antoni Ligeza actively participated in numerous national and international | ||
- | projects (KBN, TEMPUS, POLONIUM); he was the head | ||
- | of KBN-Regulus Project2, the Mirella Project on XTT (eXtended Tabular | ||
- | Systsems) and recently HeKatE on hybrid knowledge engineering, | ||
- | He was visiting professor and he worked in Denmark (Technical University of | ||
- | Lyngby) 4 months, in France (LAAS of CNRS, Toulouse; University of Nancy I, | ||
- | Nancy; CRIL Lens; University of Caen, Caen) for about two years in total | ||
- | and in Spain (University of Balearic Islands, Palma de Mallorca; University | ||
- | of Girona, Girona) for about one year. | ||
- | |||
- | Professor Antoni Ligeza developed theory for reverse plan generation | ||
- | (backward planning) (Artificial Intelligence, | ||
- | resolution method for automated theorem proving and completeness | ||
- | verification of rule-based systems (IJCAI' | ||
- | and design of rule-based systems based on the so-called psi-trees (ECAI | ||
- | Workshop 1996), concepts of granular sets and granular relations | ||
- | (AIMeth' | ||
- | granular logic (EMCSR' | ||
- | (Springer, 2006). He also worked in areas such as Operational Research, | ||
- | Control Theory, Decision Theory, Diagnostics, | ||
- | supervised numerous Ph.D. theses. He also serves as a reviewer for numerous | ||
- | international conferences and journals. | ||
- | |||
- | Roman catholic, married (1980) with Ewa. Two daughters, Magdalena and | ||
- | Marianna. | ||
- | Hobbies: martial arts (past), travels, nordic walking, logic, logic | ||
- | puzzles, demystification of magic tricks. | ||
- | ===== Navigation ===== | ||
- | |||
- | -> Go back to: [[pub: | ||