分离认识逻辑程序
通过引入新的定义和语义属性,我们分析了在 Epistemic Logic Programs 中从自底向上到自顶向下的分割方法,并证明了它与自底向上方法的等价性。
Sep, 2023
本文将标准逻辑规划中无基础概念推广到认知规划中,定义了何时认知规划中的一个世界观是有基础的,提出了一种结合了 Moore's Autoepistemic Logic 和 Pearce's Equilibrium Logic 的新的计算语义。
Feb, 2019
本文报告了认知逻辑程序求解器的开发现状,讨论了扩展应用答案集编程中提出的认知规范语言,其中包含了模态运算符 K(“已知”)和 M(“可能为真”),以提供更强大的内省推理和增强功能,特别是在处理不完整信息时。
Sep, 2018
本文探讨了优先默认推理的两个特性,揭示了优先逻辑程序的互斥性和唯一性之间的密切关系,并探讨了将扩展逻辑程序的分裂技术推广到优先逻辑程序的可能性,证明了可以在一定条件下简化优先逻辑程序的评估。
Mar, 2002
本文研究基于 Sato 分布语义的概率逻辑程序,分析了基于稳定和基于良基模型这两种语义,探讨了 credal 语义产生的概率模型集合是无限单调 Choquet 容量的结果产生的几个有用的结果,并研究了其推理和查询的复杂度。作者对此进行了详细说明,并对无环、分层、周期性的命题和关系程序,提出了推理和查询复杂度的结果,该复杂度达到各种计数层次和指数级别。
Jan, 2017
本文探讨了命题理论在答案集语义下的一个性质(称为 Equilibrium Logic),即任何理论都可以重新表述为一个具有强等价性的模态逻辑规划,可能具有头部否定。我们提供了两个不同的证明:一个涉及语法变换,另一个从中间逻辑的反例开始构建程序。
Jan, 2007
本文介绍了 Epistemic Strategy Logic(ESL) 这一扩展了策略逻辑的框架,它具有个体知识的模态演算符,这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义,考虑了相应的模型检查问题,发现 ESL 的模型检查复杂度不劣于(非认知的)策略逻辑。
Apr, 2014
eclingo 是基于 Answer Set Programming 系统 clingo 开发的一个解决 Gelfond 1991 下的认知逻辑程序的求解器,通过使用 clingo 的语法扩展能力定义主观文字实现了对程序的谨慎和勇敢结果的搜索,并在一些场景中提高求解效率。
Aug, 2020