Sep, 2011

合理和克制的修正

PDF
TL;DR本研究提出了一种称为可接受修订的算子，构成了一种更小的算子组，它包括了 Darwiche-Pearl 算子、Nayaks 的词典排序修订算子、以及一种新的被称为 restrained revision 的算子，并演示 restrained revision 是最保守的算子之一。同时，本研究提出了建立一种合理的方法，以选择不同情境下的适当修订算子，并讨论了未来的工作。
belief revisiondarwiche-pearl operatorrestrained revisionlexicographic revisionadmissible revision
发现论文，激发创造
  • 自然修订是有条件修订的

    自然修正尽可能少地改变信念，基于条件真相的简单公式将自然修正扩展到条件真相的条件式中，基于最小变化、无差异性和天真的基本原则，自然修正将变化限制在当前条件中，与不受限制的修正进行比较并确定当前条件是什么。

    Sep, 2023

  • 逻辑程序修订作为命题修订的扩展特性表征

    本文提出了一种构建 LP 修订算子的细致方法，并以广义逻辑程序为例，证明了所有合理的广义逻辑程序修订算子均源自满足 AGM 公理的命题修订算子。同时，将广义逻辑程序修订算子嵌入布尔格结构中，并引入两个类别的广义逻辑程序修订算子，并将结果扩展到了多种形式的逻辑程序的修订算子。

    Jun, 2015

  • 基于球体系统的两级可信度限制修订系统

    本研究提出了基于 Grove 的球系统的两级可信度有限修订运算的构造，并对这些运算进行了公理化描述。

    Jul, 2023

  • 命题决策图中的信念修正

    通过语法特征，我们为 Sentential Decision Diagrams（SDDs）推导出具有一般性的修订算法，并呈现了一个特殊的程序，以便于修订任务的直接操作。

    Jan, 2022

  • 对 Darwiche 和 Pearl 的迭代信念更新假设进行研究

    通过基于信念状态的 KM 经典公设修改以及将经典迭代信念修订的若干公设移植到迭代信念更新中，本文提出了解决 Rodrigues 方法不满足迭代信念更新基本要求的方法，并根据偏序关系提供了每个提出的公设的确切语义特征。最后，本文分析了上述迭代公设与信念更新中的 KM 公设之间的兼容性。

    Oct, 2023

  • 我们是否能够忘记学习的方式？迭代信念修正中的信仰冗余

    信息获取方式可能变得无关紧要，而相同信息的多次确认可能会导致特定修订变得多余，本文给出了一系列词典修订的冗余的必要和充分条件，词典修订不仅在自身上是相关的，还因为它们的序列是表示迭代修订过程状态的最紧凑机制之一。

    Feb, 2024

  • 认知偏差与信念修正

    通过三种认知偏差（证实偏见，框架偏见和锚定偏见）的形式化，我们研究了它们对三种常见信念修订方法（条件化，词典修订和最小修订）的影响，并评估了其在随机场景中的表现和对真相跟踪的可靠性。

    Jul, 2023

  • 将 Harper 身份延伸至迭代信念更改

    本文将单步改变延申至迭代减少从而定义了收缩操作，通过一系列的运算子实现基于迭代修正的迭代缩小规则，并探讨收缩操作的可行性和约束。

    Apr, 2016

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

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

    Feb, 2019

  • 非确定性代数重写为伴随

    提出一般模型理论语义学来处理重写，利用预排序代数模型理论来处理具有不同排序的代数。在这个框架下，将重写在任意代数上进行特征化，使用该结果证明了基于非确定性编程的 Maude 和 CafeOBJ 的抽象计算模型的声音和完整性，并在 pushout-based 模块化技术的上下文中为代数重写开发了组成性结果。

    Apr, 2022