Apr, 2022

无限模态逻辑：贝叶斯推理的半定量解释

PDF
TL;DR本文介绍了一个半定量的方法 —— 用阶数算术来将模态逻辑系统和贝叶斯推理结合起来。最终的系统可以将传统模态逻辑语义自然地，优雅地映射到新的系统中。我们声称该逻辑系统可以被完全有限地表述，并提供了对 “除去不可能的，剩下的，无论多么不可能都是真的” 这一句话的完美解释。此外，还证明了该逻辑系统的一个有限模型特性定理。
发现论文，激发创造
  • 一个基础信任函数逻辑

    本文研究不确定性理论中的可能性理论、信念函数和不精确概率与模态逻辑之间的二元性质，提出了一种基于最小认知逻辑和波兰式逻辑的简化信念函数逻辑，并且给出了使用 Shafer 基本概率分配的语义。

    Mar, 2023

  • 可驳斥的情态

    本研究运用 Kripke 模型和偏序理论构建了一族支持缺陷性模态表述的模态逻辑，同时提出的 Tableau 演算能够完备地反映此偏序语义。

    Oct, 2013

  • 分级模态逻辑与计数双模拟

    本文考虑一阶逻辑到带分级的模态逻辑中基本特征定理的拓展，重点在展示分级多模态逻辑对 Kripke 结构中保存在计数等价中的一阶特性的表现完备性。

    Sep, 2019

  • 贝叶斯遇见蕴含和预测：基于非单调性、部分一致性和预测准确性的常识推理

    本文提出一种基于生成模型的逻辑推理关系，将真值的概率生成过程化，证明了该模型优于其他推理模型，同时给出了一种性能优越的分类算法。

    Dec, 2020

  • 统一逻辑蕴涵和统计估计

    本文基于生成模型的思想，采用 Bayesian learning 方法，探究形式逻辑及其数理统计特性，构建了一个统一的形式逻辑和统计推理理论。

    Feb, 2022

  • 哥德尔 - 邓梅特线性时间逻辑

    该研究探讨了一个版本的线性时态逻辑，其命题片段是 Godel-Dummett 逻辑，并使用了两种自然语义学，一种是真值语义学，另一种是双关系语义学，证明了这些语义定义了相同的逻辑，并提出了决定语句有效性的算法以及一个用于 Godel 临时逻辑的演绎演算法，从而证明了所有的有效语句都能够用这个演算法证明。

    Jun, 2023

  • 高阶贝叶斯推断的指称验证

    我们提出一个模块化的语义计算方法，用于概率编程语言中的贝叶斯推断算法，并使用高阶函数和归纳类型等方式操纵概率程序的中间表示，定义了语义结构类及其转换的词义准则，并使用 Kock's 综合测度理论证明了一个准 Borel 同源定理。

    Nov, 2017

  • 强度因素：一个量化模态逻辑的不确定性系统

    提出了一种新的基于概率论和证明论的处理量化模态逻辑 (一阶模态逻辑) 不确定性的系统，通过解决归纳处置的问题，使 Chisholm 的理论得到具体实现，可用于交互式系统，用于解释其不确定性提供合理解释。

    May, 2017

  • 逻辑非全知问题的形式化方法

    该研究提出了适用于可计算算法的逻辑归纳准则，该准则为每个给定形式语言中的逻辑语句分配概率并随时间逐步细化，并通过股票交易类比进行了概述。这一准则可以推导出一些有利的有界理性推理者的特性。

    Jul, 2017

  • 有限轨迹上的理论线性时序逻辑 (扩展版)

    本文提出了一种基于 Satisfiability Modulo Theories 的 Linear Temporal Logic 语言 ——LTLf Modulo Theories，该语言具有高表现力，可用于数据感知过程和规划的模型检验。我们提供了一种基于 SMT 编码的单遍树状表格系统的 LTLfMT 的半决策过程，并在黑色可满足检查工具中实现。实验结果表明了该算法在新型基准测试上的可行性。

    Apr, 2022