...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Artificial intelligence >Dynamic term-modal logics for first-order epistemic planning
【24h】

Dynamic term-modal logics for first-order epistemic planning

机译：一阶认知规划的动态术语 - 模态逻辑

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

摘要

Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as (-)(E)xblocks_door(ⅹ). In contrast, several recent epistemic planning frameworks are built on propositional epistemic logic. The epistemic language is useful to describe planning problems involving higher-order reasoning or epistemic goals such as K_a (-)problem. This paper develops a first-order version of Dynamic Epistemic Logic (DEL). In this framework, for example, (E)xK_x(E)yblocks_door(y) is a formula. The formalism combines the strengths of DEL (higher-order reasoning) with those of first-order logic (lifted representation) to model multi-agent epistemic planning. The paper introduces an epistemic language with a possible-worlds semantics, followed by novel dynamics given by first-order action models and their execution via product updates. Taking advantage of the first-order machinery, epistemic action schemas are defined to provide compact, problem-independent domain descriptions, in the spirit of PDDL. Concerning metatheory, the paper defines axiomatic normal term-modal logics, shows a Canonical Model Theorem-like result which allows establishing completeness through frame characterization formulas, shows decidability for the finite agent case, and shows a general completeness result for the dynamic extension by reduction axioms.
机译：许多古典规划框架是由一阶语言构建的。首级表达功率是希望通过模式紧凑地表示动作，并用于指定量化条件，例如（ - ）（e）xblocks_door（ⅹ）。相比之下，最近几个认识的规划框架建立在命题认识逻辑上。认知语言可用于描述涉及高阶推理或认识目标等k_a（ - ）问题的规划问题。本文开发了一流的动态认知逻辑（Del）。在该框架中，例如，（e）XK_X（e）Yblocks_door（y）是公式。形式主义将DEL（高阶推理）与一阶逻辑（提升代表）的优势结合在一起，以模拟多种子体认知计划。本文介绍了一种具有可能的世界语义的认识语言，其次是通过产品更新的一阶动作模型给出的新动态。利用一阶机械，认定的认知动作模式被定义为在PDDL的精神提供紧凑，问题无关的域描述。关于Metatheory，本文定义了公理正常术语模态逻辑，示出了一种规范模型定理结果，其允许通过框架表征公式建立完整性，显示了有限剂案例的可解锁性，并显示了通过减少的动态扩展的一般完整性结果公理。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号