交錯(cuò)時(shí)序概率認(rèn)知邏輯在多Agent系統(tǒng)中的應(yīng)用.pdf

1、在多Agent系統(tǒng)中，為了盡可能細(xì)致的刻畫Agent合理的行為能力，學(xué)者提出了合作邏輯這類理論。所謂合作是指，多Agent系統(tǒng)中Agent個(gè)體保持和團(tuán)體完全相同的價(jià)值取向。多Agent合作邏輯是多Agent系統(tǒng)研究中一個(gè)新興方向,而用多Agent系統(tǒng)來(lái)闡述分布式系統(tǒng)是一個(gè)新領(lǐng)域。ATL用于表達(dá)在分布式系統(tǒng)中Agent之間的合作關(guān)系，具體來(lái)說(shuō)，ATL是CTL的擴(kuò)展，其中用合作模態(tài)詞代替路徑算子，使得Agent集合能合作實(shí)現(xiàn)某些動(dòng)作，體現(xiàn)了

2、系統(tǒng)的智能化。
　　 目前模型檢測(cè)多Agent 系統(tǒng)用時(shí)序邏輯和認(rèn)知邏輯比較多，但是兩者的結(jié)合還不多。
　　 本文主要是對(duì)ATL 系統(tǒng)在知識(shí)和思維狀態(tài)方面作了一些研究，主要包括：
　　 首先，我們介紹了ATEL。該邏輯在ATL的基礎(chǔ)上加入了描述Agent 知識(shí)的算子，具有刻畫單個(gè)Agent 知識(shí)的能力。我們討論了ATEL的公理系統(tǒng)及其可靠性，并且具體刻畫了一個(gè)安全協(xié)議的模型，用模型檢測(cè)的工具進(jìn)行了驗(yàn)證。
　

3、　 其次，我們以ATEL 為基礎(chǔ)，建立了ATEPL。目的是為了描述和刻畫系統(tǒng)中的不確定性，其中重點(diǎn)是知識(shí)的不確定性。然后我們給出了該系統(tǒng)的公理和模型檢測(cè)算法，并把它應(yīng)用到具體的協(xié)議中，最后簡(jiǎn)單說(shuō)明了該系統(tǒng)的總體設(shè)計(jì)。
　　 最后，為了詳盡的描述Agent的思維狀態(tài)，我們?cè)贏TL基礎(chǔ)上加入了BDI算子，形成了新邏輯ATML。ATML 不僅可以描述Agent 之間的合作，還能刻畫Agent的認(rèn)知狀態(tài)，使得該系統(tǒng)更加智能化。然后我們