MMAug, 2021

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

PDF
TL;DR本篇论文介绍了一种利用图形方法和动态规划结合已有的搜索求解器来解决定量推理问题的新系统，可以有效地处理 Answer Set Programming 方法中 epistemic logic programs 的复杂问题。
answer set programmingepistemic logic programsquantitative reasoningcounting problemstreewidth
发现论文，激发创造
  • 认知逻辑程序：一些性质研究

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

    Sep, 2023

  • 基于树宽求解问题的高级工具和方法 - 扩展摘要

    本文主要研究了基于逻辑的问题及基于 treewidth 的方法和工具，并提出了一种新类型的问题降解方法，其中问题为有界 treewidth 的量化布尔公式（QBF）。结果表明，treewidth 是设计现代求解器时应考虑的一项重要的测量标准。

    Aug, 2022

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

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

    Jan, 2020

  • 逻辑程序结构硬度的表征：为什么对于树宽而言，环和可达性很难？

    本文介绍了一种从 SAT 到 normal ASP 的新型减少方法，并通过建立依赖图的循环长度（SCC 大小）与树宽之间所需的功能依赖性，以一种细粒度的方式刻画了硬度。

    Jan, 2023

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

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

    Aug, 2016

  • 基于 Answer Set Programming 的定性理论编码和推理的一般方法

    这篇论文提出了使用 ASP 作为一个统一的形式化语言来解决需要定性推理和非定性推理的问题，提出了一族可以处理任何二进制关系资料的 ASP 编码，并且在真实数据集的实验中进行了评估。

    Aug, 2020

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

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

    Jul, 2019

  • 三十年的认知规范

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

    Aug, 2021

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

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

    Sep, 2018

  • 有限宽度反模理论的一阶查询可决定性

    提出了一个通用的查询决策框架，基于计数模型的结构简单性，可以确定各种逻辑蕴涵问题（简称查询）的可决性，其中 Blumensath 的分区宽度作为一个特别强大的宽度度量提出，重点介绍存在规则的形式化，其中分区宽度的规则子域覆盖范式为一周围侧子域。

    Apr, 2023