Skip to ContentSkip to Navigation
Over onsFaculty of Science and EngineeringOnderzoekAliceMulti-Agent SystemsAbout Multi-Agentsystems

About Multi-Agent Systems

The Multi-Agent Systems (MAS) Group aims to construct new theory and computational models of higher-order social cognition to enhance the development of intelligent interaction between people and computer systems by supporting their abilities to reason about one another. For more details see the website of the project Social Cognition. Cognitive systems in interaction: Logical and computational models of higher-order social cognition.

The MAS group also builds computer models of argumentation in order to increase knowledge about natural argumentation, and studies the design of argumentation support software both in relation to actual task performance and in relation to formal logical models.


The Multi-Agent Systems Group applies logic in both well-known and novel ways. Logic provides a tested method to specify desired behavior of computational multi-agent systems in so-called belief-desire-intention (BDI) systems. We also use epistemic logics to design communication protocols and non-monotic logics to describe legal reasoning. In our recent work, we aim to design cognitively plausible logics for higher-order social cognition and to use logical representations as evolvable forms in agent-based simulations of cognitive evolution.

Laatst gewijzigd:25 juni 2015 16:31