Reducing the complexity of logics for multiagent systems
Marcin Dziubiński, Rineke Verbrugge, Barbara Dunin‐Kȩplicz · 2007
Theories of multiagent systems (MAS), in particular those based on modal logics, often suffer from a high computational complexity. This is due in part to the combination of agents' individual attitudes (beliefs, goals and intentions), and even more importantly to the presence of group attitudes, such as common belief and collective intention.