MMJul, 2010

关于析取逻辑程序推理复杂性的三分和二分结果

PDF
TL;DR该研究通过引入一定的定义模式，对程序类别进行分类，并分别表征了每个类别程序的答案集问题、悲观推理和乐观推理的复杂性。该研究的结果可能有助于解释计算答案集问题的困难度和识别问题实例的类别，以便解决这些问题。
disjunctive logic programsanswer set problemcomplexityskeptical reasoningcredulous reasoning
发现论文，激发创造
  • （扩展）分离逻辑程序的论证特征

    该论文研究了论证理论，尤其是基于假设的论证和不同类型的逻辑程序之间的关系，并通过展示基于假设的论证不仅可以表示普通逻辑程序，而且可以表示否定逻辑程序及其扩展，扩展了 Caminada，Schultz 和 Toni 的已有研究结果。

    Jun, 2023

  • 非连续逻辑程序的回归正常

    研究了如何利用命题可满足性 (SAT) 解决比 NP 或 co-NP 更困难的问题，特别是对命题析取答案集编程中的基本推理问题进行探讨，介绍了利用新的 Parameterized Complexity 技术从 Brave 和 Skeptical Reasoning 转换到 SAT 的方法。

    Jan, 2013

  • 排他性逻辑程序的基础语义比较和计算

    本文从不同角度探讨了非简洁逻辑规划的互补推理，通过稍微修改定义非简洁互补语义的一些方法，我们展示了一种直观的互补推理形式，并提供了一种自下而上的程序，从而阐明了不同方法之间的关系及其优缺点。

    Jan, 2003

  • 不相交 Datalog 程序的 Datalog 改写性及其在本体推理中的应用

    研究了将一个分离的 Datalog 程序重写为普通的 Datalog 的问题，并提出了一种新的基于规则的知识表示语言（KR language）—— 弱线性分离 Datalog，以及在本文的框架下对本体推理问题的应用，结果表明许多非 Horn 本体可以被简化为弱线性程序，并可以用 Datalog 引擎在实践中进行查询回答。

    Apr, 2014

  • 概率逻辑程序的语义和复杂度

    本文研究基于 Sato 分布语义的概率逻辑程序，分析了基于稳定和基于良基模型这两种语义，探讨了 credal 语义产生的概率模型集合是无限单调 Choquet 容量的结果产生的几个有用的结果，并研究了其推理和查询的复杂度。作者对此进行了详细说明，并对无环、分层、周期性的命题和关系程序，提出了推理和查询复杂度的结果，该复杂度达到各种计数层次和指数级别。

    Jan, 2017

  • 可能性析取规划的语义

    定义了一种适用于建模不确定、不完整和不一致信息的可能性析取逻辑编程方法，并介绍了可能性析取子句的使用，该子句能够同时捕捉知识库的不完全信息和不完全状态；同时基于经典答案集语义和可能性逻辑证明理论构建可能性逻辑编程语义，对于不一致可能性逻辑程序的管理，采用偏好标准和切割方法进行篡改，并以医学场景为例进行了说明。

    Jun, 2011

  • 发现强等价逻辑程序类

    本文应用计算机辅助定理发现技术，发现强等价逻辑程序在答案集语义下的定理，进而得到了新的程序化简规则。具体发现了关于规则和空集、两个规则、两个规则和其中一个规则、两个规则和另一个规则、以及三个规则和其中两个规则之间的强等价的确切条件。

    Oct, 2011

  • 优先逻辑编程的两个结果

    本文探讨了优先默认推理的两个特性，揭示了优先逻辑程序的互斥性和唯一性之间的密切关系，并探讨了将扩展逻辑程序的分裂技术推广到优先逻辑程序的可能性，证明了可以在一定条件下简化优先逻辑程序的评估。

    Mar, 2002

  • PITA 系统：带表和答案包含的不确定推理

    本文介绍了概率逻辑编程（PLP）及其相关技术（如 PRISM、Possibilistic Logic Programming 等），并展示了 PITA 系统如何能够高效支持 PLP、PRISM 和 PLP。

    Jul, 2011

  • 更加表意与抽象的逻辑程序的配置

    本篇论文重点针对模型导向人工智能的方法及其应用中 SAT 和 ASP 这两个系统的输入形式进行分析，特别是通过将输入形式重新制定和配置，优化推理过程。经过广泛领域内数据的实验证明，使用这种方法可以获得不同的优势。

    Mar, 2022