Logics for Intelligent Agents and Multi-Agent Systems
We have been involved in the field of logics for intelligent agents and multi-agent systems since its inception in the beginning of the 1990’s. This field has become a quite popular field in between computer science and artificial intelligence (AI). We investigate and develop various logics and formal tools that support specification and verification of autonomous agents and multi-agent systems. In particular we have looked at various extensions of the so-called BDI logics, modal logics that describe the beliefs, desires and intentions of agents, inspired by the work of the philosopher Michael Bratman.
In the past we have contributed to this field by the proposal of the KARO system which is a dynamic logic variant of BDI logic. We also included logical descriptions of emotions into the BDI-like formalisms. We have also worked on logics describing multi-agent systems. Already in the 1990’s we worked on notions such as common knowledge and distributed knowledge. From this work on we looked at various logics to describe all kinds of social concepts such as norms, responsibility, roles, etc. Particularly we have worked on normative and strategic reasoning in multi-agent systems and contributed to the logics that describe multi-agent interactions in normative environments. We have developed various extensions of LTL, CTL, and ATL to represent and reason about norms, deadlines and norm updates in such systems.