ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Declarative Representations of Multiagent Systems.

Munindar P. Singh, Michael N. Huhns, Larry M. Stephens: Declarative Representations of Multiagent Systems. IEEE Trans. Knowl. Data Eng. 5(5): 721-739(1993)
@article{DBLP:journals/tkde/SinghHS93,
  author    = {Munindar P. Singh and
               Michael N. Huhns and
               Larry M. Stephens},
  title     = {Declarative Representations of Multiagent Systems},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {5},
  year      = {1993},
  pages     = {721-739},
  ee        = {db/journals/tkde/SinghHS93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

This paper explores the specification and semantics of multiagent problem-solving systems, focusing on the representations that agents have of each other. It provides a declarative representation for such systems. Several procedural solutions to a well-known test-bed problem are considered, and the requirements they impose on different agents are identified. A study of these requirements yields a representational scheme based on temporal logic for specifying the acting, perceiving, communicating, and reasoning abilities of computational agents. A formal semantics is provided for this scheme. The resulting representation is highly declarative, and useful for describing systems of agents solving problems reactively.

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

References

[1]
...
[2]
Philip E. Agre, David Chapman: Pengi: An Implementation of a Theory of Activity. AAAI 1987: 268-272 BibTeX
[3]
...
[4]
...
[5]
...
[6]
...
[7]
Randall Davis, Reid G. Smith: Negotiation as a Metaphor for Distributed Problem Solving. Artif. Intell. 20(1): 63-109(1983) BibTeX
[8]
Edmund H. Durfee, Victor R. Lesser, Daniel D. Corkill: Coherent Cooperation Among Communicating Problem Solvers. IEEE Trans. Computers 36(11): 1275-1291(1987) BibTeX
[9]
...
[10]
E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072 BibTeX
[11]
E. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. J. ACM 33(1): 151-178(1986) BibTeX
[12]
...
[13]
...
[14]
...
[15]
...
[16]
...
[17]
...
[18]
...
[19]
...
[20]
...
[21]
...
[22]
Stanley J. Rosenschein: Formal Theories of Knowledge in AI and Robotics. New Generation Comput. 3(4): 345-357(1985) BibTeX
[23]
...
[24]
...
[25]
...
[26]
...
[27]
...
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:51 2009