论文探讨了一维统一片段(U1)的性质,以及 U1 与适应更高元关系的描述逻辑(DLR_reg)的关系,并定义了一个描述逻辑版本的 U1 变体,并证明了与 U1 和其他相关逻辑的表现力有关的一系列新结果。
Apr, 2016
本文旨在重新关注定量认识逻辑,特别是它在表达“是否知道”、“知道什么”和“知道如何”等知识时的应用,并提出了一个新的无量词方法来研究它,以平衡表达能力和复杂性,并捕捉关于知识的基本推理模式。
May, 2016
本文提出了一种高度可表达的有限置信逻辑,可以进行可计算的推理,在一阶逻辑上保持可判定性,在命题逻辑上保持可操作性,并引入一种采用此逻辑作为表示语言的推理系统,该系统展示了有限置信的好处。
May, 2017
提出了一种新的基于概率论和证明论的处理量化模态逻辑(一阶模态逻辑)不确定性的系统,通过解决归纳处置的问题,使Chisholm的理论得到具体实现,可用于交互式系统,用于解释其不确定性提供合理解释。
本文介绍并探究了一个有关条件句的形式化方法,该方法可以定义一类广泛的推理系统。我们提出的语义适用于非满足与经典逻辑相关联的封闭性属性的条件句的结构性分析。
Feb, 2022
本文介绍了一个半定量的方法——用阶数算术来将模态逻辑系统和贝叶斯推理结合起来。最终的系统可以将传统模态逻辑语义自然地,优雅地映射到新的系统中。我们声称该逻辑系统可以被完全有限地表述,并提供了对“除去不可能的,剩下的,无论多么不可能都是真的”这一句话的完美解释。此外,还证明了该逻辑系统的一个有限模型特性定理。
Apr, 2022
本文通过三价真值方法来提供一种条件推理的逻辑解释并运用逻辑情景下的几率来对条件状语句进行分类。
Jul, 2022
本文研究不确定性理论中的可能性理论、信念函数和不精确概率与模态逻辑之间的二元性质,提出了一种基于最小认知逻辑和波兰式逻辑的简化信念函数逻辑,并且给出了使用Shafer基本概率分配的语义。
Mar, 2023
本文介绍了一种新的逻辑系统,它将经典认知领域中的相信和知识概念与一个概念证据相结合,从而满足了直觉原则 `证据导致相信和知识';该文的方法则是将这个新系统与内部真实性的$S5$风格原理相结合,产生了一个模态系统S5和预示依存性的结合逻辑,使用直接的命题形式来模拟置信和知识。
Apr, 2023
本文介绍了新概念的偏见逻辑(Epistemic Syllogistic),并探讨了包含非平凡但自然表达式的认识偏见演绎法。作者还在本文中提出了这些逻辑的多个定理化,并证明了其完整性。
Jul, 2023