Prepositional planning in BDI agents

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2004, Pages 58-63

  Meneguzzi, Felipe Rech ^a   Zorzo, Avelino Francisco ^b   Da Costa Móra, Michael ^b  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b Faculty of Informatics   (Brazil)

Author keywords

BDI; Propositional Planning; X BDI

Indexed keywords

ABSTRACTING; ALGORITHMS; CONTROLLABILITY; GRAPH THEORY; PRODUCTION CONTROL; SOFTWARE AGENTS; STRATEGIC PLANNING;

BDI; GRAPHPLAN; PROPOSITIONAL PLANNING; X-BDI;

COMPUTER SCIENCE;

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

References (29)

1. J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming. Springer, 1996.
2. A. L. Blum and M. L. Furst. Fast planning through planning graph analysis. Artificial Intelligence, 1997.
3. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In Proc. of the 2nd AAMAS, pages 409-416, 2003. ACM Press.
4. M. E. Bratman. Intention, Plans and Practical Reason. Harvard University Press, 1987.
5. M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4(4):349-355, 1988.
6. T. Bylander. The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69(1-2):165-204, 1994.
7. D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32(3):333-377, 1987.
8. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(2-3):213-261, 1990.
9. W. V. der Hoek and M. Wooldridge. Towards a logic of rational agency. Logic Journal of the IGPL, 11(2):133-157, 2003.
10. M. d'Inverno and M. Luck. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8(3):233-260, 1998.
11. F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6):33-44, 1992.
12. N. R. Jennings. On agent-based software engineering. Artificial Intelligence, 117:277-296, 2000.
13. H. Kautz and B. Selman. Planning as satisfiability. In Proc. of the 10th ECAI, pages 359-363, 1992. Wiley.
14. J. Köhler. Solving complex planning tasks through extraction of subproblems. In R. Simmons, M. Veloso, and S. Smith, editors, Proc. of the 4th AIPS, pages 62-69, 1998. AAAI Press.
15. R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-95, 1986.
16. N. Lacey, H. Hexmoor, and G. Beavers. Planning at the intention level. In Proc. of the 15th FLAIRS, pages 8-13, 2002. AAAI Press.
17. D. Long and M. Fox. Efficient implementation of the plan graph in STAN. Journal of Artificial Intelligence Research, 10:87-115, 1999.
18. D. Long and M. Fox. Automatic synthesis and use of generic types in planning. In S. Chien, S. Kambhampati, and C. A. Knoblock, editors, Proc. of the 5th AIPS, pages 196-205, 2000. AAAI Press.
19. M. C. Móra, J. G. Lopes, R. M. Viccari, and H. Coelho. BDI models and systems: Reducing the gap. In Proc. of the 5th International Workshop on Intelligent Agents, 1999. Springer.
20. B. Nebel. On the compilability and expressive power of propositional planning formalisms. Journal of Artificial Intelligence Research (JAIR), 12:271-315, 2000.
21. N. Nide and S. Takata. Deduction systems for BDI logics using sequent calculus. In Proc. of the AAMAS, pages 928-935. ACM Press, 2002.
22. A. S. Rao and M. P. Georgeff. Formal models and decision procedures for multi-agent systems. Technical Report 61, AAII, 1995. Technical Note.
23. M. Schut and M. Wooldridge. The control of reasoning in resource-bounded agents. The Knowledge Engineering Review, 16(3), 2001.
24. D. E. Smith and D. S. Weld. Temporal planning with mutual exclusion reasoning. In Proc. of the 17th IJCAI, pages 326-337, 1999.
25. A. M. Turing. Intelligent machinery. Machine Intelligence, 5:3-23, 1948.
26. P. Wegner. Why interaction is more powerful than algorithms. Comm. of the ACM, 40(5):80-91, 1997.
27. D. S. Weld. Recent advances in AI planning. AI Magazine, 20(2):93-123, 1999.
28. M. Wooldridge. The computational complexity of agent design problems. In E. Durfee, editor, Proc. of the 4th ICMAS, pages 341-348. IEEE Press, 2000.
29. M. Wooldridge. Reasoning about Rational Agents. The MIT Press, 2000.