本文關(guān)鍵詞：認(rèn)知邏輯的動(dòng)態(tài)化理論

  更多相關(guān)文章： 認(rèn)知 邏輯 動(dòng)態(tài)化 理論

• 緒 言4-6
• 第一章 經(jīng)典認(rèn)知邏輯6-14
• 1.1 認(rèn)知邏輯簡(jiǎn)介6-7
• 1.2 經(jīng)典認(rèn)知邏輯系統(tǒng)7-11
• 1.3 普遍知識(shí)(信念)與共同知識(shí)(信念)11-13
• 1.4 分布知識(shí)(信念)13-14
• 第二章 認(rèn)知邏輯的動(dòng)態(tài)轉(zhuǎn)向和動(dòng)態(tài)認(rèn)知邏輯14-27
• 2.1 命題動(dòng)態(tài)邏輯 PDL 的基本算子15-16
• 2.2 簡(jiǎn)單的時(shí)序認(rèn)知邏輯 TEL16-18
• 2.3 行為更新的動(dòng)態(tài)認(rèn)知邏輯 DEL18-21
• 2.4 知識(shí)行為的動(dòng)態(tài)認(rèn)知邏輯 KAL21-23
• 2.5 認(rèn)知行為的動(dòng)態(tài)認(rèn)知邏輯 EAL23-27
• 第三章 動(dòng)態(tài)認(rèn)知邏輯的應(yīng)用例示及研究前景27-40
• 3.1 困擾認(rèn)知邏輯領(lǐng)域的“邏輯全能問題”27-30
• 3.2 分布式協(xié)議的動(dòng)態(tài)認(rèn)知邏輯30-35
• 3.3 認(rèn)知轉(zhuǎn)變與博弈邏輯35-38
• 3.4 尚未解決的問題38-40
• 結(jié)束語40-41
• 致 謝41-42
• 參考文獻(xiàn)42-44

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前6條

1 蔡曙山;認(rèn)知科學(xué)背景下的邏輯學(xué)——認(rèn)知邏輯的對(duì)象、方法、體系和意義[J];江海學(xué)刊;2004年06期

2 許滌非;單主體認(rèn)知邏輯的研究——全知性和真知性[J];湘潭師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2003年02期

3 弓肇祥;認(rèn)知邏輯的新發(fā)展[J];哲學(xué)動(dòng)態(tài);2002年03期

4 劉奮榮;與約翰·范·本瑟姆教授面對(duì)面——聆聽邏輯、語言和信息領(lǐng)域巨匠的聲音[J];哲學(xué)動(dòng)態(tài);2004年04期

5 李小五;什么是邏輯?[J];哲學(xué)研究;1997年10期

6 李小五;論邏輯語義[J];哲學(xué)研究;2003年07期