• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Artificial intelligence >A logic programming approach to knowledge-state planning, Ⅱ: The DLV~ Κ system
【24h】

A logic programming approach to knowledge-state planning, Ⅱ: The DLV~ Κ system

机译：知识状态计划的逻辑编程方法，Ⅱ：DLV〜Κ系统

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In Part 1 of this series of papers, we have proposed a new logic-based planning language, called Κ. This language facilitates the description of transitions between states of knowledge and it is well suited for planning under incomplete knowledge. Nonetheless, Κ also supports the representation of transitions between states of the world (i.e., states of complete knowledge) as a special case, proving to be very flexible. In the present Part Ⅱ, we describe the DLV~Κ planning system, which implements Κ on top of the disjunctive logic programming system DLV. This novel planning system allows for solving hard planning problems, including secure planning under incomplete initial states (often called conformant planning in the literature), which cannot be solved at all by other logic-based planning systems such as traditional satisfiability planners. We present a detailed comparison of the DLV~Κ system to several state-of-the-art conformant planning systems, both at the level of system features and on benchmark problems. Our results indicate that, thanks to the power of knowledge-state problem encoding, the DLV~Κ system is competitive even with special purpose conformant planning systems, and it often supplies a more natural and simple representation of the planning problems.
机译：在本系列文章的第1部分中，我们提出了一种新的基于逻辑的计划语言，称为Ｋ。这种语言有助于描述知识状态之间的转换，非常适合在知识不完整的情况下进行计划。尽管如此，Κ还支持将世界状态（即完全知识状态）之间的转换表示为特例，这被证明是非常灵活的。在当前的第二部分中，我们描述了DLV〜Κ计划系统，该系统在析构逻辑编程系统DLV之上实现了Κ。这种新颖的计划系统可以解决硬计划问题，包括在不完整的初始状态下进行安全计划（在文献中通常称为一致性计划），而其他基于逻辑的计划系统（如传统的可满足性计划者）根本无法解决。我们在系统功能级别和基准测试问题上，将DLV〜Κ系统与几个最新的一致计划系统进行了详细比较。我们的结果表明，借助知识状态问题编码的强大功能，即使具有特殊用途的计划系统，DLV〜Κ系统也具有竞争力，并且它通常可以更自然，更简单地表示计划问题。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号