MMJan, 2013

将知识生成定义扩展到 FO (ID)：初步结果

PDF
TL;DR文章提出一个语言，将 FO (ID) 中的归纳定义结构与 Ordered Epistemic Logic 看做独立的认知组成部分相结合，以便研究这两个故事之间的互动，并探索将它们视为两个单独的经典逻辑扩展还是两个组合的适当性。
发现论文，激发创造
  • FOLASP: FO (.) 作为答案解决器的输入语言

    该研究论文介绍了一种将一种基于一阶逻辑的扩展语言 FO (.) 转换为 Answer Set Programming (ASP) 的方法， 从而使得基于 ASP 的程序可以作为 FO (.) 的解决器，实验结果表明这种组合可以快速有效地解决 FO (.) 中的问题。

    Aug, 2021

  • 本体概念的计量和聚合

    该论文描述了一种扩展一阶逻辑的方法，使方案更加容易修改，并引入了一个保护机制来保证公式的正确性，同时将该方案应用于四个不同问题领域的知识表示中。

    Feb, 2022

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

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

    Sep, 2018

  • CP-logic 规则头部的否定

    本文研究了将 ASP 特征引入到 CP-logic 中的可能性，提出了一种允许在规则头部进行否定的构造，并探讨其直观含义和带来的好处。

    Dec, 2013

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

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

    Sep, 2023

  • 稳定 - 不稳定语义：超越 NP 的普通逻辑程序

    提出一种基于逻辑编程的建模范式，将 ASP 和 QBF 的最佳特性相结合，实现对高层次搜索问题的编码。

    Aug, 2016

  • 三十年的认知规范

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

    Aug, 2021

  • FO (FD)：使用基于规则的不动点定义扩展经典逻辑

    介绍了货值点定义 —— 一种基于规则的货值点重构。定义了 FO（FD）逻辑，它是一种扩展了经典逻辑的逻辑。探讨了 FO（FD）的可满足性问题。将 FO (FD) 简化为区别逻辑，然后使用区别逻辑求解器。在计算代表公平条件的 FO (FD) 理论的模型的过程中，评估了这些缩减，并提供了 FO (FD) 的潜在应用。

    Jul, 2010

  • 一个并行、内存高效的认知逻辑程序求解器：更强、更快、更好

    本篇论文描述了一种能够解决 Epistemic Logic Program（ELP）中更难的问题的求解器，并且相比其他已知的 ELP 求解器，该求解器更快且不具有指数级别的内存需求，该语言为 Answer Set Programming 的拓展，引入了模态运算符 K 和 M。

    Aug, 2016

  • 具有内涵函数的一阶稳定模型语义

    通过引入引伸函数，扩展一阶稳定模型语义，并将其用作定义 Answer Set Programming Modulo Theories (ASPMT) 的基础，从而实现类似 SMT 的有效一阶推理，解决包含实数的领域中的接地问题。

    Jul, 2023