计算机应用 ›› 2010, Vol. 30 ›› Issue (07): 1892-1895.
• 人工智能 • 上一篇 下一篇
刘一松1,桑丘2,刘朗宇3
收稿日期:
修回日期:
发布日期:
出版日期:
通讯作者:
基金资助:
Received:
Revised:
Online:
Published:
摘要： 信念修正中的加强修正算法在保留低秩非矛盾信念时存在不足，流演算由于其表示公式的局限，无法较好的与信念修正结合来进行行动推理。针对以上不足，提出了依赖信念修正算法和Strategy-Axiom-Reasoning模型。该算法满足Ind假设并且较好的保留了条件信念和低秩非矛盾信念，SAR模型继承并改进了流演算的公理系统，用公式集表示信念集，较好的实现了与信念修正的结合。最后将依赖信念修正算法运用到SAR模型中，用实验证明了其可行性。
关键词: 信念修正, 条件信念, 信念集, 流演算, 行动推理
Abstract: Reinforcement revision of Belief Revision exists the deficiency for maintaining the low rank belief which is consistent with the old Beliefs; fluent calculus integrated with Belief Revision cannot reason action well since it cannot represent Formula. Dependence Belief Revision and Strategy-Axiom-Reasoning model is given to resolve the problem above.DBR based on Ind postulates well maintains the condition beliefs together with low rank non contradiction Belief; SAR represented belief set with formula set inherits and improves the axioms of fluent calculus and integrates well to Belief Revision. Finally apply DBR to SAR model and verify the feasibility with experiment.
Key words: belief revision, condition beliefs, belief set, fluent calculus, reason action
刘一松 桑丘 刘朗宇. 智能体行动推理中的信念修正[J]. 计算机应用, 2010, 30(07): 1892-1895.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://www.joca.cn/CN/
http://www.joca.cn/CN/Y2010/V30/I07/1892
