平衡图
本文提出了 QELF 来处理部分函数,并且将其与 Scott 存在逻辑做了直接联系,还介绍了一个实际应用,即将扩展后的常规逻辑程序转换成无函数的常规程序,可以使用任何标准 ASP 求解器计算其答案集。
Jun, 2010
该论文提供了 Equilibrium Logic 和它的基础 Here-and-There Logic 的另一种语义学方法,并利用公式的 denotation 函数分析了 G3 的结构特性,展示了它的表现力和强蕴含量的定义,提出了一种简单的 compact set expression 来捕捉公式的 Equilibrium 模型集合。
Jul, 2015
本文介绍了一种基于 Peirce 的存在图推理和蕴含图的命题逻辑简化演算法,该算法可以应用于嵌套形式的命题逻辑公式,保持等价性、保证变量、子句和文字数量的单调递减,并最大限度地保留结构问题信息;同时,提出了一个系统化应用两个规则(EPR 和 TWSR)的简化过程,可用于简化大型布尔可满足性问题和任意形式的命题公式,并对其在空间和时间方面进行了算法复杂性的形式分析;最后,展示了如何通过引入一种新的 n 元蕴含图扩展我们的规则,以涵盖所有已知的等价性保持预处理过程。
May, 2024
本文针对 Temporal Equilibrium Logic(TEL)提供了一种系统的复杂性分析方法,可以检查 TEL 公式的时间均衡模型的存在性,并通过分析不同的 TEL 公式子类的复杂性,确定了可处理和不可处理的片段。
Feb, 2015
该论文涉及描述逻辑的特性,首次引入普遍量化的概念,提出两种扩展的语义模型,包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明,在某些扩展的语义中,所得出的结论与经典的描述逻辑相符,并证明了某种程度上用于这种扩展的算法的多项式可判定性。
Aug, 2023
这篇论文通过系统检视问题之前的范围并提出一个新的数据集,讨论了同时出现的新挑战,并提出了一种模糊逻辑理论的新搜索算法,以解决新的公式并在现有公式中胜过以前的方法。
Apr, 2023
本文详细研究了量化可布尔逻辑以及其存在量化和全称量化变量的相关应用,特别是在可解释人工智能方面的应用,提出了一种新的量化语义,并探讨了变量 / 文字与存在性 / 普遍性量化之间的相互作用。此外,我们还确定了一些布尔公式和电路类别,其中量化可以有效地完成。
Aug, 2021