混合MKNF知识库冲突驱动求解的基础
该研究将过渡系统用于计算命题公式的模型,证明了其适用于逻辑规划和PC(ID)逻辑中,通过计算答案集表示的模型,提供了一种统一的视角,为不同命题形式开发的解决程序提供联系。
May, 2011
本文介绍了抽象模块和抽象模块化系统等概念,以研究将不同形式主义集成到模块化知识表示系统中所涉及的原则,并展示了如何将它们应用于多种形式主义。 Transition System是这些原则的自然和方便表示,可以用于SAT社区开发的求解器的流程表示。
Dec, 2013
本文分析了知识库范式在交互式配置问题中的原则和可行性,并表明在形式化配置领域的规范化说明上应用不同形式的逻辑推理,可以实现该领域的多种功能。通过在银行业的实际应用实现了该方法的概念验证。
May, 2016
本文提出了一种新的互补 MKNF 知识库的方法,通过引入未建立集合的概念,提出了两个新的建立操作符以定义 DPLL 搜索引擎,并比较了其他方法。此方法可用于实现混合 MKNF 知识库的组合器。
Jul, 2017
本文报告了认知逻辑程序求解器的开发现状,讨论了扩展应用答案集编程中提出的认知规范语言,其中包含了模态运算符K(“已知”)和M(“可能为真”),以提供更强大的内省推理和增强功能,特别是在处理不完整信息时。
Sep, 2018
通过结合ASP求解技术和演绎逻辑机器学习,我们的新方法能够通过学习约束并将其应用于原始程序以提高求解性能,该方法通过减少冲突最小化,可以减少不必要的求解工作,这是在真实用例中得到证明的。
Aug, 2020
本篇论文介绍了一种利用图形方法和动态规划结合已有的搜索求解器来解决定量推理问题的新系统,可以有效地处理 Answer Set Programming 方法中 epistemic logic programs 的复杂问题。
Aug, 2021
本文介绍 Contextualized Knowledge Repository(CKR)框架的扩展,能够支持多种情境关联,并使用了新的推理方式——ASP with algebraic measures。新的扩展框架比以往更加强大,例如可以进行关于CKRs的认知查询的推理,并为其他应用程序的量化ASP扩展开辟了有趣的前景。
Aug, 2021
本文提出一种基于fixpoint构造和头截断的解决方法,以逐步捕捉具有析取规则的混合MKNF知识库的三值模型,并探讨与AFT中的逼近器的关系。
Aug, 2022
本文主要研究了基于逻辑的问题及基于treewidth的方法和工具,并提出了一种新类型的问题降解方法,其中问题为有界treewidth的量化布尔公式(QBF)。结果表明,treewidth是设计现代求解器时应考虑的一项重要的测量标准。
Aug, 2022