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

定　價：￥30.00

作　者：	毛明毅等著
出版社：	西北工業(yè)大學(xué)出版社
叢編項：
標(biāo)　簽：	軟件工程/開發(fā)項目管理

購買這本書可以去

ISBN：	9787561226469	出版時間：	2009-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	200	字?jǐn)?shù)：

內(nèi)容簡介

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

作者簡介

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

圖書目錄

第1章緒論
1.1 邏輯學(xué)的研究與發(fā)展
1.2 面向?qū)ο蟮陌l(fā)展與應(yīng)用
1.3 研究的內(nèi)容與特點
1.4 本章小結(jié)
第2章邏輯基礎(chǔ)與OSLOM
2.1 泛邏輯的相關(guān)性
2.2 泛邏輯運算模型
2.3 面向?qū)ο罂臻g邏輯運算模型的提出
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邏輯運算模型
4.1 邏輯推理中的相關(guān)性
4.2 面向?qū)ο罂臻g邏輯運算模型
4.3 面向?qū)ο罂臻g邏輯運算的實現(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章廣義連接詞運算模型
6.1 廣義NTS范數(shù)的一般原理
6.2 范數(shù)完整簇與連接詞運算
6.3 廣義連接詞的運算模型
6.4 本章小結(jié)
第7章邏輯神經(jīng)元封裝模型
7.1 邏輯神經(jīng)元研究現(xiàn)狀
7.2 對象封裝與邏輯神經(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 分形圖像的空間邏輯運算
8.3 分形圖像中OSLOM應(yīng)用
8.4 本章小結(jié)
第9章總結(jié)與方向
9.1 研究工作總結(jié)
9.2 今后研究方向
參考文獻(xiàn)