【摘要】：動(dòng)態(tài)認(rèn)知邏輯(DEL)是一種研究智能體認(rèn)知狀態(tài)變化的一般邏輯方法,不僅可以用于推理多智能體系統(tǒng)(MAS)中的靜態(tài)認(rèn)知性質(zhì),還可用于推理包含知識(shí)更新的MAS系統(tǒng)中的動(dòng)態(tài)認(rèn)知性質(zhì)。動(dòng)態(tài)認(rèn)知邏輯已在認(rèn)知難題求解、認(rèn)知規(guī)劃、安全通信協(xié)議、博弈論等多智能體系統(tǒng)研究領(lǐng)域得到越來(lái)越深入的應(yīng)用。本文面向一類(lèi)多智能體認(rèn)知難題,提出并實(shí)現(xiàn)一種擴(kuò)展認(rèn)知計(jì)算的μ演算邏輯及其符號(hào)化模型檢測(cè)算法,實(shí)驗(yàn)結(jié)果表明我們方法的性能優(yōu)勢(shì)顯著。本文研究成果概括如下:首先設(shè)計(jì)一種建模描述語(yǔ)言,用于刻畫(huà)具有線性認(rèn)知公告行為的認(rèn)知難題;提出一種融合狀態(tài)遷移關(guān)系和智能體認(rèn)知關(guān)系的認(rèn)知公告形式模型;設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)模型構(gòu)造算法,將含有認(rèn)知公告行為的建模描述語(yǔ)言自動(dòng)轉(zhuǎn)化為相應(yīng)的認(rèn)知公告模型;通過(guò)在標(biāo)準(zhǔn)μ演算邏輯上擴(kuò)展認(rèn)知算子,提出一種新的認(rèn)知μ演算邏輯,并在認(rèn)知公告模型上提出了認(rèn)知μ演算邏輯語(yǔ)義;設(shè)計(jì)并實(shí)現(xiàn)基于有序二元決策圖OBDD的認(rèn)知μ演算符號(hào)化模型檢測(cè)算法;成功地對(duì)泥孩子、和與積這兩個(gè)MAS的經(jīng)典認(rèn)知難題進(jìn)行建模、求解、以及相關(guān)時(shí)態(tài)認(rèn)知性質(zhì)的驗(yàn)證。本文研究成果融合了μ演算、靜態(tài)認(rèn)知、認(rèn)知公告(一種動(dòng)態(tài)認(rèn)知邏輯)的建模與驗(yàn)證方法。所提出的認(rèn)知μ演算的時(shí)態(tài)表達(dá)能力不僅強(qiáng)于目前主流的時(shí)態(tài)認(rèn)知模型檢測(cè)工具M(jìn)CK、MCMAS和MCTK,而且也是動(dòng)態(tài)認(rèn)知模型檢測(cè)工具DEMO不具備的。上述兩個(gè)認(rèn)知難題的實(shí)驗(yàn)表明,本文方法的求解效率指數(shù)級(jí)優(yōu)于基于DEMO的方法。
[Abstract]:Dynamic cognitive logic (DEL) is a general logical method to study the change of agent cognitive state, which can not only be used to reason the static cognitive properties of multi-agent system (MAS). It can also be used to infer dynamic cognitive properties in MAS systems containing knowledge updates. Dynamic cognitive logic has been more and more deeply applied in the research fields of cognitive problem solving, cognitive planning, secure communication protocol, game theory and so on. In this paper, aiming at a class of multi-agent cognitive problems, a 渭 arithmetic logic and its symbolic model detection algorithm for extended cognitive computing are proposed and implemented. The experimental results show that our method has significant performance advantages. The research results of this paper are summarized as follows: firstly, a modeling description language is designed to describe the cognitive problems with linear cognitive announcement behavior, and a cognitive announcement formal model combining state transition relationship and agent cognitive relationship is proposed. A model construction algorithm is designed and implemented, which automatically converts the modeling description language with cognitive announcement behavior into the corresponding cognitive announcement model. By extending the cognitive operator in the standard 渭 logic, a new cognitive 渭 logic is proposed, and the cognitive 渭 logic semantics is proposed on the cognitive announcement model. The symbolic model detection algorithm of cognitive 渭 calculation based on ordered binary decision graph OBDD is designed and implemented, and the classical cognitive problems of mud child, sum and product are successfully modeled, solved and verified by the relevant temporal cognitive properties. The research results of this paper combine the modeling and verification methods of 渭 calculus, static cognition and cognitive announcement (a dynamic cognitive logic). The temporal expression ability of the proposed cognitive 渭 calculus is not only stronger than the current mainstream temporal cognitive model detection tools MCK,MCMAS and MCTK, but also not available to the dynamic cognitive model detection tool DEMO. The experiments of the above two cognitive problems show that the proposed method is superior to the DEMO-based method in solving the efficiency index.
【學(xué)位授予單位】：華僑大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類(lèi)號(hào)】：TP18

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 駱翔宇;譚征;蘇開(kāi)樂(lè);吳立軍;;一種基于認(rèn)知模型檢測(cè)的Web服務(wù)組合驗(yàn)證方法[J];計(jì)算機(jī)學(xué)報(bào);2011年06期

2 駱翔宇;蘇開(kāi)樂(lè);顧明;;一種求解認(rèn)知難題的模型檢測(cè)方法[J];計(jì)算機(jī)學(xué)報(bào);2010年03期

3 郭美云;;從PAL看認(rèn)知邏輯的動(dòng)態(tài)轉(zhuǎn)換[J];自然辯證法研究;2006年01期

4 蘇開(kāi)樂(lè),駱翔宇,呂關(guān)鋒;符號(hào)化模型檢測(cè)CTL[J];計(jì)算機(jī)學(xué)報(bào);2005年11期

5 劉瑞勝,孫吉貴,劉敘華;認(rèn)識(shí)邏輯(1):關(guān)于知識(shí)和信念的邏輯框架[J];計(jì)算機(jī)學(xué)報(bào);1998年07期

相關(guān)博士學(xué)位論文 前4條

1 吳梅紅;基于動(dòng)態(tài)認(rèn)知邏輯的多主體系統(tǒng)知識(shí)推理研究[D];廈門(mén)大學(xué);2009年

2 駱翔宇;多智能體系統(tǒng)的符號(hào)模型檢測(cè)[D];中山大學(xué);2006年

3 郭美云;帶有群體知識(shí)的動(dòng)態(tài)認(rèn)知邏輯[D];北京大學(xué);2006年

4 于江濤;多智能體模型、學(xué)習(xí)和協(xié)作研究與應(yīng)用[D];浙江大學(xué);2003年

，

本文編號(hào)：2474315