论文部分内容阅读
信念修正中的加强修正算法在保留低秩协调信念时存在不足,流演算由于其表示公式的局限,无法较好地与信念修正结合来进行行动推理。针对以上不足,提出了依赖信念修正算法和Strategy-Axiom-Reasoning(SAR)模型。该算法满足Ind假设并且较好地保留了条件信念和低秩非矛盾信念,SAR模型继承并改进了流演算的公理系统,用公式集表示信念集,较好地实现了与信念修正的结合。最后将依赖信念修正算法运用到SAR模型中,用实验证明了其可行性。