MMJun, 2023

（扩展）分离逻辑程序的论证特征

PDF
TL;DR该论文研究了论证理论，尤其是基于假设的论证和不同类型的逻辑程序之间的关系，并通过展示基于假设的论证不仅可以表示普通逻辑程序，而且可以表示否定逻辑程序及其扩展，扩展了 Caminada，Schultz 和 Toni 的已有研究结果。
发现论文，激发创造
  • 排他性逻辑程序的基础语义比较和计算

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

    Jan, 2003

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

    该研究通过引入一定的定义模式，对程序类别进行分类，并分别表征了每个类别程序的答案集问题、悲观推理和乐观推理的复杂性。该研究的结果可能有助于解释计算答案集问题的困难度和识别问题实例的类别，以便解决这些问题。

    Jul, 2010

  • 可能性析取规划的语义

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

    Jun, 2011

  • 带有有序析取逻辑编程首选模型的逻辑特征

    本研究提出了一种新的、基于模型理论的方法来确定 Logic Programs with Ordered Disjunction (LPODs) 中最受欢迎的模型，从而克服了现有语义的不足。而且，新的方法可以用来定义一个包含有序和经典析取的自然类别的逻辑程序的语义，这使得程序不仅可以表达严格的优先级，还可以表达同样优先级的选择。

    Aug, 2021

  • 论证和逻辑编程中的诱导和对话证明

    本文研究抽象论证中的绑架模型，提出了基于对话证明理论的决策问题解决方案，并展示了如何基于绑定逻辑程序来实现该模型。

    Jul, 2014

  • 抽象论证和答案集编程：纳尔逊逻辑的两面

    本文提出非矛盾推理与强化封闭世界假设两个原则，将逻辑编程和抽象论证框架都用 Nelson 构造逻辑 N4 予以说明，并将它们以一种模块化的方式翻译成构造逻辑，从而形成一种新的蕴涵连接，支持攻击表示通过将这个新的蕴涵与强否定相结合。

    Mar, 2022

  • 逻辑程序修订作为命题修订的扩展特性表征

    本文提出了一种构建 LP 修订算子的细致方法，并以广义逻辑程序为例，证明了所有合理的广义逻辑程序修订算子均源自满足 AGM 公理的命题修订算子。同时，将广义逻辑程序修订算子嵌入布尔格结构中，并引入两个类别的广义逻辑程序修订算子，并将结果扩展到了多种形式的逻辑程序的修订算子。

    Jun, 2015

  • 命题理论强等价于逻辑程序

    本文探讨了命题理论在答案集语义下的一个性质（称为 Equilibrium Logic），即任何理论都可以重新表述为一个具有强等价性的模态逻辑规划，可能具有头部否定。我们提供了两个不同的证明：一个涉及语法变换，另一个从中间逻辑的反例开始构建程序。

    Jan, 2007

  • 带继承的分离逻辑程序

    该论文提出了一种新的知识表示语言 DLP <，通过继承扩展了具有强否定的分段逻辑编程。文中提供了 DLP < 的声明性模型论语义，并通过将经典的非单调问题编码为 DLP < 来说明其知识建模功能，证明了继承不会导致任何计算开销。

    May, 2001

  • 可否推翻的逻辑编程：一种论证方法

    这篇论文介绍了一种名为 Defeasible Logic Programming（DeLP）的形式化方法，它将 Logic Programming 和 Defeasible Argumentation 的结果结合起来，提供了一种在动态领域中处理不完整和矛盾信息的代理人知识表示和基于论证的推理机制。

    Feb, 2003