Agent动作信念模型中的信念更新

采用世界贴近函数方法解决了动作信念更新的问题,并讨论了这种信念更新方法的更新成功条件、更新结果有限性这两个方面的性质,最后以定理的形式给出其是FORBUS更新方法一种扩展的结论.

Updating Belief in Agent Action-Belief Model

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.