本课题的研究来源于国家自然科学基金资助项目“经验知识推理理论研究”(No．6027308)及北京市自然科学基金资助项目“不精确推理理论研究”(No．4032009)。 在广义相关性和广义自相关性的基础上，泛逻辑给出了逻辑学的一种统一理论框架，为研究复杂系统中的柔性逻辑推理奠定了理论基础。在软件工程中，面向对象技术发挥了重要作用，它大大简化了复杂问题的描述和编程。 本文在泛逻辑的基础上，利用面向对象的思想和方法，探讨了逻辑系统的组成结构、运算模型、推理规则、应用形式，提出了“面向对象的广义空间逻辑运算模型(Object-oriented Generalied Spatial Logic Operation Model，OGSLOM)”，并对其各个部分进行了系统地研究，主要的创新点有： 1．理论概念 在逻辑推理系统中引入了“面向对象”、“广义空间”等概念，分析了命题对象、连接词对象、量词对象、规则对象，给出了相关属性，讨论了研究面向对象的广义空间逻辑的必要性。 2．运算模型 在分析空间位置相关性的基础上，提出了“面向对象的广义空间逻辑运算模型OGSLOM”，其中包括多属性命题对象的封装模型、广义连接词运算的黑箱封装模型。在给出统一封装模型的基础上，定义了基础神经元和常用神经元，设计了非、与、或、蕴涵、等价、平均、组合七种连接词的广义神经元封装模型。 3．技术方法 在推理过程中引入了“真值向量”、“空间图像”、“升空变换”、“落影变换”等概念，把命题对象纳入到参考空间中进行处理，突破了传统的命题推理范式。研究了广义连接词的生成规则、面向对象的广义推理规则、信任逻辑推理规则，并给出了推理规则的面向对象表达。 4．仿真应用 设计并实现了OGSLOM模型的仿真系统，支持命题对象及其属性的管理，对