Agentspeak(L): BDI agents speak out in a logical computable language

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

Volumn 1038, Issue , 1996, Pages 42-56

  Rao, Anand S ^a  

^a Australian Artificial Intelligence   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTER CIRCUITS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; SEMANTICS; SPECIFICATIONS;

AGENTSPEAK; BELIEF-DESIRE-INTENTIONS; HORN CLAUSE; LOGIC PROGRAMS; MODAL OPERATORS; PROOF-THEORETIC SEMANTICS; SPECIFICATION LOGIC; THEORY AND PRACTICE;

AUTONOMOUS AGENTS;

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

References (23)

1. B. Burmeister and K. Sundermeyer. Cooperative problem-solving guided by intentions and perception. In E. Werner and Y. Demazeau, editors, Decentralized A.I. 3, Amsterdam, The Netherlands, 1992. North Holland.
2. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3), 1990.
3. M. P. Georgeff and A. L. Lansky. Procedural knowledge. In Proceedings of the IEEE Special Issue on Knowledge Representation, volume 74, pages 1383-1398,1986.
4. M. M. Huntbach. N. R. Jennings, and G. A. Ringwood. How agents do it in stream logic pro­gramming. In Proceedings of the International Conference on Multi-Agent Systems (ICMAS- 95), San Francisco, USA, June, 1995.
5. F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6), 1992.
6. N. R. Jennings. On being responsible. In Y. Demazeau and E. Werner, editors, Decentral­ized A.I. 3. North Holland, Amsterdam, The Netherlands, 1992.
7. N. R. Jennings. Specification and implementation of belief, desire, joint-intention architec­ture for collaborative problem solving. Journal of Intelligent and Cooperative Information Systems, 2(3):289-318,1993.
8. D. Kinny, M. Ljungberg, A. S. Rao, E. A. Sonenberg, G. Tidhar, and E. Werner. Planned team activity. In Artificial Social Systems, Lecture Notes in Artificial Intelligence (LNAI-830), Amsterdam, Netherlands, 1994. Springer Verlag.
9. Y. Lesperance, H- J. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a logical approach to agent programming. In Working notes of the IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, Montreal, Canada, 1995.
10. J. P. Muller, M. Pischel, and M. Thiel. Modelling reactive behaviour in vertically layered agent architectures. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI890, Heidelberg, Germany, 1995. Springer Verlag.
11. U Nilsson. Abstract interpretations and abstract machines. Technical Report Dissertation No 265, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden, 1992.
12. A. S. Rao. Decision procedures for propositional linear-time belief-desire-intention log­ics. In Working notes of the IJCAI-95 Workshop on Agent Theories, Architectures, and Lan­guages, Montreal, Canada, 1995.
13. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Con­ference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Pub­lishers, San Mateo, CA, 1991.
14. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, San Mateo, CA, 1992.
15. A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated rea­soning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), Chamberey, France, 1993.
16. G. A. Ringwood. A brief history of stream parallel logic programming. Logic Programming Newsletter, 7(2):2-4, 1994.
17. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51—92,1993.
18. M. Singh and N. Asher. Towards a formal theory of intentions. In J. van Eijck, editor. Logics in AI, volume LNAI:478, pages 472-486. Springer Verlag, Amsterdam, Netherlands, 1990.
19. S. R. Thomas. The PLACA agent programming language. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI890, Amsterdam, Netherlands, 1995. Springer Verlag.
20. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A logic of capabilities. In Proceed­ings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS’94), Lecture Notes in Computer Science LNCS 813. Springer Verlag, Heidelberg, Ger­many, 1994.
21. B. van Linder, W. van der Hoek, and J. J. Ch. Meyer. How to motivate your agents? In Working notes of the IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, Montreal, Canada, 1995.
22. D. Weerasooriya, A. S. Rao, and K. Ramamohanarao. Design of a concurrent agent-oriented language. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI 890, Amsterdam, Netherlands, 1995. Springer Verlag.
23. M. Wooldridge and M. Fisher. A decision procedure for a temporal belief logic. In Proceed­ings of the First International Conference on Temporal Logic, Bonn, Germany, 1994.