Updating Belief in Agent Action-Belief Model
Agent动作信念模型中的信念更新

In the paper,updating belief of which belief is characteristic of fuzzy under the framework of Action-Belief model,was resolved by world closeness function approach,and two properties of the approach were discussed: the success updating condition,the limitation result of updating.Finally,the conclusion that the approach is one of the extensions of FORBUS updating approach,was given in theorem form.From the point of theory,problems of world distance and world closeness arising in the course of extending classic finite Kripke world to unlimited case,were settled in the paper,meanwhile,as viewed from application,the approach can be applied not only to updating fuzzy belief but also to updating fuzzy knowledge.