這本《次協調邏輯與人工智能（AI）》，第一編寫協調邏輯基本原理，包括曆史背景、現實原型、次協調邏輯命題演算，謂詞演算、道義演算以及在集閤論與辯證邏輯中的初步應用等等，由作者所寫。第二編一係列創新的次協調公理係統的絕大部分，大都齣自陳立自的手筆。其中有相乾、直覺主義、行為論、模糊、非單調等邏輯係統，還有辯證邏輯，我隻是提供瞭些背景思想，引導他的興趣轉移到辯證邏輯形式化上來；技術方麵隻有小部分工作纔屬於作者的，但在文字上作者作瞭很多改寫。陳自立認為，張清宇研究員的扣理邏輯公理係統或具有卡爾納普式的業密性和形式美，然而陳本人卻由於工程技術工作者的習慣性思維，迫使自己在建構形式體係時，時刻不忘記要麵嚮計算機編程和機器實現。第三編在計算機人工智能方麵的應用，則是由武漢大學計算機科學係硃福喜副教授擔任。他在這方麵有我年的工作經驗，充分消化瞭da Costa的有關文獻。本書作者的邏輯思想帶有明顯的非正統色彩，可能說我們特彆喜歡非經典邏輯並屬於邏輯學者聽“第三世界”。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有