该研究介绍了一种将 Epistemic Logic Programs 转换成非地面(non-ground)ASP 的方法,并且在原型 ELP 求解系统 “selp” 上进行了实现和实验。
Jan, 2020
本文介绍了一种适用于逻辑程序的稳定模型扩展 —— 经验逻辑程序,并在此基础上提出了一种逻辑程序拆分属性,最终得出了大多数现有建议都不能满足经验逻辑拆分属性的结论。
Dec, 2018
研究 ELP 模块的等价性以及如何使用一种新的特征来直接应用于最先进的 ELP 求解器,证明判定两个 ELP 的一致性在计算复杂性的多项式层级中是可行的。
Jul, 2019
本篇论文描述了一种能够解决 Epistemic Logic Program(ELP)中更难的问题的求解器,并且相比其他已知的 ELP 求解器,该求解器更快且不具有指数级别的内存需求,该语言为 Answer Set Programming 的拓展,引入了模态运算符 K 和 M。
Aug, 2016
本文介绍了扩展的分裂集定义及其在处理知识规范下的应用,扩展分裂集定理的应用,分层知识规范的表征,以及在某些知识逻辑程序子类的世界观计算中的一种算法方法。
Mar, 2000
本篇论文介绍了一种利用图形方法和动态规划结合已有的搜索求解器来解决定量推理问题的新系统,可以有效地处理 Answer Set Programming 方法中 epistemic logic programs 的复杂问题。
Aug, 2021
该研究论文介绍了认知逻辑程序的语言和形式语义,并探讨了该领域的当前状态和未来研究的挑战。
本文将标准逻辑规划中无基础概念推广到认知规划中,定义了何时认知规划中的一个世界观是有基础的,提出了一种结合了 Moore's Autoepistemic Logic 和 Pearce's Equilibrium Logic 的新的计算语义。
Feb, 2019
本文报告了认知逻辑程序求解器的开发现状,讨论了扩展应用答案集编程中提出的认知规范语言,其中包含了模态运算符 K(“已知”)和 M(“可能为真”),以提供更强大的内省推理和增强功能,特别是在处理不完整信息时。
Sep, 2018
提出一种基于逻辑编程的建模范式,将 ASP 和 QBF 的最佳特性相结合,实现对高层次搜索问题的编码。