Loading...
Please wait, while we are loading the content...
Similar Documents
Specifying Communicative Multi-Agent Systems with ConGologSteven
| Content Provider | Semantic Scholar |
|---|---|
| Author | Department, Hector J. Levesque |
| Copyright Year | 1997 |
| Abstract | In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based in the situation calculus to describe the eeects 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-deened semantics in the situation calculus, the speciications can be used to reason about the behavior of individual agents and the system as a whole. We extend the work presented in (Lesp erance et al. 1996) to allow the specii-cations to mention agents' goals explicitly. The framework presented here allows the behavior of diierent agents to be speciied at diierent levels of abstraction, using a rich set of programming language constructs. As an example, we specify a meeting scheduler multi-agent system. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.toronto.edu/~cogrobo/AAAIfall97.ps.Z |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
