Semantics of BDI agents and their environment

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

Volumn 1209, Issue , 1997, Pages 119-134

  Morley, David ^a  

^a Australian Artificial Intelligence   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; MULTI AGENT SYSTEMS; RECONFIGURABLE HARDWARE; SEMANTICS;

BDI AGENT; BELIEF-DESIRE-INTENTIONS; COMPLEX ENVIRONMENTS; INTERACTING AGENTS; LOGIC-OF-ACTION; MULTI AGENT; MULTIPLE AGENTS; SINGLE-AGENT;

INTELLIGENT AGENTS;

EID: 84959066200     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62686-7_32     Document Type: Conference Paper

References (11)

1. Philip E. Agre. Computational research on interaction and agency. Artificial Intelligence, 72(1):1-52, January 1995. Introduction to special double volume of Artificial Intelligence volumes 72, 73.
2. Ronen I. Brafman and Moshe Tennenholtz. Belief ascription and mental-level modelling. In Jon Doyle, Erik Sandewall, and Pietro Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR'94), Bonn, Germany, 1994. Morgan Kanfmann Publishers.
3. M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge, MA, 1987.
4. M.P. Georgeff. Planning. In Annual Review of Computer Science, volume 2, pages 359-400. Annual Reviews, Inc., Palo Alto, California, 1987.
5. F. Giunchiglia, L. Spalazzi, and P. Traverso. Planning with failure. In Proceedings Second International Conference on AI Planning Systems (AIPS-94), Chicago, 1994.
6. F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6), 1992.
7. V. Lifschitz. Frames in the space of situations. Artificial Intelligence, 46:365-376, 1990.
8. D. N. Morley and E. A. Sonenberg. A logic for concurrent events and action failure. In Norman Foo and Randy Goebel, editors, Topics in Artificial Intelligence, Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI'96), Lecture Notes in Artificial Intelligence, Volume 1114, pages 483-494, Cairns, Australia, August 1996. Springer-Verlag.
9. A. S. Rao and M. P. Georgeff. BDI agents: From theory to practice. In Proceedings of the International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, USA, 1995.
10. Anand S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Walter Van de Velde and John W. Perram, editors, Agents Breaking Away, Lecture Notes in Artificial Intelligence, Volume 1038, pages 42-55. Springer-Verlag, 1996.
11. Lenhart K. Schubert. Explanation closure, action closure, and the Sandewall test suite for reasoning about change. Journal of Logic and Computation, 4(5):679-700, 1994.