智能體行動(dòng)推理中的信念改變的研究.pdf

1、對(duì)于智能體而言，搜集世界信息的能力和搜集到新信息后修正原有信念的能力是非常重要的。信念改變包括信念更新和信念修正，是指改變智能體原有信念來(lái)接受更新，更準(zhǔn)確，更可靠，并且有可能與原來(lái)信念不一致的信息的過(guò)程。行動(dòng)推理的核心思想是任何引起系統(tǒng)狀態(tài)變化的因素都可以看作是行動(dòng)。信念改變和行動(dòng)推理已成為人工智能領(lǐng)域研究的兩個(gè)重要分支。
　　 在行動(dòng)推理中允許智能體修正信念對(duì)行動(dòng)推理系統(tǒng)而言是一種重要擴(kuò)展，然而之前的相關(guān)工作卻存在一些問(wèn)題或不

2、足。因此，本文從修正算法和行動(dòng)推理系統(tǒng)兩方面進(jìn)行改進(jìn)，然后將信念修正運(yùn)用到行動(dòng)推理中。主要工作和創(chuàng)新包括以下幾點(diǎn)：
　　 (1)對(duì)現(xiàn)有的主要信念修正假設(shè)作了充分研究和分析，選擇出適合指導(dǎo)信念改變算法的假設(shè)組合作為研究改變算法的基礎(chǔ)。對(duì)目前主要的修正算法進(jìn)行了研究，并指出了其存在的不足。
　　 (2)提出和實(shí)現(xiàn)了依賴(lài)信念改變算法。依賴(lài)信念改變算法是在依賴(lài)信念集的基礎(chǔ)上，以恢復(fù)遺棄信念集的方式完成迭代信念修正和更新。更新算法

3、滿(mǎn)足Ind，C1，C2，KM假設(shè)，彌補(bǔ)了加強(qiáng)修正算法的不足。用實(shí)例驗(yàn)證了依賴(lài)信念改變算法滿(mǎn)足假設(shè)的情況以及對(duì)加強(qiáng)修正算法的改進(jìn)。
　　 (3)提出基于依賴(lài)信念改變的行動(dòng)推理模型ARBC。該模型使用公式表示信念，用公式的集合表示信念集，用依賴(lài)信念修正算法進(jìn)行信念修正，用依賴(lài)信念更新算法進(jìn)行行動(dòng)推理。在層次結(jié)構(gòu)上，分為決策層、公理層和推理層，分別表示進(jìn)行規(guī)劃和設(shè)計(jì)時(shí)所采取的策略，運(yùn)行所遵循的公理和進(jìn)行基本推理的推理機(jī)制，通過(guò)實(shí)例驗(yàn)證