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

Feb, 2024

本文介绍了将认识状态从一种视角转换为另一种视角的模型转换概念，并展示了如何通过这种方式实现信念修订。同时，研究了置信度变化算子与模型转换的交换条件。

Mar, 2022

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

Feb, 2019

提出了一种基于有向无环层次的数学理论来表示知识的方法，介绍了 sesqui-pushout 重写的应用以及 python 库 ReGraph 在此理论中的实现方法。

Feb, 2020

将一个使用 DL L1 表达的本体 O1 重写为 Horn DL L2 中的本体 O2，以保证在任意数据集扩展时 O1 和 O2 是等价的。对存在 Horn 重写的本体进行研究，并识别出一类本体可以用多项式大小的 Horn 重写表示。

Apr, 2015

本文提出了基于范畴论概念的 C - 集合和双推出重写 (DPO) 的计划表示的一种替代方法，其可以有效处理支持所有层次域抽象的关于世界状态的结构化知识，提供了使用知识图谱和关系型数据库对世界状态和计划更新建模的形式语义，相较于经典规划表示，在处理隐含前提和效果上具有优越性，提供了一种更有结构的框架来建模和解决规划问题。

May, 2023

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

Feb, 2012

本文研究了知识库的冗余问题，探讨了检查 CNF 公式是否冗余的复杂度，及根据规定的大小检查是否存在一个不可简化的等价子集。同时，还讨论了不同等价定义下的冗余问题。

Nov, 2002

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

Jan, 2022

本文研究了非 Horn 本体的查询方法，使用 datalog 重写来回答 OWL 2 DL 本体查询的可能性等问题，并提出了一种基于分辨率的过程来解决 SHI 本体问题。

Apr, 2013