Jan, 2009

有限递归程序

HTML
PDF
TL;DR本文探讨了“离散有限程序”和“有限递归程序”在“稳定模型语义”的语境下的性质，证明了“有限递归程序”的“一致性检查”和“怀疑推理”是“半可判的”，而“怀疑推理”对于“一般有限递归程序”具有完备性，并展示了如何使用有限的程序实例子集进行矛盾检查和响应怀疑查询。
发现论文，激发创造
  • 具任意约束原子的逻辑程序稳定模型语义的表征

    本文研究了具有（抽象的）约束原子的逻辑程序的稳定模型语义及其性质，并提出了简洁的抽象表示方法，该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法，并进一步扩展了用于普通原子逻辑程序的标准特征和性质。

    Apr, 2009

  • 有限程序的可判别子类

    文章介绍了 FP2 程序，这是一种支持无限扩展谓词及任意元数谓词，支持认真和怀疑的稳定模型推理，并可用于奇环问题的解决的新型逻辑编程范例。

    Jul, 2010

  • 关于逻辑程序的基本环路

    本文研究了基本环的性质，特别是针对极大基本环与最小未建立集之间的关系。其中基于基本环定义，我们讨论了Head-Elementary-loop-Free程序的性质，该程序可以被转换成多项式时间的等价非不相交程序。在此基础上，我们讨论了基本环的识别问题在不同类型程序中的复杂度。

    Dec, 2010

  • 具有单调和凸约束条件的程序的属性和应用

    通过扩展正常逻辑编程的概念和结果，我们研究了具有单调和凸约束条件的程序的性质，这些结果为一些最近扩展的逻辑编程提供了抽象的概述，并应用这些结果进一步提出了通过伪布尔约束的通用求解器计算lparse程序稳定模型的方法，这种方法通常比smodels系统更快。

    Sep, 2011

  • 带广义量词的逻辑程序稳定模型的两种新定义

    本文提出了关于第一阶稳定模型语义及其通过引用重新定义泛化量词概念的替代定义，并将FLP稳定模型语义扩展到通过引用类似于SM运算符的运算符来允许使用广义量词。对于一定的逻辑程序语法类，本文证明了这两个广义量词的稳定模型语义是可交换的。

    Jan, 2013

  • 一阶稳定模型语义与一阶环公式

    研究了一阶稳定模型语义与一阶循环公式之间的精确关系，探讨了扩展一阶循环公式定于来便于比较，给出一个带显式量化符号的逻辑程序扩展语法，这允许我们使用一阶推理器进行涉及非-Herbrand稳定模型的推理。

    Jan, 2014

  • 抽象论证框架语义：逻辑编程方法

    本研究探讨了基于Argumentation Framework的框架和Partial Stable Models之间的关系，证明每个基于AF的框架Delta都可以被翻译成一个逻辑程序P_Delta，而不同的Delta语义扩展可以对应于P_Delta的不同PSM子集。该研究为新的基于AF的框架的语义定义提供了可能性，例如带有递归攻击和递归演绎支持的AFs。

    Aug, 2020

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

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

    Jul, 2023

  • 关于带变量的环式公式

    稳定模型与变量的循环公式的关系，广义化循环公式至包括非零多项联结程序和任意一阶句子，并通过扩展逻辑程序的语法允许明确量词，将其语义定义为Ferraris等人提出的新稳定模型语言的子类，能在不依赖唯一名字和域封闭性假设的情况下处理非单调推理，同时由于受限的语法而产生更简洁的循环公式。此外，我们还展示了某些句法条件，使得扩展程序的查询回答可以简化为一阶逻辑的蕴涵检查，为使用一阶定理证明器推理非Herbrand稳定模型提供了一种途径。

    Jul, 2023

  • 高阶逻辑程序的稳定模型语义

    本研究解决了高阶逻辑程序中缺乏稳定模型语义的问题。作者提出了一种基于近似不动点理论的新语义，这种语义不仅推广了经典的两值和三值稳定模型语义，还提供了多种替代语义。研究的关键发现是，广泛的分层高阶逻辑程序具有唯一的两值稳定模型，这可能为新型的答案集编程系统奠定基础。

    Aug, 2024