该研究论文介绍了认知逻辑程序的语言和形式语义,并探讨了该领域的当前状态和未来研究的挑战。
Aug, 2021
本文介绍了扩展的分裂集定义及其在处理知识规范下的应用,扩展分裂集定理的应用,分层知识规范的表征,以及在某些知识逻辑程序子类的世界观计算中的一种算法方法。
Mar, 2000
本文报告了认知逻辑程序求解器的开发现状,讨论了扩展应用答案集编程中提出的认知规范语言,其中包含了模态运算符 K(“已知”)和 M(“可能为真”),以提供更强大的内省推理和增强功能,特别是在处理不完整信息时。
Sep, 2018
本文提出了一种用于对不完全知识建模决策的新语言,它结合了分层、自知逻辑和定义三个原则,其中知识库是一个认识论理论的层级结构,每个组成部分理论都可以对较低理论中的知识进行认识论推理,并使用具有认识条件的定义来进行决策。
Dec, 2023
本文将标准逻辑规划中无基础概念推广到认知规划中,定义了何时认知规划中的一个世界观是有基础的,提出了一种结合了 Moore's Autoepistemic Logic 和 Pearce's Equilibrium Logic 的新的计算语义。
Feb, 2019
本文介绍了关于稳定模型语义的一种另类的认识论方法,探讨了稳定模型语义可以完全定义为 Kripke-Kleene 语义的扩展,证明了封闭世界假设可以看作是要累加到 Kripke-Kleene 语义上的一个 “虚假” 的附加来源。
Mar, 2004
本文介绍了 Epistemic Strategy Logic(ESL) 这一扩展了策略逻辑的框架,它具有个体知识的模态演算符,这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义,考虑了相应的模型检查问题,发现 ESL 的模型检查复杂度不劣于(非认知的)策略逻辑。
Apr, 2014
利用动态认知逻辑(DEL)的多代理规划在处理非确定性、部分可观察性和任意知识嵌套方面具有广泛应用的行动形式主义中,我们通过一种新颖的语义方法达到可决定性的目标。我们展示了该框架具有可决定的特性,并研究了其他扩展的交换公理以实现更复杂的 DEL 的决定性。
Jul, 2023
本文旨在重新关注定量认识逻辑,特别是它在表达 “是否知道”、“知道什么” 和 “知道如何” 等知识时的应用,并提出了一个新的无量词方法来研究它,以平衡表达能力和复杂性,并捕捉关于知识的基本推理模式。
May, 2016
本文介绍数学知识管理中语义方法的调查研究,涵盖本体模型、数学知识本体论以及数学公式搜索和学习。
Aug, 2014