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