@inbook{08c738a6cca14dcca8a7a6f0f1f2281e,
title = "Modal logics for communicating rule-based agents",
abstract = "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.",
author = "Natasha Alechina and Mark Jago and Brian Logan",
year = "2006",
language = "English",
isbn = "9781586036423",
volume = "141",
series = "Frontiers in Artificial Intelligence and Applications",
pages = "322--326",
editor = "G. Brewka and S. Coradeschi and A. Perini and P. Traverso",
booktitle = "ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy",
}