基于正常混合MKNF知识库的有根算子
本文研究了将经典一阶逻辑理论和规则集表示的本体组合起来的多种方法,介绍了一种在自我知识逻辑下嵌入本体和非单调逻辑程序的一阶自我知识逻辑嵌入方法,并比较了嵌入方法的稳定扩展和自我知识后果。
Nov, 2008
本文提出了将模态逻辑和描述逻辑自动推理任务编码为SAT的方法,并测试表明这种方法可以处理大多数或所有的问题,并且性能与现有的最先进工具相当甚至更好。
Jan, 2014
本文分析了知识库范式在交互式配置问题中的原则和可行性,并表明在形式化配置领域的规范化说明上应用不同形式的逻辑推理,可以实现该领域的多种功能。通过在银行业的实际应用实现了该方法的概念验证。
May, 2016
本文介绍 Contextualized Knowledge Repository(CKR)框架的扩展,能够支持多种情境关联,并使用了新的推理方式——ASP with algebraic measures。新的扩展框架比以往更加强大,例如可以进行关于CKRs的认知查询的推理,并为其他应用程序的量化ASP扩展开辟了有趣的前景。
Aug, 2021
本文介绍提出的Standpoint逻辑,它是基于现有知识库语言的多模逻辑“附加组件”,可用于表示相对不同、可能相冲突的立场的领域知识,并为具有不同表达能力的可判定一阶逻辑和描述逻辑提供决策算法,可扩展由立场建模。
Jun, 2022
本文提出一种基于fixpoint构造和头截断的解决方法,以逐步捕捉具有析取规则的混合MKNF知识库的三值模型,并探讨与AFT中的逼近器的关系。
Aug, 2022
本文中,我们引入了一种称为Standpoint EL+的扩展逻辑,它允许公理否定、角色链公理、自我循环等特性,并且通过设计一个满足可实际算法需求的可满足性检查演绎规则,同时保持了可处理性。我们通过展示该演绎规则的一个原型Datalog实现来证明实现的可行性。
Apr, 2023
本文介绍了有关知识库的完整性、回溯和否定的表示、提取和推断的方法,以及对应的方法及其工作原理的基本方法,并针对两类受众提出了解决不完备知识库方面的建议。
May, 2023
利用传统的AFT理论难以定义依赖于稳定修订之前计算得到的信息的近似器,本文提出了一种类似AFT的方法,能够利用先前计算得到的上界更精确地捕捉语义,并通过扩展最先进的近似器展示了该框架在混合MKNF知识库上的应用性。
Jul, 2023
本文解决了混合MKNF知识库中冲突驱动求解的理论基础问题,探讨了完成和循环公式的定义及其在MKNF模型中的应用。提出的求解方法为冲突驱动求解器提供了重要的支撑,从而提高了对复杂问题的解决能力。
Aug, 2024