基于BDI的協(xié)商公理體系多Agent系統(tǒng)模型.pdf

1、隨著計(jì)算機(jī)網(wǎng)絡(luò)及其基于網(wǎng)絡(luò)的分布計(jì)算技術(shù)的發(fā)展，Agent以及多Agent系統(tǒng)(MAS)的研究成為分布式人工智能(DAI)研究的一個(gè)熱點(diǎn).單Agent所擁有的知識(shí)和能力是有限的，而現(xiàn)實(shí)系統(tǒng)往往異常復(fù)雜，并且具有開(kāi)放、分布和動(dòng)態(tài)的特點(diǎn)，因此對(duì)MAS的研究迅速發(fā)展.在MAS的研究中，Agent之間的交互和推理是一個(gè)重要的研究?jī)?nèi)容，Agent之間的交互主要有三種形式：合作、協(xié)調(diào)、協(xié)商.其中協(xié)商是合作和協(xié)調(diào)的基礎(chǔ).　　本文針對(duì)多模態(tài)邏輯VSK

2、和BDI的特點(diǎn)，采用形式化方法對(duì)多Agent系統(tǒng)和多Agent系統(tǒng)的協(xié)商進(jìn)行了研究，具體研究工作包括以下幾個(gè)方面：　　首先，在對(duì)VSK邏輯和BDI邏輯研究的基礎(chǔ)上，結(jié)合兩種模型的特點(diǎn)，構(gòu)建了基于BDI的協(xié)商公理體系多Agent系統(tǒng)模型.該模型以VSK邏輯為基礎(chǔ)，進(jìn)一步刻畫(huà)了Agent的內(nèi)部狀態(tài)，主要涉及Agent的信念(belief)、愿望(desire)和意圖(intention)等思維屬性，使模型既能描述客觀環(huán)境，又能描述Agen