一区二区无码日韩国产,中文字幕有码人妻一区,日韩电影免费在线观看网址

內(nèi)容簡(jiǎn)介

　　人工智能邏輯是用邏輯方法和成果研究智能主體如何處理知識(shí)的學(xué)問，主要研究主體的常識(shí)推理。這種推理具有非單調(diào)性和信息不完備性。本講義分別介紹了三種主要的人工智能邏輯：缺省邏輯、非單調(diào)模態(tài)邏輯和限定邏輯。缺省邏輯的主要思想是在經(jīng)典邏輯中增加刻畫常識(shí)推理的缺省推理規(guī)則，由此形成的擴(kuò)張概念刻畫了主體的信念集及其變化。非單調(diào)模態(tài)邏輯是用“知”和“信”那樣的認(rèn)識(shí)論算子研究主體的認(rèn)知狀態(tài)，用具有反思性質(zhì)的穩(wěn)定集概念刻畫主體的認(rèn)知狀態(tài)。限定邏輯的主要思想是合理限定通常的謂詞邏輯所描述的謂詞，從而合理限定這樣的謂詞指稱的類的外延以排除反常的對(duì)象，因此限定邏輯在形式上提供一般的方法來極小化任意選出的謂詞或者由謂詞構(gòu)成的公式，從而在直觀上刻畫了主體常識(shí)推理的能力。本講義內(nèi)容豐富，知識(shí)面廣，表達(dá)嚴(yán)謹(jǐn)，例題習(xí)題豐富，可作為高等學(xué)校邏輯學(xué)專業(yè)本科生、研究生教材使用。

作者簡(jiǎn)介

　　李小五，男，1955年1月生于浙江湖州，1986年在北京大學(xué)哲學(xué)系攻讀邏輯學(xué)研究生，1989年獲碩士學(xué)位，1992年調(diào)入中國(guó)社會(huì)科學(xué)院哲學(xué)所邏輯研究室，2002年8月進(jìn)入中山大學(xué)邏輯與認(rèn)知研究所。主要著作有《現(xiàn)代歸納邏輯與概率邏輯》、《無窮邏輯》（上下卷），還發(fā)表論文20余篇，合著5部、譯著1部?，F(xiàn)任中山大學(xué)邏輯與認(rèn)知研究所教授，中國(guó)社會(huì)科學(xué)院哲學(xué)所研究中心客座研究員。

圖書目錄

第0章預(yù)備知識(shí)
1 集合論初步
2 句子邏輯初步
3 謂詞邏輯初步
第1章一般缺省邏輯
1 經(jīng)典句子邏輯中的單調(diào)推理規(guī)則
2 缺省推理與缺省理論的基本性質(zhì)
3 缺省理論的擴(kuò)張
4 缺省規(guī)則的良序化
5 弱擴(kuò)張與部分?jǐn)U張
6 量化邏輯
第2章子缺省邏輯
1 正規(guī)缺省邏輯
2 半正規(guī)缺省邏輯
第3章缺省邏輯的變種（上）
1 正當(dāng)缺省邏輯
2 累積缺省邏輯
3 析取缺省邏輯
第4章缺省邏輯的變種（下）
1 優(yōu)先缺省邏輯
2 約束缺省邏輯
3 合理缺省邏輯
第5章模態(tài)邏輯基礎(chǔ)與穩(wěn)定理論
1 模態(tài)邏輯基礎(chǔ)
2 穩(wěn)定理論
第6章模態(tài)系統(tǒng)的膨脹理論
1 依賴語境的證明
2 S-膨脹及其基本性質(zhì)
3 極小模型語義
4 相對(duì)反思的一致性
5 S-膨脹的再認(rèn)識(shí)
第7章幾個(gè)重要的非單調(diào)模態(tài)邏輯
1 非單調(diào)邏輯N
2 非單調(diào)邏輯KD45和Sw5
3 自識(shí)邏輯
4 與單調(diào)模態(tài)邏輯的對(duì)應(yīng)
5 對(duì)反思的限制
6 與缺省邏輯的互譯
第8章限定邏輯
0 經(jīng)典二階邏輯
1 直觀思想
2 謂詞限定邏輯
3 公式限定邏輯
4 二階限定邏輯
5 非遞歸的限定邏輯
6 個(gè)體域限定邏輯
7 逐點(diǎn)限定邏輯
參考文獻(xiàn)
后記