本研究提出了一种称为可接受修订的算子,构成了一种更小的算子组,它包括了 Darwiche-Pearl 算子、Nayaks 的词典排序修订算子、以及一种新的被称为 restrained revision 的算子,并演示 restrained revision 是最保守的算子之一。同时,本研究提出了建立一种合理的方法,以选择不同情境下的适当修订算子,并讨论了未来的工作。
Sep, 2011
本文探讨了一种通过借鉴信仰更新领域的成果来解决更新Logic程序的问题的方法,证明了一种表示定理并定义了一种特定操作,从而更好地管理Logic程序的演变。
Jun, 2013
本文提出了一种构建LP修订算子的细致方法,并以广义逻辑程序为例,证明了所有合理的广义逻辑程序修订算子均源自满足AGM公理的命题修订算子。同时,将广义逻辑程序修订算子嵌入布尔格结构中,并引入两个类别的广义逻辑程序修订算子,并将结果扩展到了多种形式的逻辑程序的修订算子。
Jun, 2015
本文将单步改变延申至迭代减少从而定义了收缩操作,通过一系列的运算子实现基于迭代修正的迭代缩小规则,并探讨收缩操作的可行性和约束。
Apr, 2016
研究AGM信念修正,通过构造优先量图实现对iterated信念修正理论的很好的特征化,并提出在动态认识逻辑中的信念变化运算符的一种新的句法表示。
Feb, 2019
通过语法特征,我们为Sentential Decision Diagrams(SDDs)推导出具有一般性的修订算法,并呈现了一个特殊的程序,以便于修订任务的直接操作。
Jan, 2022
本文介绍了将认识状态从一种视角转换为另一种视角的模型转换概念,并展示了如何通过这种方式实现信念修订。同时,研究了置信度变化算子与模型转换的交换条件。
Mar, 2022
本研究提出了基于Grove的球系统的两级可信度有限修订运算的构造,并对这些运算进行了公理化描述。
Jul, 2023
通过基于信念状态的KM经典公设修改以及将经典迭代信念修订的若干公设移植到迭代信念更新中,本文提出了解决Rodrigues方法不满足迭代信念更新基本要求的方法,并根据偏序关系提供了每个提出的公设的确切语义特征。最后,本文分析了上述迭代公设与信念更新中的KM公设之间的兼容性。
Oct, 2023
本研究探讨了在非有限逻辑中AGM信念收缩的计算性问题,揭示出大量不可计算的AGM收缩函数,显示出即使在限制理论的情况下,不可计算性依然存在。同时,研究发现了一类可计算的AGM收缩函数,用于线性时序逻辑(LTL),为相关知识的表示与推理提供了新的构造方法。
Sep, 2024