Specifying Communicative Multi-Agent Systems (1998)
| Venue: | In Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications, volume 1441 of LNAI |
| Citations: | 20 - 8 self |
BibTeX
@INPROCEEDINGS{Shapiro98specifyingcommunicative,
author = {Steven Shapiro and Yves Lesperance and Hector J. Levesque},
title = {Specifying Communicative Multi-Agent Systems},
booktitle = {In Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications, volume 1441 of LNAI},
year = {1998},
pages = {1--14},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based on the situation calculus to describe the effects of actions on the world and on the mental states of agents; and the concurrent, logic programming language ConGolog to specify the actions performed by each agent. Since ConGolog has a well-defined semantics, the specifications can be used to reason about the behavior of individual agents and the system as a whole. We extend the work presented in [7] to allow the specifications to mention agents' goals explicitly. The framework presented here allows the behavior of different agents to be specified at different levels of abstraction, using a rich set of programming language constructs. As an example, we specify a meeting scheduler multi-agent system. 1 Introduction Many agent theorists (some examples are [1, 14, 19]) follow a similar methodology. They present a framework for representing the mental states ...
