A Non-monotonic Goal Specification Language for Planning with Preferences
A Non-monotonic Goal Specification Language for Planning with Preferences
复制标题
用于偏好规划的非单调目标规范语言
DOI：
10.1007/978-3-319-14726-0_14
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Chitta Baral
中科院分区：
文献类型：
--
作者：
Tran Cao Son;Enrico Pontelli;Chitta Baral
本文介绍了一种基于默认逻辑的方法来定义目标规范语言，可以是非单调的，并允许规范的不一致性和目标之间的优先级。本文首先提出了一个基本的目标规范语言的规划偏好。然后分别定义了目标缺省理论和目标缺省理论。通过将目标公式嵌入到默认逻辑中来确定优先级。优先考虑默认逻辑。它可以表明，新的语言是通用的，因为它可以表达以前开发的目标规范语言的几个功能。本文讨论了如何通过扩展基本目标规范语言来包含其他几个功能。最后，我们确定的功能，可能是重要的目标规范，不能表达我们的语言。
This paper introduces a default logic based approach to defining goal specification languages that can be non-monotonic and allow for the specification of inconsistencies and priorities among goals. The paper starts by presenting a basic goal specification language for planning with preferences. It then defines goal default theories resp. with priorities by embedding goal formulae into default logic resp. prioritizing default logic. It is possible to show that the new language is general, as it can express several features of previously developed goal specification languages. The paper discusses how several other features can be subsumed by extending the basic goal specification language. Finally, we identify features that might be important in goal specification that cannot be expressed by our language.