基于主體互動的信息變化邏輯研究

　　該項目成果名為《基于主體互動的信息變化邏輯研究》，分為上下兩篇。上篇從認(rèn)知邏輯出發(fā)，主要考察以知識為載體的信息變化規(guī)律。具體涉及的內(nèi)容有多主體認(rèn)知邏輯、動態(tài)邏輯、動態(tài)認(rèn)知邏輯以及一類程序性知識的哲學(xué)邏輯描述（知道行動的一種表述）。下篇主要從以信念為載體的信息變化出發(fā)，具體涉及的內(nèi)容有經(jīng)典信念修正理論、有窮依賴網(wǎng)絡(luò)理論、邏輯博弈、博弈邏輯、聯(lián)盟邏輯以及社會軟件中的邏輯。

暫缺《基于主體互動的信息變化邏輯研究》作者簡介