|
||
| Institut de recherche en informatique de Toulouse - CNRS | ||
|
| ||
|
Description: The "Institut de recherche en informatique de Toulouse" is one of the biggest computer science research institutes in France (about 300 researchers), affiliated with the National Research Council (CNRS), the Paul Sabatier University in Toulouse (UPS), and the National Polytechnics Institute (INP). There are two research groups working in knowledge representation and reasoning : Plausible Reasoning, Decision, and Proof Methods (RPDMP, lead by Didier Dubois, Henri Prade and Claudette Cayrol) and Logic, Interaction, Language, and Computation (LILaC, lead by Andreas Herzig). While the former mainly investigates theories of uncertainty, the latter focusses on formalization of reasoning in logic. LILaC investigates logical models of interaction following two lines of research. The first line focuses on logics for reasoning about knowledge, belief, time, actions and obligations (A. Herzig, Ph. Balbiani, O. Gasquet, D. Longin, M. Pauly). There, the integration of logics of belief with speech act theory and theories of action is currently investigated, together with its application to the formalization of services on the web. LILaC has expertise concerning the development of automated theorem proving methods for the resulting logics (in particular modal and description logics), and has implemented a generic theorem prover (Lotrec). A second line focusses on modelling the structure of interaction (F. Evrard, P. Muller, L. Vieu). Here, LILaC has expertise on discourse representation theory (DRT), its segmented version (S-DRT), as well as on the theory of dialogue games. In particular it is currently investigated how S-DRT and dialogue game theory can be combined in a fruitful way. LILaC is involved in several national projects, in particular those of the "Cognitique" program and the CNRS program "knowledge, learning and new technologies of information and communication" (TCAN). | ||
|
Andreas Herzig
(1960) studied computer science in Darmstadt and Toulouse. In 1989 he obtained a Ph.D. in Computer Science at Paul Sabatier University in Toulouse on Automated Deduction in Modal Logics. Since 1990 he is a CNRS researcher. He is Executive Editor of the Journal Applied non Classical Logics, and member of the Editorial Board of the Electronic Transactions on Artificial Intelligence. He has participated in several Esprit project (ALPES, Basic Research Actions MEDLAR1, MEDLAR2, and DRUMS2). He co-edited a book on Conditional Logics, and co-authored a chapter in the Handbook of Logic in Artificial Intelligence and Logic Programming. He has published about 60 scientific papers in journals (Artificial Intelligence, J. of Semantics, J. of Logic and Computation, Int. Journal of Intelligent Systems and others) and conferences (IJCAI, ECAI, CADE, KR, UAI and others). His main research topic is the investigation of logical models of interaction, with a focus on logics for reasoning about knowledge, belief, time, actions and obligations and the development of theorem proving methods for them. He currently investigates the integration of logics of belief with speech act theory and theories of action. |
||
|
| ||
| Internal |
|
|