Modal logics for communicating rule-based agents

Natasha Alechina, Mark Jago, Brian Logan

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

14 Citations (Scopus)


In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The formal models of multi-agent systems we study are transition systems where each transition corresponds to either a rule firing or an act of communication by an agent. We present a complete and sound modal logic which formalises how the beliefs of communicating rule-based agents change over time. Using a simple example, we show how this logic can be used to specify temporal properties of belief change in multi-agent systems in a precise and realistic way, and how existing modal logic techniques such as model-checking can be used to state and verify properties of agents.

Original languageEnglish
Title of host publicationECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy
EditorsG. Brewka, S. Coradeschi, A. Perini, P. Traverso
Number of pages5
Publication statusPublished - 2006

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)09226389


Dive into the research topics of 'Modal logics for communicating rule-based agents'. Together they form a unique fingerprint.

Cite this