Feb, 2019

运用自感平衡逻辑架构创建世界观

PDF
TL;DR本文将标准逻辑规划中无基础概念推广到认知规划中，定义了何时认知规划中的一个世界观是有基础的，提出了一种结合了 Moore's Autoepistemic Logic 和 Pearce's Equilibrium Logic 的新的计算语义。
发现论文，激发创造
  • 三十年的认知规范

    该研究论文介绍了认知逻辑程序的语言和形式语义，并探讨了该领域的当前状态和未来研究的挑战。

    Aug, 2021

  • 分离认识逻辑程序

    本文介绍了一种适用于逻辑程序的稳定模型扩展 —— 经验逻辑程序，并在此基础上提出了一种逻辑程序拆分属性，最终得出了大多数现有建议都不能满足经验逻辑拆分属性的结论。

    Dec, 2018

  • 认知逻辑程序：一些性质研究

    通过引入新的定义和语义属性，我们分析了在 Epistemic Logic Programs 中从自底向上到自顶向下的分割方法，并证明了它与自底向上方法的等价性。

    Sep, 2023

  • 稳定模型语义的认知基础

    本文介绍了关于稳定模型语义的一种另类的认识论方法，探讨了稳定模型语义可以完全定义为 Kripke-Kleene 语义的扩展，证明了封闭世界假设可以看作是要累加到 Kripke-Kleene 语义上的一个 “虚假” 的附加来源。

    Mar, 2004

  • 重新审视认识规范

    本文重新审视认识规范的形式化方法，提出新的定义，并给出了多种语义，其中之一在句法限制下等价于原定义的 Gelfond 语义。我们还从推理能力的角度分析了其复杂度，并展示了它在最近由 Faber 和 Woltran 考虑的需要元推理的问题中的有效性，从而证明了这个方法配得上更多的关注。

    Aug, 2011

  • 认知逻辑程序求解器进展综述

    本文报告了认知逻辑程序求解器的开发现状，讨论了扩展应用答案集编程中提出的认知规范语言，其中包含了模态运算符 K（“已知”）和 M（“可能为真”），以提供更强大的内省推理和增强功能，特别是在处理不完整信息时。

    Sep, 2018

  • 认知规范的分割集定理

    本文介绍了扩展的分裂集定义及其在处理知识规范下的应用，扩展分裂集定理的应用，分层知识规范的表征，以及在某些知识逻辑程序子类的世界观计算中的一种算法方法。

    Mar, 2000

  • 将非基本逻辑程序嵌入自知逻辑中进行知识库组合

    本文研究了将经典一阶逻辑理论和规则集表示的本体组合起来的多种方法，介绍了一种在自我知识逻辑下嵌入本体和非单调逻辑程序的一阶自我知识逻辑嵌入方法，并比较了嵌入方法的稳定扩展和自我知识后果。

    Nov, 2008

  • 利用树宽度进行认识逻辑程序的数量推理

    本篇论文介绍了一种利用图形方法和动态规划结合已有的搜索求解器来解决定量推理问题的新系统，可以有效地处理 Answer Set Programming 方法中 epistemic logic programs 的复杂问题。

    Aug, 2021

  • 默认逻辑和自知逻辑的统一语义处理

    探讨了自我认知逻辑和默认逻辑之间连接的问题，为每种逻辑开发了一个基于信念对概念的全面语义框架，结果表明二者具有一种基本同构，并且通过建立默认值和自我认知逻辑之间的联系，进一步阐明默认逻辑实际上可以被视为自我认知逻辑的一个片段。

    Feb, 2000