毛明毅，1974年生，女，江西南昌人。西北工业大学博士毕业，现为北京工商大学教师。主持或参与多项国家级、省部级以及横向课题，发表论文40余篇。研究方向是人工智能与逻辑推理、信息管理与计算机网络。
    陈志成，1973年生，男，四川渠县人。清华大学计算机科学与技术系博士后出站。主持或参与多项国家级、省部级以及横向课题，发表论文40余篇。研究方向是人工智能与软件工程、操作系统与构件技术。
    何华灿，1938年生，男，湖北江陵人。西北工业大学教授、博士生导师，中国人工智能学会副理事长。主持多项国家级、省部级以及横向课题，出版专著《人工智能导论》《泛逻辑学原理》和《信息、智能与逻辑》，发表论文160余篇..研究方向是计算机科学理论、人工智能基础与泛逻辑学。

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

    2.3.2 OSLOM的提出
    在图2.7 的基础上，提出了面向对象的广义空间逻辑运算模型，主要基于以下方面：
    （1）面向对象的思想来自于抽象数据类型。对于面向对象来说，它最重要的观点就是把世间万物都描述为对象，而类则描述了同一种对象的特征。面向对象技术的描述更加贴近我们对现实世界的理解。
    （2）复杂对象中具有多个属性侧面和多个方法接口，其内部存在多种关联及相互作用。复杂对象的某个或某些属性侧面是随时间和／或空间变化的，具有动态性。
    （3）在某些逻辑推理中，其推理结果往往需要由若干个属性侧面和方法接121来共同完成，而且这些属性和方法不容易分割开来讨论，这时就需要建立一种基于面向对象的逻辑系统。
    （4）传统的逻辑系统仅仅研究基于单个侧面的逻辑真值推理，目前已有文献在面向对象的知识表示和逻辑控制方面进行研究，但还没有形成可推理的逻辑系统，这正是现在所需要的。
    （5）泛逻辑理论提供了研究其他逻辑的基础框架，给出了生成具体应用逻辑的“逻辑生成器”，对OSLOM的研究具有很好的指导意义。
    基于以上原因，笔者试图研究面向对象的广义空间逻辑推理，提出了如图2.8 所示的运算模型。
    2.3.3 OSLOM模型的组成
    在图2.8 中，其基本思想是：对于复杂对象，利用面向对象的思想方法，分析出它所包含的命题（对象）、命题的真值（一个向量），逻辑运算之前需要对命题真值向量进行“升空”变换，得到对应的时空图像，命题之间的逻辑运算实质上是时空图像之间的运算。时空图像的运算模型可以封装，运算得到新的时空图像，然后使用“落影”变换，得到新的命题对象的真值向量，最后根据真值向量构造出新的命题对象。
    如图2.8 所示，OSLOM主要包含八个部分，分别对应本书的1～9章内容。

第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 今后研究方向
参考文献