| 智能体行动推理中的信念修正 |
| |
| 引用本文： | 刘一松,桑丘,刘朗宇.智能体行动推理中的信念修正[J].计算机应用,2010,30(7):1892-1895. |
| |
| 作者姓名： | 刘一松 桑丘 刘朗宇 |
| |
| 作者单位： | 1. 江苏大学计算机科学与通讯工程学院2. 江苏大学计算机学院3. 中铁六局 北京铁建公司直属第五项目部 |
| |
| 基金项目： | 江苏省高校自然科学指导性计划项目，江苏省社会发展科技计划项目 |
| |
| 摘 要： | 信念修正中的加强修正算法在保留低秩非矛盾信念时存在不足，流演算由于其表示公式的局限，无法较好的与信念修正结合来进行行动推理。针对以上不足，提出了依赖信念修正算法和Strategy-Axiom-Reasoning模型。该算法满足Ind假设并且较好的保留了条件信念和低秩非矛盾信念，SAR模型继承并改进了流演算的公理系统，用公式集表示信念集，较好的实现了与信念修正的结合。最后将依赖信念修正算法运用到SAR模型中，用实验证明了其可行性。
|
| 关 键 词： | 信念修正 条件信念 信念集 流演算 行动推理 |
| 收稿时间： | 2009-12-25 |
| 修稿时间： | 2010-03-07 |
Belief revision in intelligent Agent action reasoning |
| |
| LIU Yi-song,SANG Qiu,LIU Lang-yu.Belief revision in intelligent Agent action reasoning[J].journal of Computer Applications,2010,30(7):1892-1895. |
| |
| Authors: | LIU Yi-song SANG Qiu LIU Lang-yu |
| |
| 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. |
| |
| Keywords: | belief revision condition beliefs belief set fluent calculus reason action |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
