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

Authors:
Stefano Borgo
Affiliations:
Computer Science, Indiana University, Bloomington, IN and LACL, Université de Paris XII, Creteil Cedex, FR
Venue:
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Year:
2003

Citing 4
Cited 2

Reasoning about knowledge

Reasoning about knowledge
The principles of mathematics revisited

The principles of mathematics revisited
Dynamic Logic

Dynamic Logic
Combinations of Modal Logics

Artificial Intelligence Review

Modal operators with adaptable semantics for multi-agent systems

AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
MMSDS: ubiquitous computing and WWW-Based multi-modal sentential dialog system

EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing

Quantified Score

Hi-index	0.01

Visualization

Abstract

We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifiers describe the evolution of a system where each agent has knowledge of other agents' attitude toward a goal but not of their actions. This result is obtained without introducing standard epistemic operators. The semantics presents a mixture of Tarskian and game-theoretical elements. We apply game-theory to interpret the quantified modalities and to determine which information is available to the agents as well as their reasoning capabilities.