Formalisations of capabilities for BDI-agents

Autonomous Agents and Multi-Agent Systems

Volumn 10, Issue 3, 2005, Pages 249-271

  Padgham, Lin ^a   Lambrix, Patrick ^b  

^a RMIT UNIVERSITY   (Australia)

^b LINKÖPING UNIVERSITY   (Sweden)

Author keywords

Agent capabilities; agent representation formalisms; Agent theory; BDI agents

Indexed keywords

AGENT CAPABILITIES; AGENT REPRESENTATION FORMALISMS; AGENT THEORY; BDI-AGENTS;

COMPUTER SOFTWARE REUSABILITY; KNOWLEDGE REPRESENTATION; LARGE SCALE SYSTEMS; METADATA; PROBLEM SOLVING; SOFTWARE ENGINEERING;

AUTONOMOUS AGENTS;

EID: 14844359162     PISSN: 13872532     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10458-004-4345-2     Document Type: Article

References (27)

1. J. M. Bradshaw, S. Dutfield, P. Benoit, and J. D. Woolley, "KAOS: Toward an industrial-strength open agent Architecture, " in J. M. Bradshaw (ed.), Software Agents, AAAI Press, 1997, pp. 375-418.
2. M. E. Bratman D. J. Israel M. E. Pollack 1988 "Plans and resource-bounded practical reasoning" Comput. Intell. 4 4 349 355
3. P. Busetta, N. Howden, R. Rönnquist, and A. Hodgson, "Structuring BDI agents in functional clusters", in Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL 99), 1999a. pp. 277-289.
4. P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas, "Jack intelligent agents-components for intelligent agents in Java", in Agent Link News Letter, pp. 2-5, January 1999b.
5. P. Cohen H. Levesque 1990 "Intention is choice with commitment" Artif. Intell. 42 213 261
6. C. P. Cross 1986 " 'Can' and the Logic of Ability" Philosophical Studies 50 53 64
7. P. M. Dung, "A formal methodology for verifying situated agents", in Proceedings of the National Conference on Artificial Intelligence - AAAI 98, 1998, pp. 637-642.
8. M. Georgeff and F. Ingrand, "Decision-making in an embedded reasoning system", in Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 89), August 1989, pp. 972-978.
9. M. Huber, "Jam: A BDI-theoretic mobile agent architecture", in Proceedings of the Third International Conference on Autonomous Agents (Agents 99), Seattle, WA, 1999, pp. 236-243.
10. J. Lee, M. Huber, P. G. Kenny, and E. H. Durfee, "UM-PRS: An implementation of the procedural reasoning system for multi-robot applications", in Proceedings of the Conference on Intelligent Robotics in Field, Factory, Service and Space (CIRFFSS 94), Houston, TX, 1994, pp. 842-849.
11. Y. Lesperance H. Levesque F. Lin R. Scherl 2000 "Ability and knowing how in the situation calculus" Stud. Log. 66 1 165 186
12. F. Lin H. Levesque 1998 "What robots can do: robot programs and effective achievability" Artif. Intell. 101 201 226
13. M. Lind, "Possibilities for action", Center for Human-Machine Interaction, report CHMI-7-2000, 2000.
14. S. McCall 1970 "Ability as a species of possibility" M. Brand Nature of Human Action Foresman and Company Glenview, Scott
15. J. J. Meyer W. van der Hoek B. van Linder 1999 "A logical approach to the dynamics of commitments" Artif. Intell. 113 1 40
16. R. C. Moore 1985 "A formal theory of knowledge and action" J. C. Hobbs R. C. Moore Formal Theories of the Commonsense World Ablex Norwood, NJ 319 358
17. L. Padgham and P. Lambrix, "Agent capabilities: Extending BDI theory", in Proceedings of Seventeenth National Conference on Artificial Intelligence (AAAI 2000), Austin, TX, 2000, pp. 68-73.
18. A. Rao and M. Georgeff, "Modeling rational agents within a BDI-architecture", in Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR 91), 1991, pp. 473-484.
19. A. Rao and M. Georgeff, "An abstract architecture for rational agents", in Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR 92), 1992, pp. 439-449.
20. A. Rao and M. Georgeff, "BDI agents: From theory to practice", in Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 95), San Francisco, USA, 1995. pp. 312-319.
21. S. Shapiro, Y. Lesperance, and H.J. Levesque, "Goals and Rational Action in the Situation Calculus - A Preliminary Report, " in Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, pp. 117-122, 1995.
22. Y. Shoham 1993 "Agent oriented programming" Artif. Intell. 60 51 92
23. M. P. Singh, "Know-How, " in A. S. Rao and M. J. Wooldridge (eds.), Foundations of Rational Agency, Applied Logic Series, Kluwer, 1999, pp. 105-132.
24. K. Sycara M. Klusch S. Widoff J. Lu 1999 "Dynamic service matchmaking among agents in open information environments" SIGMOD Record 28 1 47 53
25. J. Thangarajah, L. Padgham, and J. Harland, "Representation and reasoning for goals in BDI agents", Australasian Computer Science Conference, 2002. pp. 259-245.
26. B. van Linder W. van der Hoek J. J. Meyer 1998 "Formalizing abilities and opportunities of agents" Fundam. Inform. vol. 34 53 101
27. M. Wooldridge 2000 "Reasoning About Rational Agents" The MIT Press Cambridge