面向对象空间逻辑

　　《面向对象空间逻辑》适用于大专以上文化水平，对逻辑学、数学、计算机、信息处理等感兴趣的读者，也可供相关研究方向的专家学者、青年教师以及高年级本科生和研究生参考。逻辑是思维的运算法则，泛逻辑是研究逻辑自身体系结构与运算规律的逻辑。面向对象空间逻辑是在泛逻辑的基础上，引进了“面向对象”和“广义空间”的概念，把基于形式命题的推理发展成为基于命题对象的推理，建立了基于任意区间[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 今后研究方向
参考文献