敵友邏輯(van der Hoek, et al., 2018)采用結(jié)構(gòu)平衡理論的視角對(duì)社會(huì)網(wǎng)絡(luò)的動(dòng)態(tài)變化進(jìn)行了刻畫。在一個(gè)穩(wěn)定的社會(huì)網(wǎng)絡(luò)中,主體之間沒有理由改變當(dāng)下的關(guān)系,而不穩(wěn)定網(wǎng)絡(luò)則通常會(huì)向穩(wěn)定網(wǎng)絡(luò)演進(jìn)。敵友邏輯基于分支時(shí)間邏輯CTL,其中每條時(shí)間線表示網(wǎng)絡(luò)的一個(gè)演進(jìn)過程。本文前半部分探討敵友邏輯的可靠且完全的公理系統(tǒng)。敵友邏輯的模型檢測(cè)、有效性和可滿足性檢測(cè)問題的計(jì)算復(fù)雜性已知都是PSPACE完全的。本文后半部分介紹敵友邏輯模型檢測(cè)的程序?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ò)的實(shí)現(xiàn)
        4.1.1 生成和表示
        4.1.2 評(píng)分計(jì)算
        4.1.3 后繼
    4.2 語法檢測(cè)
    4.3 模型檢測(cè)、有效性檢測(cè)和可滿足性檢測(cè)的實(shí)現(xiàn)
5 結(jié)語



本文編號(hào)：3958880