《次協(xié)調(diào)邏輯與人工智能》是一部由桂起權(quán)、陳立直、朱福喜合著的學(xué)術(shù)著作，由武漢大學(xué)出版社于2002年出版發(fā)行。全書共包含十四章及四個(gè)附錄，分三個(gè)部分詳細(xì)闡述了次協(xié)調(diào)邏輯的基礎(chǔ)原理、新的次協(xié)調(diào)邏輯系統(tǒng)構(gòu)建以及其在人工智能領(lǐng)域的應(yīng)用。
內(nèi)容簡(jiǎn)介
《次協(xié)調(diào)邏輯與人工智能》分為三編，分別探討了次協(xié)調(diào)邏輯的基本原理、新系統(tǒng)的創(chuàng)建以及在人工知識(shí)領(lǐng)域的應(yīng)用。第一編介紹了次協(xié)調(diào)邏輯的歷史背景、現(xiàn)實(shí)原型、命題演算、謂詞演算、道義演算等內(nèi)容，并討論了其在集合論與辯證邏輯中的初步應(yīng)用。這部分內(nèi)容主要由桂起權(quán)撰寫。第二編則集中展示了多個(gè)創(chuàng)新的次協(xié)調(diào)公理系統(tǒng)，其中大部分由陳立直完成，桂起權(quán)負(fù)責(zé)了部分內(nèi)容的技術(shù)實(shí)現(xiàn)并在文字上進(jìn)行了大量的修改。第三編則是朱福喜副教授負(fù)責(zé)的人工智能相關(guān)應(yīng)用的研究成果。三位作者的邏輯思想具有鮮明的非正統(tǒng)特征，他們對(duì)非經(jīng)典邏輯的偏好使他們?cè)?a href="/hebeideji/7228616538193018915.html">邏輯學(xué)界形成了獨(dú)特的視角。
媒體評(píng)論
次協(xié)調(diào)邏輯創(chuàng)始人牛頓·C·A·達(dá)科斯塔為本書撰寫了序言，他在文中指出，次協(xié)調(diào)邏輯是20世紀(jì)下半葉邏輯學(xué)上最具意義的發(fā)展之一。他認(rèn)為，次協(xié)調(diào)邏輯不僅能夠處理不協(xié)調(diào)但有意義的理論，而且?guī)缀踹m用于所有知識(shí)領(lǐng)域，包括辯證法的形式化和次協(xié)調(diào)數(shù)學(xué)的建構(gòu)。他還表達(dá)了對(duì)中國(guó)邏輯學(xué)發(fā)展的期望，認(rèn)為中國(guó)有可能成為次協(xié)調(diào)邏輯乃至整個(gè)邏輯學(xué)的重要國(guó)度。
參考資料 >
次協(xié)調(diào)邏輯與人工智能.豆瓣讀書.2024-09-14
次協(xié)調(diào)邏輯與人工智能搜索.缺書網(wǎng).2024-09-14
次協(xié)調(diào)邏輯與人工智能.缺書網(wǎng).2024-09-14