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

前言

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

內(nèi)容概要

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

作者簡(jiǎn)介

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

書(shū)籍目錄

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

章節(jié)摘錄

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

編輯推薦

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

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

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

---