發(fā)布時間：2020-09-01 14:44

　　 社會網(wǎng)絡(luò)分析不僅是重要的社會學(xué)理論,更是當前相關(guān)領(lǐng)域的研究熱點。社會網(wǎng)絡(luò)的結(jié)構(gòu)平衡性是其重要性質(zhì)。用于分析與研究社會平衡的動態(tài)分析理論為結(jié)構(gòu)平衡理論。結(jié)構(gòu)平衡理論最初被用于衡量主體認知結(jié)構(gòu)的平衡特性,而后由于圖論方法的引入,逐漸發(fā)展為一個高度形式化且適用面廣的動態(tài)社會結(jié)構(gòu)分析理論。近年來,邏輯學(xué)家們對社會網(wǎng)絡(luò)領(lǐng)域產(chǎn)生了很大的興趣并對此做了不少工作。不過,其中大部分研究工作關(guān)注網(wǎng)絡(luò)中的信息與知識交換及其所造成的影響,而只有敵友邏輯關(guān)注社會網(wǎng)絡(luò)自身的結(jié)構(gòu)特征。敵友邏輯是一個基于結(jié)構(gòu)平衡理論視角,用于研究社會網(wǎng)絡(luò)結(jié)構(gòu)性質(zhì)與動態(tài)變化的時態(tài)邏輯。敵友邏輯以計算樹邏輯為基礎(chǔ),其中每條時間線表示社會網(wǎng)絡(luò)的一個動態(tài)變化過程。雖然敵友邏輯的模型檢測與有效性檢測問題被證明為PSPACE-完全,但前人并未給出相應(yīng)的公理系統(tǒng)。本文首先依據(jù)描述方法對敵友邏輯進行公理化,并證明該公理系統(tǒng)具有可靠性與強完全性。而后,本文依據(jù)考慮關(guān)系強度的平衡理論研究,定義了強度網(wǎng)絡(luò)及相應(yīng)的穩(wěn)定性與平衡性,并以敵友邏輯為基礎(chǔ),建立了考慮關(guān)系強度的敵友邏輯。再后,本文不僅通過規(guī)約及相應(yīng)算法證明了考慮關(guān)系強度的敵友邏輯的模型檢測問題為PSPACE-完全,還使用類似的描述方法,建立了考慮關(guān)系強度敵友邏輯的公理系統(tǒng),并證明其可靠性與強完全性。最后,本文通過Python編程語言,編寫了考慮關(guān)系強度的敵友邏輯的模型檢測工具。
【學(xué)位單位】：浙江大學(xué)
【學(xué)位級別】：碩士
【學(xué)位年份】：2019
【中圖分類】：B815.5

【相似文獻】

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

1 霍書全;;普萊爾混合時態(tài)邏輯的思想基礎(chǔ)[J];邏輯學(xué)研究;2016年02期

2 馮彥波;;論時態(tài)邏輯的新發(fā)展[J];鄭州航空工業(yè)管理學(xué)院學(xué)報(社會科學(xué)版);2008年04期

3 包磊;;運用命題時態(tài)邏輯解析“半費之訟”[J];三峽大學(xué)學(xué)報(人文社會科學(xué)版);2007年S2期

4 張廣泉,孫敏;時態(tài)邏輯的比較與分析[J];渝州大學(xué)學(xué)報(自然科學(xué)版);1999年02期

5 韓俊剛;硬件設(shè)計的形式驗證與時態(tài)邏輯[J];計算機輔助設(shè)計與圖形學(xué)學(xué)報;1990年01期

6 張駿林;李江宏;;用于協(xié)議描述及驗證的時態(tài)邏輯[J];計算機應(yīng)用與軟件;1992年02期

7 唐同誥;帶等詞的一階時態(tài)邏輯系統(tǒng)[J];復(fù)旦學(xué)報(自然科學(xué)版);1985年02期

8 劉清;建立在時態(tài)邏輯公式演繹基礎(chǔ)上的程序設(shè)計[J];計算機應(yīng)用與軟件;1989年01期

9 孫傳宏;郭志剛;;Be的時態(tài)邏輯形式[J];福建外語;1989年Z2期

10 劉清;;時態(tài)邏輯與程序設(shè)計語言[J];計算機科學(xué);1989年05期

相關(guān)會議論文 前7條

1 陳玉泉;陳宣;陸汝占;;內(nèi)涵時態(tài)邏輯的語義解釋系統(tǒng)[A];自然語言理解與機器翻譯——全國第六屆計算語言學(xué)聯(lián)合學(xué)術(shù)會議論文集[C];2001年

2 費定舟;;基于分枝時間框架的通信系統(tǒng)的BDI模型[A];2005年全國理論計算機科學(xué)學(xué)術(shù)年會論文集[C];2005年

3 張建軍;羅景仁;;一個新的時態(tài)邏輯系統(tǒng)和DB形式化描述方法[A];第九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集(上)[C];1990年

4 田國會;劉長有;徐心和;;離散事件動態(tài)系統(tǒng)理論的時態(tài)邏輯研究方法[A];1996中國控制與決策學(xué)術(shù)年會論文集[C];1996年

5 王飛明;胡元闖;董榮勝;;模型檢測中狀態(tài)爆炸及其優(yōu)化策略研究[A];廣西計算機學(xué)會2008年年會論文集[C];2008年

6 劉新;鄒麗;;直覺模糊時態(tài)邏輯[A];模糊集理論與應(yīng)用——98年中國模糊數(shù)學(xué)與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

7 田國會;劉長有;徐心和;;實時離散事件系統(tǒng)的TOOCPN/RTTL研究框架[A];1997中國控制與決策學(xué)術(shù)年會論文集[C];1997年

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

1 時慧嫻;模態(tài)邏輯的計量化研究及其在模型檢驗中的應(yīng)用[D];陜西師范大學(xué);2013年

2 呂嘉;基于開放時態(tài)邏輯的面向方面程序形式化驗證和模塊推理研究[D];浙江大學(xué);2009年

3 王善俠;極小非正規(guī)時態(tài)邏輯研究[D];西南大學(xué);2017年

4 徐偉峰;多主體模型定量驗證方法研究[D];吉林大學(xué);2014年

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

1 駱犀羚;社會平衡的時態(tài)邏輯與程序?qū)崿F(xiàn)[D];浙江大學(xué);2019年

2 孫洋;關(guān)于帶“現(xiàn)在”算子的時態(tài)邏輯研究[D];西南大學(xué);2018年

3 湯飛;STALLOY：一種時空建模與分析語言[D];華東師范大學(xué);2017年

4 張紅軍;一類對象Petri網(wǎng)建模與驗證方法研究[D];鄭州大學(xué);2006年

5 張麗;時態(tài)公開宣告邏輯初探[D];西南大學(xué);2009年

6 趙瑞芳;基于時態(tài)邏輯的XQuery樹模式優(yōu)化[D];北京工業(yè)大學(xué);2016年

7 段廷銀;基于云計算平臺的時態(tài)邏輯模型檢測算法研究與實現(xiàn)[D];鄭州大學(xué);2016年

8 劉冬寧;時態(tài)邏輯及其對知識庫的構(gòu)架與研究[D];廣東工業(yè)大學(xué);2004年

9 楊志;基于吳方法的高層次模型檢驗方法研究[D];哈爾濱工程大學(xué);2008年

10 劉榮勝;離散實時Mobile Ambients[D];湖南師范大學(xué);2007年

本文編號：2809875