Specifying Communicative Multi-Agent Systems ?

@inproceedings{Shapiro1998SpecifyingCM,
  title={Specifying Communicative Multi-Agent Systems ?},
  author={Steven Shapiro and Yves Lesp{\'e}rance and Hector J. Levesque},
  year={1998}
}
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… CONTINUE READING
Highly Cited
This paper has 56 citations. REVIEW CITATIONS
33 Citations
23 References
Similar Papers

Citations

Publications citing this paper.

57 Citations

0510'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 57 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 23 references

Towardsa Formal Account of Diagnostic Problem Solving

  • Sheila A. McIlraith
  • PhD thesis, Department of Computer Science,
  • 1997
1 Excerpt

Concurrency (notes)

  • Giuseppe De Giacomo
  • Unpublished manuscript,
  • 1996
1 Excerpt

Hayes . Some philosophical problems from the standpoint of artificial intelligence

  • J. Patrick
  • 1994

Similar Papers

Loading similar papers…