MMSep, 2018

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

PDF
TL;DR本文报告了认知逻辑程序求解器的开发现状，讨论了扩展应用答案集编程中提出的认知规范语言，其中包含了模态运算符 K（“已知”）和 M（“可能为真”），以提供更强大的内省推理和增强功能，特别是在处理不完整信息时。
answer set programmingepistemic specificationsmodal operatorsintrospective reasoningsolver
发现论文，激发创造
  • 一个并行、内存高效的认知逻辑程序求解器：更强、更快、更好

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

    Aug, 2016

  • 三十年的认知规范

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

    Aug, 2021

  • 认知规范的分割集定理

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

    Mar, 2000

  • 分离认识逻辑程序

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

    Dec, 2018

  • 论知识和策略的推理：认识策略逻辑

    本文介绍了 Epistemic Strategy Logic（ESL) 这一扩展了策略逻辑的框架，它具有个体知识的模态演算符，这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义，考虑了相应的模型检查问题，发现 ESL 的模型检查复杂度不劣于（非认知的）策略逻辑。

    Apr, 2014

  • selp: 一种单射迭代逻辑程序求解器

    该研究介绍了一种将 Epistemic Logic Programs 转换成非地面（non-ground）ASP 的方法，并且在原型 ELP 求解系统 “selp” 上进行了实现和实验。

    Jan, 2020

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

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

    Sep, 2023

  • 关于认知逻辑程序的统一等价性

    研究 ELP 模块的等价性以及如何使用一种新的特征来直接应用于最先进的 ELP 求解器，证明判定两个 ELP 的一致性在计算复杂性的多项式层级中是可行的。

    Jul, 2019

  • 超越已知：新一代认识逻辑

    本文旨在重新关注定量认识逻辑，特别是它在表达 “是否知道”、“知道什么” 和 “知道如何” 等知识时的应用，并提出了一个新的无量词方法来研究它，以平衡表达能力和复杂性，并捕捉关于知识的基本推理模式。

    May, 2016

  • 重新审视认识规范

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

    Aug, 2011