Agent Programming in Dribble: From Beliefs to Goals Using Plans

Proceedings of the Interantional Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 393-400

  Van Riemsdijk, Birna ^a   Van Der Hoek, Wiebe ^b   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Agent oriented programming; Declarative goals; Intelligent agent; Plans; Practical reasoning rule

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; DATABASE SYSTEMS; FORMAL LOGIC; FUNCTIONS; INTELLIGENT AGENTS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; SUPERVISORY AND EXECUTIVE PROGRAMS;

AGENT-ORIENTED PROGRAMMING; DECLARATIVE GOALS; PLANS; PRACTICAL REASONING RULES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 1142268781     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. M. Dastani, F. S. de Boer, F. Dignum, and J.-J. Ch. Meyer. Programming agent deliberation. In Proceedings of AAMAS, Melbourne, 2003.
2. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. A formal embedding of AgentSpeak(L) in 3APL. In G. Antoniou and J. Slaney, editors, Advanced Topics in Artificial Intelligence, pages 155-166. Springer, LNAI 1502, 1998.
3. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999.
4. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming with declarative goals. In Intelligent Agents VI - Proceedings of the 7th International Workshop on Agent Theories. Architectures, and Languages (ATAL'2000), Lecture Notes in AI. Springer, Berlin, 2001.
5. K. V. Hindriks, Y. Lespirance, and H. Levesque. A formal embedding of ConGolog in 3APL. In Proceedings of the 14th European Conference on Artificial Intelligence, pages 558-562, 2002.
6. D. Kozen and J. Tiuryn. Logics of programs. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 789-840. Elsevier, Amsterdam, 1990.
7. G. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, Computer Science Department, 1981.
8. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. van der Velde and J. Perram, editors, Agents Breaking Away (LNAI 1038), pages 42-55. Springer-Verlag, 1996.
9. A. S. Rao and M. Georgeff. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312-319, San Francisco, CA. June 1995.
10. 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 Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473-484. Morgan Kaufmann, 1991.
11. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.
12. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. An integrated modal approach to rational agents. In M. Wooldridge and A. S. Rao, editors, Foundations of Rational Agency, Applied Logic Series 14, pages 133-168. Kluwer. Dordrecht, 1998.
13. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34(1,2):53-101, 1998.
14. M. B. van Riemsdijk. Agent programming in Dribble: from beliefs to goals with plans. Master's thesis, Utrecht University, 2002.