次協(xié)調(diào)邏輯與人工智能

定　價(jià)：￥33.00

作　者：	桂起權(quán)等著
出版社：	武漢大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	邏輯

購買這本書可以去

ISBN：	9787307031685	出版時(shí)間：	2002-07-01	包裝：	膠版紙
開本：	20cm	頁數(shù)：	766	字?jǐn)?shù)：

內(nèi)容簡介

　　這本《次協(xié)調(diào)邏輯與人工智能（AI）》，第一編寫協(xié)調(diào)邏輯基本原理，包括歷史背景、現(xiàn)實(shí)原型、次協(xié)調(diào)邏輯命題演算，謂詞演算、道義演算以及在集合論與辯證邏輯中的初步應(yīng)用等等，由作者所寫。第二編一系列創(chuàng)新的次協(xié)調(diào)公理系統(tǒng)的絕大部分，大都出自陳立自的手筆。其中有相干、直覺主義、行為論、模糊、非單調(diào)等邏輯系統(tǒng)，還有辯證邏輯，我只是提供了些背景思想，引導(dǎo)他的興趣轉(zhuǎn)移到辯證邏輯形式化上來；技術(shù)方面只有小部分工作才屬于作者的，但在文字上作者作了很多改寫。陳自立認(rèn)為，張清宇研究員的扣理邏輯公理系統(tǒng)或具有卡爾納普式的業(yè)密性和形式美，然而陳本人卻由于工程技術(shù)工作者的習(xí)慣性思維，迫使自己在建構(gòu)形式體系時(shí)，時(shí)刻不忘記要面向計(jì)算機(jī)編程和機(jī)器實(shí)現(xiàn)。第三編在計(jì)算機(jī)人工智能方面的應(yīng)用，則是由武漢大學(xué)計(jì)算機(jī)科學(xué)系朱福喜副教授擔(dān)任。他在這方面有我年的工作經(jīng)驗(yàn)，充分消化了da Costa的有關(guān)文獻(xiàn)。本書作者的邏輯思想帶有明顯的非正統(tǒng)色彩，可能說我們特別喜歡非經(jīng)典邏輯并屬于邏輯學(xué)者聽“第三世界”。

作者簡介

暫缺《次協(xié)調(diào)邏輯與人工智能》作者簡介

圖書目錄

序
前言
第一編次協(xié)調(diào)邏輯及其基本原理
第一章次協(xié)調(diào)邏輯是從哪里來的
  第一節(jié) 次協(xié)調(diào)思想并不神秘：幾個(gè)引例
  第二節(jié) 為什么會(huì)產(chǎn)生新邏輯
  第三節(jié) 次協(xié)調(diào)邏輯的現(xiàn)實(shí)原型
  第四節(jié) 悖論、二律背反與次協(xié)調(diào)邏輯
  第五節(jié) “協(xié)調(diào)論”、“交際思維學(xué)”中的次協(xié)調(diào)思想
第二章次協(xié)調(diào)邏輯發(fā)展簡史
  第一節(jié) 盧卡西維茨論亞氏矛盾律
  第二節(jié) 瓦西里也夫的“榻象邏輯”
  第三節(jié) 雅斯可夫斯基的“商討邏輯”
第三章達(dá)科斯塔的次協(xié)調(diào)邏輯
  第一節(jié) 概述
  第二節(jié) 次協(xié)調(diào)命題演算C
  第三節(jié) 次協(xié)調(diào)謂詞嚳算與摹狀詞演算
  第四節(jié) 次協(xié)調(diào)集合論的基本思想
第四章次協(xié)調(diào)邏輯的其他分支
  第一節(jié) 為什么需要有次協(xié)調(diào)道義邏輯
  第二節(jié) 次協(xié)調(diào)道義演算C
  第三節(jié) C的道義可能世界語義學(xué)
  第四節(jié) 為什么會(huì)有次協(xié)調(diào)辯證邏輯
  第五節(jié) 次協(xié)調(diào)辯證邏輯DL系統(tǒng)的公理
  第六節(jié) 次協(xié)調(diào)辨證邏輯DL系統(tǒng)的元定理
  第七節(jié) 次協(xié)調(diào)辯證邏輯DL系統(tǒng)的語義學(xué)
  第八節(jié) 次協(xié)調(diào)辯證邏輯DL系統(tǒng)的擴(kuò)展
  第九節(jié) 次協(xié)調(diào)時(shí)態(tài)邏輯大意
  第十節(jié) 次協(xié)調(diào)邏輯在其他方面的發(fā)展
第五章次協(xié)調(diào)邏輯的哲學(xué)意義
  第一節(jié) 次協(xié)調(diào)邏輯與邏輯哲學(xué)
  第二節(jié) 次協(xié)調(diào)邏輯與辯證哲學(xué)
第二編創(chuàng)建次協(xié)調(diào)邏輯新系統(tǒng)的嘗試
第六章基本構(gòu)架——可用形式理論的符號表達(dá)
  第一節(jié) 推理關(guān)系符號的約定
  第二節(jié) 對“理發(fā)師悖論”與康托定理的形式化再分析
  第三節(jié) 可用形式理論的公理構(gòu)架
第七章陷悖論邏輯Lpm及其擴(kuò)展
  第一節(jié) 引論
  第二節(jié) Lpm的語義與語義推理
  第三節(jié) Lpm命題演算的證明論——極小化語義表推演
  第四節(jié) Lpm命題演算的邏輯特性
  ……
第八章次協(xié)調(diào)性的相干邏輯PC（1）
第九章次協(xié)調(diào)性的相干邏輯PC（2）
第十章規(guī)范邏輯及法律邏輯的新系統(tǒng)
第十一章次協(xié)調(diào)性相干模糊邏輯PFZ
第十二章哲學(xué)邏輯其他新公理系統(tǒng)
第三編次協(xié)調(diào)邏輯在人工智能領(lǐng)域中的應(yīng)用
第十三章次協(xié)調(diào)邏輯在不協(xié)調(diào)知識庫中進(jìn)行推理的理論與應(yīng)用
第十四章次協(xié)調(diào)邏輯自動(dòng)定理證明的理論與實(shí)現(xiàn)
附錄