Agent programming via planning programs

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 1, Issue , 2010, Pages 491-498

  De Giacomo, Giuseppe ^a   Patrizi, Fabio ^a   Sardina, Sebastian ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b RMIT UNIVERSITY   (Australia)

Author keywords

Agent programming; LTL; Model checking; Planning; Synthesis

Indexed keywords

MODEL CHECKING; MULTI AGENT SYSTEMS; PLANNING; SYNTHESIS (CHEMICAL);

AGENT PROGRAMMING; CONTROL FLOWS; LTL; PLANNING PROJECTS; REACTIVE SYSTEM;

AUTONOMOUS AGENTS;

EID: 84899465278     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Arti cial Intelligence, 147(1-2):35-84, 2003.
2. G. De Giacomo, R. De Masellis, and F. Patrizi. Composition of partially observable services exporting their behaviour. In Proc. of ICAPS 09, 2009.
3. K. Erol, J. A. Hendler, and D. S. Nau. Complexity Results for HTN Planning. Annals of Mathematics and Arti cial Intelligence, 18(1):69-93, 1996.
4. M. Ghallab, D. S. Nau, and P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann, 2004.
5. K. V. Hindriks and T. Roberti. GOAL as a planning formalism. In Proc. of MATES, Volume 5774 of LNCS, pages 29-40. Springer, 2009.
6. S. Kerjean, F. Kabanza, R. St. Denis, and S. Thiébaux. Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress). Electronic Notes Theoretical Comput. Science, 149(2):91-104, 2006.
7. O. Kupferman and M. Y. Vardi. Synthesis with incomplete information. In D. G. Howard Barringer, Michael Fisher and G. Gough, editors, Advances in Temporal Logic, pages 109-127. Kluwer Academic Publishers, Jan. 2000.
8. Y. Lespérance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a Logical Approach to Agent Programming. In Proc. of Int. Workshop ATAL. 1995.
9. H. J. Levesque and R. Reiter. High-level Robotic Control: Beyond Planning. A Position Paper. In AIII 1998 Spring Symposium: Integrating Robotics Research: Taking the Next Big Leap, Mar. 1998.
10. R. Milner. An algebraic definition of simulation between programs. In Proc. of UCAI, pages 481-489, 1971.
11. N. Piterman, A. Pnueli, and Y. Saar. Synthesis of Reactive(1) Designs. In VMCAI, pages 364-380, 2006.
12. A. Pnueli and R. Rosner. On the Synthesis of a Reactive Module. In Proc. of POPL, pages 179-190, 1989.
13. A. S. Rao. Agentspeak(L): BDI agents speak out in a logical computable language. In Proc. of MAAMAW, Volume 1038 of LNCS, pages 42-55. Springer, 1996.
14. J. Rintanen. Complexity of planning with partial observability. In Proc. of ICAPS, pages 345-354, 2004.
15. S. Sardina and G. De Giacomo. Realizing multiple autonomous agents through scheduling of shared devices. In Proc. of ICAPS, pages 304-312, 2008.
16. S. Sardina, G. De Giacomo, Y. Lespérance, and H. J. Levesque. On the Limits of Planning over Belief States. In Proc. of KR, pages 463-471, 2006.
17. S. Sardina, L. P. de Silva, and L. Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of AAMAS, pages 1001-1008, 2006.
18. Y Shoham. Agent-oriented programming. Articial Intelligence Journal, 60:51-92, 1993.
19. B. van Riemsdijk, M. Dastani, and J.-J. Meyer. Semantics of declarative goals in agent programming. In Proc. of AAMAS, pages 133-140, 2005.
20. M. Y Vardi. An automata-theoretic approach to linear temporal logic. In Logics for Concurrency: Structure versus Automata, Volume 1043 of LNCS, pages 238-266, 1996.