當代形式邏輯及其在人工智能中的應用理論研究

定　價：￥58.00

作　者：	龔啟榮等著
出版社：	電子工業(yè)出版社
叢編項：
標　簽：	計算機理論

購買這本書可以去

ISBN：	9787121124075	出版時間：	2011-01-01	包裝：	平裝
開本：	16開	頁數：	435	字數：

內容簡介

　　《當代形式邏輯及其在人工智能中的應用理論研究》在人工智能中的應用理論完全不同于以美國為代表的國際人工智能理論。著作提出并回答了一系列屬于人工智能的邏、輯理論的重大問題；指出了人工智能的根本使命；完成了古典邏輯和形形色色非古典邏輯以及傳統(tǒng)形式邏輯不能作為人工智能的邏輯理論基礎的論證；充分證明了，當代形式邏輯向人類提供了從已有知識獲取新知識的推理工具，因而是人工智能最合適的邏輯工具。著作清晰地刻畫了必然門的邏輯性質，為研制必然門從而進一步設計、制造內涵智能機提供了重要邏輯理論基礎，其研究深度可以說幾乎達到了呼之欲出的程度。著作嚴格證明并嚴肅地指出，在剛過去的半個世紀內，國際人工智能界的兩個方針（“認知模擬”、“人機合一”）是方向性、路線性的失誤。這種局面為我國在新世紀迎來超越國際先進水平提供了絕好機遇。該項研究對我國在經濟、軍事實力上發(fā)生質的變革，取得國際先進地位具有重要意義，其應用前景是不可估量的。

作者簡介

　　龔啟榮，江西景德鎮(zhèn)人。1964年貴州大學畢業(yè)后被選派到貴州省委黨校理論研究班學習并開始從事理論教育工作。系貴州省先進科技工作者、國際符號邏輯協會會員、BLS國際邏輯學會會員、東亞國際符號學會會員、貴州省社科聯委員、貴州省科協第四屆委員、貴州制約邏輯學會理事長、貴州省邏輯教學研究會會長。曾任貴州大學信息管理系系主任?，F任貴州大學老科學技術工作者協會基礎與人文社會科學工作委員會副主任、邏輯學教授、學術帶頭人、邏輯學研究生導師，任貴州人民武裝學院督導和邏輯學教授。發(fā)表論著Entailment Logic——A Development of Traditional Logic Our Times（J）（第八屆國際邏輯、科學哲學和科學方法討論會論文集，莫斯科科學出版社1987年）、Entailment Logic And Knowledge Representation（J）（《符號邏輯雜志》，美國，1992年第1期第57卷）、Orthodox Mathematical Logic is Not a Reasoning Theory（J）（《符號邏輯會刊》，美國，2007年第3期第13卷）、《形式邏輯導引》（M）（貴州人民出版社1995年）、《邏輯斯諦——又稱\數理邏輯\的二值數學》（M）（貴州教育出版社1998年）、《邏輯學》（（M）貴州人民出版社2005年）、《當代形式邏輯基礎》（M）（貴州教育出版社2006年）、《形式邏輯客體說導論》（M）（天馬出版有限公司2008年）、《當代形式邏輯引論》（M）（電子工業(yè)出版社2009年）、《當代形式邏輯及其在人工智能中的應用理論研究》（M）（電子工業(yè)出版社2010年10月）等100多篇（部）。完成國家電子工業(yè)部、教育部和省級科研課題10余項。曾10余次受國際重要邏輯學術會議邀請并發(fā)表論文。龔啟榮的教學、科研情況在《團結報》、《貴州日報》、《貴州經濟報》、《中國哲學年鑒》、《貴州年鑒》以及一些網站上均有介紹。

圖書目錄

第1篇導論
第1章前言
1.1 邏輯科學在現代科學中的地位
1.2 傳統(tǒng)形式邏輯與正統(tǒng)數理邏輯
1.3 研究當代形式邏輯的目標
1.4 當代形式邏輯的研究領域、哲學思想和理論觀點
1.5 邏輯科學的定義
第2章當代形式邏輯語義學基礎
2.1 客觀世界的集——兼對所謂“羅素悖論”的剖析
2.1.1 對象、個體與集
2.1.2 集的共僅屬性
2.1.3 集的性質
2.1.4 集的分類
2.1.5 集與集之間的關系
2.2 n目組、n目組集和n元關系——兼談數理邏輯頂多只能算k分之一的邏輯
2.3 n元函數關系
2.3.1 映射
2.3.2 n元函數關系
2.4 客觀世界的項
2.4.1 個體變元
2.4.2 n元函數的變值
2.4.3 項的定義
2.4.4 項的分類
2.5 客觀世界的原子事件
2.5.1 閉原子事件
2.5.2 開原子事件
2.5.3 原子事件
2.5.4 原子事件有、無的不矛盾律、排中律和選一律
2.6 真值函數關系與純真值復合事件
2.6.1 真值函數關系
2.6.2 真值表
2.6.3 純真值聯結關系
2.6.4 純真值復合事件
2.7 基本的非純真值聯結關系——充分條件關系及其兩個獨立性
2.7.1 充分條件關系與必然關系同義
2.7.2 充分條件事件的定義及充分條件關系的兩個獨立性
2.7.3 對“充分條件”的界說的歷史回顧
2.7.4 兩個獨立性從經驗進到邏輯的歷史追溯
2.8 導出的非純真值聯結關系和非純真值復合事件
2.8.1 必要條件關系和必要條件事件
2.8.2 約合關系和約合事件
2.8.3 盡舉相容選擇關系和盡舉相容選擇事件
2.8.4 盡舉反相容選擇關系和盡舉反相容選擇事件
2.8.5 盡舉不相容選擇關系和盡舉不相容選擇事件
2.8.6 充分必要條件關系和充分必要條件事件
2.9 客觀世界的事件
2.9.1 事件的形成準則
2.9.2 閉事件和開事件的交叉遞歸定義
2.9.3 事件的性質
2.10 客觀世界的邏輯結構
2.11 客觀世界的邏輯規(guī)律及其種類
2.12 客觀世界的邏輯定律
2.12.1 客觀世界的事件邏輯定律
2.12.2 客觀世界的項邏輯定律
2.13 客觀世界的邏輯法則
2.13.1 客觀世界的事件邏輯法則
2.13.2 客觀世界的項邏輯法則
第3章邏輯規(guī)律是客觀世界的規(guī)律
3.1 邏輯規(guī)律概述
3.2 邏輯規(guī)律不是思維自身的規(guī)律
3.3 邏輯規(guī)律不是符號自身的規(guī)律
3.4 邏輯規(guī)律是且只能是客觀世界的規(guī)律
3.5 彪炳古今的韓非定律
第2篇邏輯思考
第4章邏輯思考概述
4.1 邏輯思考的定義
4.2 邏輯思維的內容
4.2.1 邏輯思維的內容
4.2.2 思維的內容究竟是思維還是思維外的客觀物質及其屬性
4.3 邏輯思維的形式化
4.4 邏輯思維、思維對象、語言載體的關系
4.5 當代形式邏輯語義學、語構學、語用學
4.6 當代形式邏輯語用學1、2、3準則
第5章概念
5.1 概念的概述
5.2 概念的內涵和外延
5.2.1 概念的外延
5.2.2 概念的內涵
5.3 2元關系概念
5.3.1 性質概念和關系概念
5.3.2 何謂2元關系概念
5.3.3 2元關系的性質
5.4 傳統(tǒng)概念理論中存在的問題
5.4.1 關于概念的定義至今仍不能自圓其說
5.4.2 有些概念種類劃分不合理
5.4.3 “概念不明確”是一種自相矛盾或者模棱兩可的提法
5.4.4 值得推敲的其他問題
第6章原子命題純真值復合命題
6.1 命題的概述
6.1.1 命題就是關于事件的思考
6.1.2 命題的真值
6.1.3 命題的分類
6.2 原子命題
6.2.1 閉原子命題
6.2.2 開原子命題
6.2.3 1元原子命題和多元原子命題
6.2.4 原子命題的真值
6.3 純真值復合命題
6.3.1 基本的純真值復合命題
6.3.2 導出的純真值復合命題
6.4 重言式的判定
6.4.1 真值表方法
……
第7章非純真值復合命題
第8章邏輯定理
第9章邏輯證明與證實
第10章關于邏輯證明哲學意義的深入探討
第3篇當代形式邏輯Cm系統(tǒng)
第11章命題邏輯cm系統(tǒng)的形式語言
第12章 Cm的公理、導出公式、規(guī)則和元定理
第13章關于Cm系統(tǒng)的討論（一）——Cm是夠用的無衍系統(tǒng)
第14章關于Cm系統(tǒng)的討論（二）——Cm的判定問題
第4篇當代形式邏輯名詞演算Cn系統(tǒng)
第15章名詞演算Cn系統(tǒng)的形式語言
第16章 Cn的公理模式、規(guī)則、導出公式和元定理
第17章關于Cn系統(tǒng)的討論（一）——Cn與傳統(tǒng)形式邏輯
第18章關于Cn系統(tǒng)的討論（二）——Cn與傳統(tǒng)的“必然”、“可能”、歸納、類比的推理
第19章關于Cn系統(tǒng)的討論（三）——Cn的無限風光：更精彩的形式定理
第20章關于Cn系統(tǒng)的討論（四）——Cn與正統(tǒng)一階謂詞演算F
第五篇人工智能機器推理和知識表示的邏輯理論工具探討
第21章人工智能機器推理的邏輯理論工具研究
第22章人工智能知識表示的邏輯理論工具研究
第23章當代形式邏輯在人工智能中又一應用理論研究
附錄A
附錄B
參考文獻
后記