Jul, 2023

从概率论进行信念修正

PDF
TL;DR本文提出了一个概率的信念模型，并探讨了它对于信念动态的影响，比 AGM 理论约弱但比 Lockean 理论强，考虑一类特定模型并提出其自然的原则，最终相较于 Leitgeb 和 Lin 以及 Kelly 的竞争性概率信念模型而言本框架比较优越。
probabilistic account of beliefbelief revisionlockean theory of beliefmodelsimplications
发现论文，激发创造
  • 归纳推理的一般非概率理论

    通过定义和说明，本文提出了一种新的解决方案来代表非概率性信念状态，并将其与概率理论进行比较，发现新理论在结构上类似于概率理论，但更容易实现，并且在某些方面更为简单。

    Mar, 2013

  • 一个基础信任函数逻辑

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

    Mar, 2023

  • 信念、知识和证据

    本文介绍了一种新的逻辑系统，它将经典认知领域中的相信和知识概念与一个概念证据相结合，从而满足了直觉原则 ` 证据导致相信和知识 '；该文的方法则是将这个新系统与内部真实性的 $S5$ 风格原理相结合，产生了一个模态系统 S5 和预示依存性的结合逻辑，使用直接的命题形式来模拟置信和知识。

    Apr, 2023

  • 主观性、贝叶斯主义和因果关系

    本文发现 Bayesian 概率论需要加入因果干预来模拟主体能动性，通过建立概率测度和博弈论模型来构建主体因果干预的抽象模型，以及随后的因果感知的例子。

    Jul, 2014

  • 贝叶斯心智理论中关于信念的语言基础

    通过对 Bayesian 心智模型的建模，该论文解释了人类相信陈述的语义，解释了人类对他人目标和信念的归属，并证明了心智理论对信念语义的重要性。

    Feb, 2024

  • 认知态度及其变化的质性理论

    该论文提出了一个关于代理人认知态度和动机类型推理的普遍的逻辑框架，它使我们能够表达多种相关概念，包括知识、信念、条件信念、欲望、条件欲望、偏好等，在此基础上，提出了具有选择机制和信念改变、欲望改变的动态运算符的两个扩展，并将前者应用于不完全信息下的单阶段博弈分析。

    Feb, 2021

  • Belnap-Dunn 逻辑下的信念函数更新

    本文研究如何通过 Belnap-Dunn 逻辑的框架语义来更新置信度函数，以应对不完整和矛盾的信息，扩展了概率测度和置信度函数的概念。

    May, 2022

  • 基于解释的信念修正：从极简主义向解释理解进发

    通过解释假设，本研究提出了一种基于解释的信念修订操作符，以试图更好地描述人们在解决信念不一致性时所采用的策略，并进行了两项人类参与研究以验证该方法。

    May, 2024

  • 迭代信念库修正：一种动态认知逻辑方法

    研究 AGM 信念修正，通过构造优先量图实现对 iterated 信念修正理论的很好的特征化，并提出在动态认识逻辑中的信念变化运算符的一种新的句法表示。

    Feb, 2019

  • 概率定理证明

    该论文提出了一种将概率论和第一阶逻辑相结合的方法，在有限域内具有 Herbrand 解释的情况下，定义了概率证明定理及其推广问题，然后提出了能够同时拥有图模型推理和一阶定理证明的完整能力的方法，并开发了一种高效算法。实验表明，当逻辑结构存在时，该算法远优于目前已有的方法。

    Feb, 2012