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…


Link to Full Article: Logics for Intelligent Agents and Multi-Agent Systems