人工智能邏輯講義

內(nèi)容概要

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

作者簡介

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

書籍目錄

第0章  預(yù)備知識  1  集合論初步  2  句子邏輯初步  3  謂詞邏輯初步第1章  一般缺省邏輯  1  經(jīng)典句子邏輯中的單調(diào)推理規(guī)則  2  缺省推理與缺省理論的基本性質(zhì)  3  缺省理論的擴張  4  缺省規(guī)則的良序化  5  弱擴張與部分擴張  6  量化邏輯第2章  子缺省邏輯  1  正規(guī)缺省邏輯  2  半正規(guī)缺省邏輯第3章  缺省邏輯的變種（上）  1  正當缺省邏輯  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-膨脹的再認識第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  逐點限定邏輯參考文獻后記

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    人工智能邏輯講義 PDF格式下載

---