面向?qū)ο罂臻g邏輯

前言

邏輯是思維的法則，是人類認識世界和改造世界的準繩和工具，是一切學說和理論中關于判斷和推理規(guī)律的提煉和抽象，它被應用于自然科學、社會科學的方方面面。作為一種推理與判斷的工具，邏輯學是人類研究的永恒主題。尤其是20世紀末以來，隨著對復雜系統(tǒng)研究的深入以及自動化推理的客觀需要，人們一直在探求各種適合復雜系統(tǒng)推理的邏輯。利用面向?qū)ο蟮挠^點來看待事物，世間萬物都可以描述為對象。復雜系統(tǒng)包含若干復雜對象，邏輯系統(tǒng)也可以看成是一種對象。面向?qū)ο蟮乃枷雭碜詫?shù)據(jù)類型的抽象，它從問題域中客觀存在的事物出發(fā)來構造系統(tǒng)，用對象作為對這些事物的抽象表示，并以此作為系統(tǒng)的基本單位。面向?qū)ο蟮乃枷?、方法和技術已經(jīng)被廣泛應用于各個學科領域。如何在復雜系統(tǒng)的研究中充分發(fā)揮邏輯推理的作用呢？它需要什么樣的思想或方法來支持呢？若分析現(xiàn)有狀況和學科發(fā)展趨勢，人們可能會發(fā)現(xiàn)：（1）復雜系統(tǒng)中的對象包含若干屬性，各個對象之間存在各種各樣的相互關系。目前還沒有一種針對“對象的推理”而設計的邏輯系統(tǒng)。（2）軟件編程技術已經(jīng)發(fā)展到面向?qū)ο蠛兔嫦驑嫾碾A段，邏輯學卻仍處于基于原子和分子命題的推理階段，在一定程度上已經(jīng)滯后于其他學科的發(fā)展，使得其難以在新時代的新學科中有效地發(fā)揮作用。（3）對于現(xiàn)實世界中的對象而言，其屬性的表達和取值往往與所處的參考空間有密切關系，這就要求在邏輯推理中須考慮在空間位置上的相關性。（4）把邏輯系統(tǒng)也看成一種對象，這就需要研究邏輯系統(tǒng)的組成結構、運算模型、推理規(guī)則、封裝機制，以及它的表達與應用形式。（5）在經(jīng)典邏輯中，邏輯真值僅為1和0，模糊邏輯的出現(xiàn)使得真值域可以為[0，1]中的任意數(shù)，但是在復雜系統(tǒng)，[0，1]區(qū)間也難以滿足推理的需要。

內(nèi)容概要

　　《面向?qū)ο罂臻g邏輯》適用于大專以上文化水平，對邏輯學、數(shù)學、計算機、信息處理等感興趣的讀者，也可供相關研究方向的專家學者、青年教師以及高年級本科生和研究生參考。邏輯是思維的運算法則，泛邏輯是研究邏輯自身體系結構與運算規(guī)律的邏輯。面向?qū)ο罂臻g邏輯是在泛邏輯的基礎上，引進了“面向?qū)ο蟆焙汀皬V義空間”的概念，把基于形式命題的推理發(fā)展成為基于命題對象的推理，建立了基于任意區(qū)間[a，b]上的可推理的邏輯體系。《面向?qū)ο罂臻g邏輯》重點介紹了面向?qū)ο罂臻g邏輯的基本概念、運算模型、推理規(guī)則以及應用形式。

作者簡介

毛明毅，1974年生，女，江西南昌人。西北工業(yè)大學博士畢業(yè)，現(xiàn)為北京工商大學教師。主持或參與多項國家級、省部級以及橫向課題，發(fā)表論文40余篇。研究方向是人工智能與邏輯推理、信息管理與計算機網(wǎng)絡。陳志成，1973年生，男，四川渠縣人。清華大學計算機科學與技術系博士后出站。主持或參與多項國家級、省部級以及橫向課題，發(fā)表論文40余篇。研究方向是人工智能與軟件工程、操作系統(tǒng)與構件技術。何華燦，1938年生，男，湖北江陵人。西北工業(yè)大學教授、博士生導師，中國人工智能學會副理事長。主持多項國家級、省部級以及橫向課題，出版專著《人工智能導論》《泛邏輯學原理》和《信息、智能與邏輯》，發(fā)表論文160余篇..研究方向是計算機科學理論、人工智能基礎與泛邏輯學。

書籍目錄

第1章 緒論1.1 邏輯學的研究與發(fā)展1.2 面向?qū)ο蟮陌l(fā)展與應用1.3 研究的內(nèi)容與特點1.4 本章小結第2章 邏輯基礎與OSLOM2.1 泛邏輯的相關性2.2 泛邏輯運算模型2.3 面向?qū)ο罂臻g邏輯運算模型的提出2.4 本章小結第3章 面向?qū)ο罂臻g邏輯分析3.1 面向?qū)ο罂臻g邏輯的必要性3.2 面向?qū)ο罂臻g邏輯的概念3.3 面向?qū)ο蟮倪壿嬒到y(tǒng)分析3.4 本章小結第4章 面向?qū)ο罂臻g邏輯運算模型4.1 邏輯推理中的相關性4.2 面向?qū)ο罂臻g邏輯運算模型4.3 面向?qū)ο罂臻g邏輯運算的實現(xiàn)方法4.4 OSLOM應用示范4.5 本章小結第5章 面向?qū)ο髲V義推理規(guī)則5.1 廣義連接詞的生成規(guī)則5.2 面向?qū)ο蟮膹V義推理規(guī)則5.3 面向?qū)ο蟮男湃芜壿嬐评硪?guī)則5.4 本章小結第6章 廣義連接詞運算模型6.1 廣義NTS范數(shù)的一般原理6.2 范數(shù)完整簇與連接詞運算6.3 廣義連接詞的運算模型6.4 本章小結第7章 邏輯神經(jīng)元封裝模型7.1 邏輯神經(jīng)元研究現(xiàn)狀7.2 對象封裝與邏輯神經(jīng)元7.3 連接詞的邏輯神經(jīng)元模型7.4 關于廣義神經(jīng)元的分析7.5 本章小結第8章 面向?qū)ο罂臻g邏輯的應用8.1 面向?qū)ο罂臻g邏輯應用形式8.2 分形圖像的空間邏輯運算8.3 分形圖像中OSLOM應用8.4 本章小結第9章 總結與方向9.1 研究工作總結9.2 今后研究方向參考文獻

章節(jié)摘錄

插圖：2.3.2 OSLOM的提出在圖2.7 的基礎上，提出了面向?qū)ο蟮膹V義空間邏輯運算模型，主要基于以下方面：（1）面向?qū)ο蟮乃枷雭碜杂诔橄髷?shù)據(jù)類型。對于面向?qū)ο髞碚f，它最重要的觀點就是把世間萬物都描述為對象，而類則描述了同一種對象的特征。面向?qū)ο蠹夹g的描述更加貼近我們對現(xiàn)實世界的理解。（2）復雜對象中具有多個屬性側(cè)面和多個方法接口，其內(nèi)部存在多種關聯(lián)及相互作用。復雜對象的某個或某些屬性側(cè)面是隨時間和／或空間變化的，具有動態(tài)性。（3）在某些邏輯推理中，其推理結果往往需要由若干個屬性側(cè)面和方法接121來共同完成，而且這些屬性和方法不容易分割開來討論，這時就需要建立一種基于面向?qū)ο蟮倪壿嬒到y(tǒng)。（4）傳統(tǒng)的邏輯系統(tǒng)僅僅研究基于單個側(cè)面的邏輯真值推理，目前已有文獻在面向?qū)ο蟮闹R表示和邏輯控制方面進行研究，但還沒有形成可推理的邏輯系統(tǒng)，這正是現(xiàn)在所需要的。（5）泛邏輯理論提供了研究其他邏輯的基礎框架，給出了生成具體應用邏輯的“邏輯生成器”，對OSLOM的研究具有很好的指導意義?；谝陨显?，筆者試圖研究面向?qū)ο蟮膹V義空間邏輯推理，提出了如圖2.8 所示的運算模型。2.3.3 OSLOM模型的組成在圖2.8 中，其基本思想是：對于復雜對象，利用面向?qū)ο蟮乃枷敕椒?，分析出它所包含的命題（對象）、命題的真值（一個向量），邏輯運算之前需要對命題真值向量進行“升空”變換，得到對應的時空圖像，命題之間的邏輯運算實質(zhì)上是時空圖像之間的運算。時空圖像的運算模型可以封裝，運算得到新的時空圖像，然后使用“落影”變換，得到新的命題對象的真值向量，最后根據(jù)真值向量構造出新的命題對象。如圖2.8 所示，OSLOM主要包含八個部分，分別對應本書的1～9章內(nèi)容。

編輯推薦

《面向?qū)ο罂臻g邏輯》編輯推薦：世間萬物都是對象，任何對象都有空間，一切思維都含邏輯，此為對象空間邏輯！

圖書封面

評論、評分、閱讀與下載

---

    面向?qū)ο罂臻g邏輯 PDF格式下載

---