Logics of multi-agent systems

Presented by Emiliano Lorini

The tutorial will provide a general introduction to logics that support reasoning about some fundamental concepts for modelling autonomous agents and multi-agent systems. The first part of the tutorial is devoted to logics of action and time, while the second part is devoted to logics for reasoning about mental attitudes of agents including beliefs, knowledge, desires and preferences. If time permits, we will show how to combine the two families of logics to get a dynamic view of mental attitudes of agents.

Topics

  • modal logic
  • propositional dynamic logic
  • epistemic logic
  • BDI logics
  • dynamic epistemic logic