Modal operators with adaptable semantics for multi-agent systems

Authors:
S. Borgo
Affiliations:
LOA (ISTC-CNR), Trento, Italy
Venue:
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Year:
2005

Citing 3
Cited 1

Intention is choice with commitment

Artificial Intelligence
Dynamic Logic

Dynamic Logic
A multi-agent modal language for concurrency with non-communicating agents

CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems

Coalitions in action logic

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.