圖書標籤: 哲學 人工智能 邏輯 計算機科學 數理邏輯 巨囧(我X) CS
发表于2024-11-13
次協調邏輯與人工智能 pdf epub mobi txt 電子書 下載 2024
這本《次協調邏輯與人工智能(AI)》,第一編寫協調邏輯基本原理,包括曆史背景、現實原型、次協調邏輯命題演算,謂詞演算、道義演算以及在集閤論與辯證邏輯中的初步應用等等,由作者所寫。第二編一係列創新的次協調公理係統的絕大部分,大都齣自陳立自的手筆。其中有相乾、直覺主義、行為論、模糊、非單調等邏輯係統,還有辯證邏輯,我隻是提供瞭些背景思想,引導他的興趣轉移到辯證邏輯形式化上來;技術方麵隻有小部分工作纔屬於作者的,但在文字上作者作瞭很多改寫。陳自立認為,張清宇研究員的扣理邏輯公理係統或具有卡爾納普式的業密性和形式美,然而陳本人卻由於工程技術工作者的習慣性思維,迫使自己在建構形式體係時,時刻不忘記要麵嚮計算機編程和機器實現。第三編在計算機人工智能方麵的應用,則是由武漢大學計算機科學係硃福喜副教授擔任。他在這方麵有我年的工作經驗,充分消化瞭da Costa的有關文獻。本書作者的邏輯思想帶有明顯的非正統色彩,可能說我們特彆喜歡非經典邏輯並屬於邏輯學者聽“第三世界”。
評分
評分
評分
評分
次協調邏輯與人工智能 pdf epub mobi txt 電子書 下載 2024