论文部分内容阅读
信念修正理论是目前人工智能的一个重要的研究方向，很多专家学者对此进行了广泛而深入的研究，并且根据不同的应用领域的不同需要，提出了许多信念修正的方法，其中最具有代表性的就是AGM理论。本文在AGM理论和单核收缩的基础上，讨论了被收缩的对象是一般语句集合的信念收缩理论。具体而言，主要完成以下工作： (1)给出包-核收缩算子的构造及其公理假设系统并证明了相应的表示定理。 (2)建立了饱和的包-核收缩算子和平滑的包-核收缩算子的表示定理并证明了两者的等价性，然后讨论了后者和基于部分交收缩的包收缩算子之间的关系。 (3)给出选择-核收缩算子的构造并且给出相应的公理假设系统及表示定理，然后讨论了子核收缩算子以及相应的表示定理。