.png){kind=icon}
返回
Agent planning programs
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2015.10.001.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Agent-oriented programming
Automated planning
Reasoning about action and change
Synthesis of reactive systems
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
.png){kind=icon}
A minimally invasive strategy for Mirizzi syndrome: the combined endoscopic and robotic approach
PREAI
分享收藏An underwater wireless group-based sensor network for marine fish farms sustainability monitoring
PREAI
分享收藏STRUCTURAL ASPECTS OF IRON COORDINATION COMPOUNDS: I. MONOMERIC DERIVATIVES铁配位化合物的结构方面: I.单体衍生物
PREAI
分享收藏
查看更多内容