三十年的认知规范
本文将标准逻辑规划中无基础概念推广到认知规划中,定义了何时认知规划中的一个世界观是有基础的,提出了一种结合了 Moore's Autoepistemic Logic 和 Pearce's Equilibrium Logic 的新的计算语义。
Feb, 2019
本文重新审视认识规范的形式化方法,提出新的定义,并给出了多种语义,其中之一在句法限制下等价于原定义的 Gelfond 语义。我们还从推理能力的角度分析了其复杂度,并展示了它在最近由 Faber 和 Woltran 考虑的需要元推理的问题中的有效性,从而证明了这个方法配得上更多的关注。
Aug, 2011
本文报告了认知逻辑程序求解器的开发现状,讨论了扩展应用答案集编程中提出的认知规范语言,其中包含了模态运算符 K(“已知”)和 M(“可能为真”),以提供更强大的内省推理和增强功能,特别是在处理不完整信息时。
Sep, 2018
本文介绍了关于稳定模型语义的一种另类的认识论方法,探讨了稳定模型语义可以完全定义为 Kripke-Kleene 语义的扩展,证明了封闭世界假设可以看作是要累加到 Kripke-Kleene 语义上的一个 “虚假” 的附加来源。
Mar, 2004
通过引入新的定义和语义属性,我们分析了在 Epistemic Logic Programs 中从自底向上到自顶向下的分割方法,并证明了它与自底向上方法的等价性。
Sep, 2023
本文介绍了 Epistemic Strategy Logic(ESL) 这一扩展了策略逻辑的框架,它具有个体知识的模态演算符,这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义,考虑了相应的模型检查问题,发现 ESL 的模型检查复杂度不劣于(非认知的)策略逻辑。
Apr, 2014
本文研究基于 Sato 分布语义的概率逻辑程序,分析了基于稳定和基于良基模型这两种语义,探讨了 credal 语义产生的概率模型集合是无限单调 Choquet 容量的结果产生的几个有用的结果,并研究了其推理和查询的复杂度。作者对此进行了详细说明,并对无环、分层、周期性的命题和关系程序,提出了推理和查询复杂度的结果,该复杂度达到各种计数层次和指数级别。
Jan, 2017
本文介绍了一种新的逻辑系统,它将经典认知领域中的相信和知识概念与一个概念证据相结合,从而满足了直觉原则 ` 证据导致相信和知识 ';该文的方法则是将这个新系统与内部真实性的 $S5$ 风格原理相结合,产生了一个模态系统 S5 和预示依存性的结合逻辑,使用直接的命题形式来模拟置信和知识。
Apr, 2023