Modal Operators with Adaptable Semantics for Multi-agent Systems

We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual type of operators that present important features for capturing concurrency, independence, collaboration, and coordination between agents. The main goal of this paper is to study the semantics of these operators and to show how it can be adapted to capture different types of agents. The formalism allows a formal comparison of a variety of multi-agent systems.

Tipo Pubblicazione: 
Contributo in atti di convegno
Author or Creator: 
Borgo
S.
Source: 
9th Congress of the Italian Association for Artificial Intelligence,., pp. 186–197, Milan, Italy, 21-23 September 2005
Date: 
2005
Resource Identifier: 
http://www.cnr.it/prodotto/i/46765
https://dx.doi.org/10.1007/11558590_20
info:doi:10.1007/11558590_20
urn:isbn:3-540-29041-9
ISTC Author: 
Ritratto di Stefano Borgo
Real name: