Engineering Knowledge for Automated Planning: Towards a Notion of Quality
Engineering Knowledge for Automated Planning: Towards a Notion of Quality
复制标题
自动化规划的工程知识：迈向质量概念
DOI：
10.1145/3148011.3148012
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
M. Vallati
中科院分区：
文献类型：
--
作者：
T. McCluskey;T. S. Vaquero;M. Vallati
自动规划是一个突出的人工智能挑战，也是智能自主代理的共同能力要求。所谓的独立于领域的规划的一个关键方面是必须添加到规划器中以创建完整的规划应用程序的应用程序知识。这是明确的（i）领域模型，这是一个持久的领域知识的正式表示，和（ii）相关的问题实例，包含要解决的特定问题的细节。这两个组件都被自动规划引擎用于推理，以合成解决方案计划。规划引擎中使用的公式化知识目前是一个特设的过程，其中知识工程师的技能显着影响所产生的规划应用程序的质量。最重要的是，在一个领域模型中捕获的知识的质量的概念是缺失的，因此很难提供有用的指导方针，知识工程师。本文提出了一些问题的工程应用知识的自动规划，集中在领域模型。它使用域模型的思想作为域的正式规范，并考虑度量这种规范的质量意味着什么。要做到这一点，它提出了一个域模型的属性的定义和编码语言，这是需要由自动化规划社区，以提高工具，支持工程规划知识，并推进到一个共享的和包容性的定义质量的域模型。
Automated planning is a prominent Artificial Intelligence challenge, as well as being a common capability requirement for intelligent autonomous agents. A critical aspect of what is called domain-independent planning, is the application knowledge that must be added to the planner to create a complete planning application. This is made explicit in (i) a domain model, which is a formal representation of the persistent domain knowledge, and (ii) an associated problem instance, containing the details of the particular problem to be solved. Both these components are used by automated planning engines for reasoning, in order to synthesize a solution plan. Formulating knowledge for use in planning engines is currently something of an ad-hoc process, where the skills of knowledge engineers significantly influence the quality of the resulting planning application. On top of that, a notion of quality of the knowledge captured within a domain model is missing; it is therefore hard to provide useful guidelines to knowledge engineers. This paper raises some issues relating to the engineering of application knowledge for automated planning, focussing on the domain model. It uses the idea of a domain model as a formal specification of a domain, and considers what it means to measure the quality of such a specification. To do this it proposes definitions of the attributes of a domain model and its encoding language, which are needed by the automated planning community in order to improve tools for supporting the engineering of planning knowledge, and to advance toward a shared and inclusive definition of quality of domain models.
KEWI - 用于对人工智能规划任务进行建模的知识工程工具
DOI：
--
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Wickler G
通讯作者：
Wickler G