• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Principles of Knowledge Representation and Reasoning(KRamp;R); 20060602-05; Lake District of the United Kingdom(GB) >Actions as Special Cases
【24h】

Actions as Special Cases

机译：特例行动

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper is motivated by the idea of interaction between two directions of research in knowledge representation: the design of action description languages and the development of libraries of reusable, general-purpose knowledge components. Writing an action description that characterizes actions in terms of their effects, as common today, can be compared to writing a program that does not use standard subroutines. We conjecture that a library of standard descriptions for a number of "basic" actions can facilitate writing, understanding and modifying action descriptions. In this paper, we take some steps towards determining how such a library, written in the action language C_+, can be used. When using an instance of a library action description, we relate the library constants to the domain-specific constants by providing definitions. Therefore, a theory of explicit definitions in C_+ is developed. To illustrate the use of the library, we show how the action PushBox in the Monkey and Bananas domain can be described as a special case of the "library action" Move.
机译：本文受到知识表示的两个研究方向之间相互作用的想法的启发：动作描述语言的设计和可重用的通用知识组件库的开发。编写动作描述以行为的效果为特征，这在当今很普遍，可以与编写不使用标准子例程的程序进行比较。我们推测，许多“基本”动作的标准描述库可以促进编写，理解和修改动作描述。在本文中，我们采取了一些步骤来确定如何使用以动作语言C_ +编写的此类库。当使用库动作描述的实例时，我们通过提供定义将库常量与特定于域的常量相关联。因此，开发了C_ +中明确定义的理论。为了说明该库的用法，我们展示了如何将Monkey和Bananas域中的PushBox动作描述为“库动作” Move的特例。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号