比较了置信修正中三种最常见的状态表示方式：显式表示、按级别表示和按历史记录表示的差异，并研究了它们之间的联系与区别。

May, 2023

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

Nov, 2002

传统机器教学中，概念的教学受到其多种等价表示的影响。本文通过研究各种教学方案，分析了表达方式和证据集大小对教学效果的影响，结果显示 Greedy 方案比 Eager 方案更有效，但两者都无法达到最优。对于 P3 程序而言，证据集通常比其识别的程序更小，这为从示例进行机器教学提供了有意义的解释。

Jan, 2024

本研究提出了一种称为可接受修订的算子，构成了一种更小的算子组，它包括了 Darwiche-Pearl 算子、Nayaks 的词典排序修订算子、以及一种新的被称为 restrained revision 的算子，并演示 restrained revision 是最保守的算子之一。同时，本研究提出了建立一种合理的方法，以选择不同情境下的适当修订算子，并讨论了未来的工作。

Sep, 2011

本文研究了基于推理问题的相关性，探讨了语法和语义两种基本独立性形式，并讨论了它们的特点和缺陷，同时考虑了遗忘问题，提出了一种基于简化推理的知识库提取方法。

Jun, 2011

在三值逻辑的框架下，我们研究了条件的复合概率定理以及其他基本性质，在分析了多个三值逻辑的迭代条件的基础上，引入了满足复合预期定理和一些理想性质的迭代条件作为合适的随机量，并验证了两个推广版本的贝叶斯法则在迭代条件中的有效性，最后发现只有近期由 Gilio 和 Sanfilippo 在条件随机量的设置中开发的迭代条件才满足所有的基本性质。

Aug, 2023

理想的摘要模型应该能推广到新的值得摘要的内容，而不需要死记参考训练摘要，我们提出了一种细粒度的评估协议，通过基于参考测试摘要与训练摘要之间的词汇相似性将测试集划分，限制训练摘要中的词汇重复能够防止死记硬背，并提高摘要模型的泛化性。

Nov, 2023

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

Oct, 2023

定义了一个有理的扩展理论：任何有限常规默认集Ｄ的词典闭包；此闭包是常规默认的有理扩展，它可以提供比Ｒ. Reiter 提出的逻辑更加丰富的常规默认逻辑，且不需要考虑非正常默认。

Mar, 2002

本文探讨了一种更新非单调知识库的方法，并在理论改变和非单调性推理的领域中考虑了更新和修订算子的公设及其新属性，从而提出了一种更好的因果拒绝原则。研究还包括我们提出的语义的细化。同时，我们还研究了与其他方法的关系，证明了我们的方法等同于 Buccafurri 等人的继承程序，并且与某些类的动态逻辑程序一致。最后，文章还着重探讨了我们的方法的计算复杂度，并概述了更新语义及其细化如何在现有逻辑编程引擎上实现。

Sep, 2001