Agent programming via planning programs

We imagine agent "planning" programs as programs built from achievement and maintenance goals. Their executions require the ability to meet such goals while respecting the programs' control flow. The question then is: can we always guarantee the execution of such programs? In this paper, we define this novel planning-programming problem formally, and propose a sound, complete and optimal wrt computational complexity technique to actually generate a solution by appealing to recent results in LTL-based synthesis of reactive systems.

[1]  Marco Pistore,et al.  Weak, strong, and strong cyclic planning via symbolic model checking , 2003, Artif. Intell..

[2]  Hector,et al.  High-level robotic control : beyond planning Position paper , 2002 .

[3]  Hector J. Levesque,et al.  On the Limits of Planning over Belief States under Strict Uncertainty , 2006, KR.

[4]  Robin Milner,et al.  An Algebraic Definition of Simulation Between Programs , 1971, IJCAI.

[5]  Amir Pnueli,et al.  Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..

[6]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[7]  Giuseppe De Giacomo,et al.  Composition of Partially Observable Services Exporting their Behaviour , 2009, ICAPS.

[8]  Mehdi Dastani,et al.  Semantics of declarative goals in agent programming , 2005, AAMAS '05.

[9]  Orna Kupfermant,et al.  Synthesis with Incomplete Informatio , 2000 .

[10]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[11]  Giuseppe De Giacomo,et al.  Realizing Multiple Autonomous Agents through Scheduling of Shared Devices , 2008, ICAPS.

[12]  James A. Hendler,et al.  Complexity results for HTN planning , 1994, Annals of Mathematics and Artificial Intelligence.

[13]  Lin Padgham,et al.  Hierarchical planning in BDI agent programming languages: a formal approach , 2006, AAMAS '06.

[14]  Koen V. Hindriks,et al.  GOAL as a Planning Formalism , 2009, MATES.

[15]  Sylvie Thiébaux,et al.  Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress) , 2006, MoChArt@CONCUR/SPIN.

[16]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[17]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[18]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[19]  D. Sparks,et al.  A position paper , 2007, Journal of Molecular Neuroscience.

[20]  Jussi Rintanen,et al.  Complexity of Planning with Partial Observability , 2004, ICAPS.

[21]  Moshe Y. Vardi.  An Automata-Theoretic Approach to Linear Temporal Logic , 1996, Banff Higher Order Workshop.

[22]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .