Journal
ARTIFICIAL INTELLIGENCE
Volume 231, Issue -, Pages 64-106Publisher
ELSEVIER
DOI: 10.1016/j.artint.2015.10.001
Keywords
Agent-oriented programming; Automated planning; Reasoning about action and change; Synthesis of reactive systems
Categories
Funding
- EU [FP7-ICT 318338]
- Sapienza Award Spiritlets project
- Ripartizione Diritto allo Studio, Universita e Ricerca Scientifica of Provincia Autonoma di Bolzano-Alto Adige
- Australian Research Council [DP120100332]
- Australian Academy of Science
Ask authors/readers for more resources
This work proposes a novel high-level paradigm, agent planning programs, for modeling agents behavior, which suitably mixes automated planning with agent-oriented programming. Agent planning programs are finite-state programs, possibly containing loops, whose atomic instructions consist of a guard, a maintenance goal, and an achievement goal, which act as precondition-invariance-postcondition assertions in program specification. Such programs are to be executed in possibly nondeterministic planning domains and their execution requires generating plans that meet the goals specified in the atomic instructions, while respecting the program control flow. In this paper, we define the problem of automatically synthesizing the required plans to execute an agent planning program, propose a solution technique based on model checking of two-player game structures, and use it to characterize the worst-case computational complexity of the problem as EXPTIME-complete. Then, we consider the case of deterministic domains and propose a different technique to solve agent planning programs, which is based on iteratively solving classical planning problems and on exploiting goal preferences and plan adaptation methods. Finally, we study the effectiveness of this approach for deterministic domains through an experimental analysis on well-known planning domains. (C) 2015 Elsevier B.V. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available