Specifying communicative multi-agent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1441, Issue , 1998, Pages 1-14

  Shapiro, Steven ^a   Lespérance, Yves ^b   Levesque, Hector J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CALCULATIONS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; SEMANTICS; SPECIFICATIONS;

CONGOLOG; INDIVIDUAL AGENT; LEVELS OF ABSTRACTION; MENTAL STATE; SITUATION CALCULUS;

INTELLIGENT AGENTS;

EID: 84959058880     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055016     Document Type: Conference Paper

References (19)

1. Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
2. Michael Fisher. Towards a semantics for Concurrent METATEM. I,n Michael Fisher and Richard Owens, editors, Executable Modal and Temporal Logics. Springer-Veflag: Heidelberg, Germany, 1995.
3. Giuseppe De Giacomo. Concurrency (notes). Unpublished manuscript, 1996.
4. Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), pages 1221-1226, Yokohama, Japan, 1997.
5. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall Int., 1985.
6. Gerhard Lakemeyer and Hector J. Levesque. AOL: a logic of acting, sensing, knowing, and only knowing. In Proceedings of Knowledge Representation and Reasoning (KR&R-98), 1998. To appear.
7. Yves Lesp6rance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, and Richard B. Scherl. Foundations of a logical approach to agent programming, In Michael Wooldridge, JtJrg P. MUller, and Milind Tambe, editors, Intelligent Agents II: Agent Theories, Architectures, and Languages (LNAI Volume 1037), pages 331-346. Springer-Verlag: Heidelberg, Germany, 1996.
8. Hector J. Levesque, Raymond Reiter, Yves Lesp6rance, Fangzhen Lin, and Richard B. Schefl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
9. Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655-678, 1994.
10. John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 4. Edinburgh University Press, 1969.
11. Sheila A. Mcllraith. Towards a Formal Account of Diagnostic Problem Solving. PhD thesis, Department of Computer Science, University of Toronto, Toronto, ON, 1997.
12. Robert C. Moore. A formal theory of knowledge and action. In Jerry R. Hobbs and Robert C. Moore, editors, Formal Theories of the Common Sense WorM, pages 319-358. Ablex Publishing, Norwood, NJ, 1985.
13. Javier Pinto and Raymond Reiter. Adding a time line to the situation calculus. In The Second Symposium on Logical Formalizations of Commonsense Reasoning, pages 172-177, Nagoya, Japan, 1993.
14. Anand S. Rat and Michael P. Georgeff. Modeling rational agents within a BDI-architecture. In Richard Fikes and Eric Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473-484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.
15. Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, San Diego, CA, 1991.
16. Raymond Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, pages 337-351, December 1993.
17. Raymond Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proceedings of Knowledge Representation and Reasoning (KR&R-96), pages 2-13, 1996.
18. Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 689-695, Washington, DC, July 1993. AAAI Press/The MIT Press.
19. Munindar P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know- How, and Communications (LNAI Volume 799). Springer-Verlag: Heidelberg, Germany, 1994.