復(fù)雜網(wǎng)絡(luò)中搜索策略的邏輯分析及算法研究.pdf

1、本論文研究具有十分明顯的跨學(xué)科特征，從理論方面看，通過邏輯學(xué)、人工智能與復(fù)雜網(wǎng)絡(luò)的交叉研究，結(jié)合模態(tài)邏輯、BDI邏輯、LORA等理論，對(duì)復(fù)雜網(wǎng)絡(luò)搜索過程，參與搜索者的行為以及狀態(tài)進(jìn)邏輯分析與行形式化刻畫，對(duì)于建立能處理復(fù)雜網(wǎng)絡(luò)中搜索過程的智能化理論體系具有重要意義。從應(yīng)用方面看，基于邏輯理論研究復(fù)雜網(wǎng)絡(luò)中的搜索過程將產(chǎn)生具有重要應(yīng)用價(jià)值的程序與系統(tǒng)，這將為解決當(dāng)前現(xiàn)實(shí)生活中的社會(huì)網(wǎng)絡(luò)，計(jì)算機(jī)網(wǎng)絡(luò)，萬維網(wǎng)，交通網(wǎng)絡(luò)等領(lǐng)域中的信息搜索智能化

2、的問題提供重要的參考價(jià)值，因此具有廣闊的研究前景。
　　本文研究復(fù)雜網(wǎng)絡(luò)搜索中的比較典型的幾種算法，提出了一種新的BDM搜索算法與基于特定主題社交網(wǎng)絡(luò)搜索算法。對(duì)復(fù)雜網(wǎng)絡(luò)搜索過程進(jìn)行邏輯分析，從Agent切入復(fù)雜網(wǎng)絡(luò)，建立一種新的基于BDI Agent的復(fù)雜Agent網(wǎng)絡(luò)(CAN)模型與基于BDI邏輯的CAN搜索模型，然后考慮其上的搜索策略，進(jìn)而在一定程度上解釋基于BDI Agent的搜索過程的推理過程與描述，分析復(fù)雜Agent網(wǎng)

3、絡(luò)中的搜索Agent與服務(wù)Agent的理性選擇的邏輯基礎(chǔ)，提出了基于LORA的復(fù)雜Agent網(wǎng)絡(luò)的新一種智能搜索算法BMA的方案。本文的主要內(nèi)容如下：
　　(1)為了提高搜索效率，減少搜索代價(jià)，提出了一種新的BDM搜索算法與基于特定主題社交網(wǎng)絡(luò)搜索算法，并對(duì)其進(jìn)行了仿真實(shí)驗(yàn)與性能分析以及對(duì)搜索策略結(jié)果進(jìn)行了邏輯分析。
　　(2)本研究以一階謂詞模態(tài)邏輯為基礎(chǔ)，根據(jù)可能世界語義學(xué),給出了搜索過程與邏輯推理過程之間的關(guān)系，對(duì)復(fù)雜

4、網(wǎng)絡(luò)搜索狀態(tài)集進(jìn)行了刻畫，討論了與一階模態(tài)謂詞邏輯狀態(tài)集之間的關(guān)系。搜索策略中可能的所有網(wǎng)絡(luò)搜索狀態(tài)的集合都用一階模態(tài)謂詞邏輯刻畫并對(duì)搜索狀態(tài)特性進(jìn)行了分析。
　　(3)引用自然計(jì)算方法和 Agent的計(jì)算理論，提出了支持復(fù)雜網(wǎng)絡(luò)搜索過程的一種新的復(fù)雜Agent網(wǎng)絡(luò)(CAN)模型，并給出了CAN模型的實(shí)現(xiàn)思路和模型的形式化定義。該方法利用個(gè)體Agent模型描述與Agent節(jié)點(diǎn)相關(guān)的狀態(tài)和行為，并且討論復(fù)雜網(wǎng)絡(luò)與Agent之間相互作

5、用。
　　(4)借鑒個(gè)體Agent的BDI模型與群體Agent的BDO模型，構(gòu)建了基于BDI邏輯的復(fù)雜 Agent網(wǎng)絡(luò)搜索過程模型，從兩個(gè)層次分析了影響搜索過程的狀態(tài)因素：在個(gè)體層次主要研究了個(gè)體Agent建模、信念、愿望、意圖等思維屬性記憶與處理并基于 BDI Agent的推理過程與算法機(jī)制；在群體層主要研究基于宏觀描述的BDO Agent模型中Agent之間的復(fù)雜協(xié)作規(guī)律，其中主要考慮個(gè)體的單個(gè)屬性的聯(lián)合一體、集體承諾、規(guī)范等

6、群體現(xiàn)象。
　　(5)借鑒動(dòng)態(tài)邏輯與BDI邏輯基礎(chǔ)上擴(kuò)展的LORA邏輯,首先從網(wǎng)絡(luò)搜索狀態(tài)多樣性與Agent之間的協(xié)作過程的時(shí)間而變化的動(dòng)態(tài)性角度對(duì)復(fù)雜Agent網(wǎng)絡(luò)的搜索行為進(jìn)行描述，提出了基于LORA的復(fù)雜Agent網(wǎng)絡(luò)的多Agent協(xié)作搜索的搜索模型。為了解決復(fù)雜網(wǎng)絡(luò)智能搜索問題，在CAN網(wǎng)絡(luò)模型的基礎(chǔ)上，提出一種新的BMA搜索策略。該方法通過在網(wǎng)絡(luò)中部署一定數(shù)目的Agent，使其通過理性移動(dòng)和隨機(jī)移動(dòng)的方式轉(zhuǎn)發(fā)查詢請(qǐng)求，來