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.
TechniquesThe 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:||31 mei 2018 16:40|