偷拍区小说区综合区,亚洲AV无码成人精品区蜜桃,午夜亚洲aⅤ无码高潮片

內(nèi)容簡介

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

作者簡介

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

圖書目錄

第0章預(yù)備知識
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 相對反思的一致性
5 S-膨脹的再認(rèn)識
第7章幾個重要的非單調(diào)模態(tài)邏輯
1 非單調(diào)邏輯N
2 非單調(diào)邏輯KD45和Sw5
3 自識邏輯
4 與單調(diào)模態(tài)邏輯的對應(yīng)
5 對反思的限制
6 與缺省邏輯的互譯
第8章限定邏輯
0 經(jīng)典二階邏輯
1 直觀思想
2 謂詞限定邏輯
3 公式限定邏輯
4 二階限定邏輯
5 非遞歸的限定邏輯
6 個體域限定邏輯
7 逐點(diǎn)限定邏輯
參考文獻(xiàn)
后記