發(fā)布時間：2024-04-20 04:30

　　敵友邏輯(van der Hoek, et al., 2018)采用結(jié)構(gòu)平衡理論的視角對社會網(wǎng)絡(luò)的動態(tài)變化進行了刻畫。在一個穩(wěn)定的社會網(wǎng)絡(luò)中,主體之間沒有理由改變當下的關(guān)系,而不穩(wěn)定網(wǎng)絡(luò)則通常會向穩(wěn)定網(wǎng)絡(luò)演進。敵友邏輯基于分支時間邏輯CTL,其中每條時間線表示網(wǎng)絡(luò)的一個演進過程。本文前半部分探討敵友邏輯的可靠且完全的公理系統(tǒng)。敵友邏輯的模型檢測、有效性和可滿足性檢測問題的計算復雜性已知都是PSPACE完全的。本文后半部分介紹敵友邏輯模型檢測的程序?qū)崿F(xiàn)。

【文章頁數(shù)】：16 頁

【文章目錄】：
1 引言
2 敵友邏輯
    2.1 網(wǎng)絡(luò)與穩(wěn)定性
    2.2 語言和語義
3 公理系統(tǒng)
4 程序?qū)崿F(xiàn)
    4.1 網(wǎng)絡(luò)的實現(xiàn)
        4.1.1 生成和表示
        4.1.2 評分計算
        4.1.3 后繼
    4.2 語法檢測
    4.3 模型檢測、有效性檢測和可滿足性檢測的實現(xiàn)
5 結(jié)語



本文編號：3958880