三值析取混合MKNF知识库的不动点特征化
本文研究了将经典一阶逻辑理论和规则集表示的本体组合起来的多种方法,介绍了一种在自我知识逻辑下嵌入本体和非单调逻辑程序的一阶自我知识逻辑嵌入方法,并比较了嵌入方法的稳定扩展和自我知识后果。
Nov, 2008
本文研究了具有(抽象的)约束原子的逻辑程序的稳定模型语义及其性质,并提出了简洁的抽象表示方法,该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法,并进一步扩展了用于普通原子逻辑程序的标准特征和性质。
Apr, 2009
本文提出了两种方法来定义任意类型抽像限制原子(c-atoms)的逻辑程序的答案集,这些定义泛化了正常逻辑程序的修正点和级别映射基础的答案集语义,其中包括四种不同的答案集定义,这四种在应用于正常逻辑程序时是相等的。
Oct, 2011
本文介绍如何使用 Answer Set Programming 解决 OWL EL 本体语言下的描述逻辑 SROEL-R-T 中的实例检查问题,并利用小模型结果中的 ASP 编码将模型转换为答案集,从而在最小符合性推理下进行推理。
Aug, 2016
本文提出了一种新的互补 MKNF 知识库的方法,通过引入未建立集合的概念,提出了两个新的建立操作符以定义 DPLL 搜索引擎,并比较了其他方法。此方法可用于实现混合 MKNF 知识库的组合器。
Jul, 2017
本文介绍 Contextualized Knowledge Repository(CKR)框架的扩展,能够支持多种情境关联,并使用了新的推理方式——ASP with algebraic measures。新的扩展框架比以往更加强大,例如可以进行关于CKRs的认知查询的推理,并为其他应用程序的量化ASP扩展开辟了有趣的前景。
Aug, 2021
本篇论文研究了多层感知器的逻辑解释,以及在描述逻辑和多偏好语义下加权知识库的防御性推理问题,并提出了新的ASP编码和关键字搜索解决方案。
Mar, 2023
利用传统的AFT理论难以定义依赖于稳定修订之前计算得到的信息的近似器,本文提出了一种类似AFT的方法,能够利用先前计算得到的上界更精确地捕捉语义,并通过扩展最先进的近似器展示了该框架在混合MKNF知识库上的应用性。
Jul, 2023
通过对逻辑编程领域中的回答集编程(ASP)进行分析,我们提出了一种精细化的方法,描述了ASP程序的特征,以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。
May, 2024
本文解决了混合MKNF知识库中冲突驱动求解的理论基础问题,探讨了完成和循环公式的定义及其在MKNF模型中的应用。提出的求解方法为冲突驱动求解器提供了重要的支撑,从而提高了对复杂问题的解决能力。
Aug, 2024