提出了一种新的基于概率论和证明论的处理量化模态逻辑 (一阶模态逻辑) 不确定性的系统,通过解决归纳处置的问题,使 Chisholm 的理论得到具体实现,可用于交互式系统,用于解释其不确定性提供合理解释。
May, 2017
本文介绍了一种新的逻辑系统,它将经典认知领域中的相信和知识概念与一个概念证据相结合,从而满足了直觉原则 ` 证据导致相信和知识 ';该文的方法则是将这个新系统与内部真实性的 $S5$ 风格原理相结合,产生了一个模态系统 S5 和预示依存性的结合逻辑,使用直接的命题形式来模拟置信和知识。
Apr, 2023
该研究论文介绍了认知逻辑程序的语言和形式语义,并探讨了该领域的当前状态和未来研究的挑战。
Aug, 2021
该研究提出了一个基于语言学、哲学、模态逻辑和自动规划的单智能体模态逻辑框架来推理关于目标导向的 “知道如何”,首先定义了一个模态语言来表达 “我知道如何保证 phi 在给定 psi 的条件下”,并给出了一个不基于标准认知模型而是标记的转换系统来表示代理人对自己的能力的了解的语义。并且给出了一个完备的证明系统来捕捉关于 “知道如何” 的有效推理模式,其中最重要的公理表明其组合性质。
May, 2015
本研究运用 Kripke 模型和偏序理论构建了一族支持缺陷性模态表述的模态逻辑,同时提出的 Tableau 演算能够完备地反映此偏序语义。
Oct, 2013
本文提出了一种利用逻辑规则来约束神经模型,从而调整其预测不一致性,增强其预测准确性和一致性的学习框架,并在自然语言推理任务上进行了实验验证。
Aug, 2019
本文研究不确定性理论中的可能性理论、信念函数和不精确概率与模态逻辑之间的二元性质,提出了一种基于最小认知逻辑和波兰式逻辑的简化信念函数逻辑,并且给出了使用 Shafer 基本概率分配的语义。
Mar, 2023
本文认为逻辑语义学未能区分本体概念和逻辑概念等两种基本不同的概念类型,指出需要将词汇语义学和组合语义学融合为一个一致的框架,并嵌入一个强类型的本体论中以反映我们的世界常识认知,从而解决自然语言语义学中的一些挑战。
Aug, 2018
本文研究了带有基数约束的分级模态逻辑在几个已知框架类别下的可满足性复杂度及其判定问题,并获得了紧密的复杂度界限,尤其是针对具有传递性框架的情况下缺乏树型模型性质的问题。
May, 2009
本文介绍了新概念的偏见逻辑(Epistemic Syllogistic),并探讨了包含非平凡但自然表达式的认识偏见演绎法。作者还在本文中提出了这些逻辑的多个定理化,并证明了其完整性。
Jul, 2023