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

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

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

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

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

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

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