LoGIcInMAS · Logics and Games for Imperfect Information in Multi-Agent Systems

Logics and Games for Imperfect Information in Multi-Agent Systems

This project’s aim was to develop formal methods based on logics and game theory to model, specify and analyse multi-agent systems (MAS). Such systems, in which autonomous agents interact and strategise to achieve private and/or common objectives, are central in many endeavours of high potential societal impact, such as the development of smart cities or robotic rescue teams for nuclear accidents. Because of the criticality of many application areas, there has been over the recent years much effort put in bringing together the formal methods community and the MAS community in order to develop theoretical paradigms and practical tools to help design provably correct multi-agent systems. The logical approach has until now been particularly successful. The most recent and promising proposal was made by Chatterjee, Henzinger and Piterman, who in 2007 introduced Strategy Logic, a logic tailored to reason about rich game-theoretic notions in two-player turn-based games. In 2010 this logic was extended to (concurrent) multi-agent systems by Mogavero, Murano and Vardi, resulting in a very expressive logic (SL) that enjoys interesting properties and has been well studied, but only considers systems with perfect information. However, in most real-life applications, agents only have imperfect information about their environment. Typically, rescue robots each have only a local, partial view of their environment. Their sensors may even get damaged during the mission, due to radiations for example. Considering imperfect information deeply impacts the strategizing process, and it also calls for a modelling of agents’ uncertainty. This project had two main objectives: the first was to extend SL to account for imperfect information in strategies, and the second was to allow for reasoning about agents’ knowledge.

Текст от CORDIS, на английски · Данни: CORDIS, © Европейски съюз