基本信息
作 者：毛明毅，陳志成，何華燦 著出 版 社：西北工業大學出版
內容簡介
《面向對象空間邏輯》適用於大專以上文化水平，對邏輯學、數學、計算機、信息處理等感興趣的讀者，也可供相關研究方向的專家學者、青年教師以及高年級本科生和研究生參考。邏輯是思維的運算法則，泛邏輯是研究邏輯自身體系結構與運算規律的邏輯。面向對象空間邏輯是在泛邏輯的基礎上，引進了“面向對象”和“廣義空間”的概念，把基於形式命題的推理髮展成為基於命題對象的推理，建立了基於任意區間[a，b]上的可推理的邏輯體系。《面向對象空間邏輯》重點介紹了面向對象空間邏輯的基本概念、運算模型、推理規則以及套用形式。
作者簡介
毛明毅，1974年生，女，江西南昌人。西北工業大學博士畢業，現為北京工商大學教師。主持或參與多項國家級、省部級以及橫向課題，發表論文40餘篇。研究方向是人工智慧與邏輯推理、信息管理與計算機網路。
陳志成，1973年生，男，四川渠縣人。清華大學計算機科學與技術系博士後出站。主持或參與多項國家級、省部級以及橫向課題，發表論文40餘篇。研究方向是人工智慧與軟體工程、作業系統與構件技術。
何華燦，1938年生，男，湖北江陵人。西北工業大學教授、博士生導師，中國人工智慧學會副理事長。主持多項國家級、省部級以及橫向課題，出版專著《人工智慧導論》《泛邏輯學原理》和《信息、智慧型與邏輯》，發表論文160餘篇..研究方向是計算機科學理論、人工智慧基礎與泛邏輯學。
目錄
第1章 緒論
1.1 邏輯學的研究與發展
1.2 面向對象的發展與套用
1.3 研究的內容與特點
1.4 本章小結
第2章 邏輯基礎與OSLOM
2.1 泛邏輯的相關性
2.2 泛邏輯運算模型
2.3 面向對象空間邏輯運算模型的提出
2.4 本章小結
第3章 面向對象空間邏輯分析
3.1 面向對象空間邏輯的必要性
3.2 面向對象空間邏輯的概念
3.3 面向對象的邏輯系統分析
3.4 本章小結
第4章 面向對象空間邏輯運算模型
4.1 邏輯推理中的相關性
4.2 面向對象空間邏輯運算模型
4.3 面向對象空間邏輯運算的實現方法
4.4 OSLOM套用示範
4.5 本章小結
第5章 面向對象廣義推理規則
5.1 廣義連線詞的生成規則
5.2 面向對象的廣義推理規則
5.3 面向對象的信任邏輯推理規則
5.4 本章小結
第6章 廣義連線詞運算模型
6.1 廣義NTS範數的一般原理
6.2 範數完整簇與連線詞運算
6.3 廣義連線詞的運算模型
6.4 本章小結
第7章 邏輯神經元封裝模型
7.1 邏輯神經元研究現狀
7.2 對象封裝與邏輯神經元
7.3 連線詞的邏輯神經元模型
7.4 關於廣義神經元的分析
7.5 本章小結
第8章 面向對象空間邏輯的套用
8.1 面向對象空間邏輯套用形式
8.2 分形圖像的空間邏輯運算
8.3 分形圖像中OSLOM套用
8.4 本章小結
第9章 總結與方向
9.1 研究工作總結
9.2 今後研究方向
參考文獻
前言
邏輯是思維的法則，是人類認識世界和改造世界的準繩和工具，是一切學說和理論中關於判斷和推理規律的提煉和抽象，它被套用於自然科學、社會科學的方方面面。作為一種推理與判斷的工具，邏輯學是人類研究的永恆主題。尤其是20世紀末以來，隨著對複雜系統研究的深入以及自動化推理的客觀需要，人們一直在探求各種適合複雜系統推理的邏輯。
利用面向對象的觀點來看待事物，世間萬物都可以描述為對象。複雜系統包含若干複雜對象，邏輯系統也可以看成是一種對象。面向對象的思想來自對數據類型的抽象，它從問題域中客觀存在的事物出發來構造系統，用對象作為對這些事物的抽象表示，並以此作為系統的基本單位。面向對象的思想、方法和技術已經被廣泛套用於各個學科領域。
