【作者】 毛明毅；

【导师】 何华灿；

【作者基本信息】 西北工业大学 ， 计算机科学与技术， 2006， 博士

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

【Abstract】 Universal logic put forward the conceptions of general correlation and general self-correlation, and gave the uniform logic frame. It established the theoretic foundation for flexible logic reasoning in complicated system. In the field of software engineering, object-oriented technology plays a important role. It has simplified the description and programming of complicated system greatly.Based on the universal logic principle, and using the thinking and method, this dissertation discussed the logic structures, operation models, reasoning rules and application forms, put forward the "Object-oriented Generalied Spatial Logic Operation Model (Object-oriented Generalied Spatial Logic Operation Model,OGSLOM)", and studied its all parts detailedly. Here are the main innovative points.1. Theoretic conceptionsIt imprted the conceptions of "Object-oriented" and "Generalied sapce" into logic reasoning system, analyzed proposition object, connective object, quantifier object rule object, and their properties, and discussed the necessary of object-oriented generalied spatial logic.2. Operation modelsIt put forward the "Object-oriented Generalied Spatial Logic Operation Model (OGSLOM)" based on analysis of the spatial position correlation. It include the encapsulation model of multi property object, the encapsulation model of generalied connective operation. On the bases of uniform encapsulation model, It defined basic neurons and common neurons, and designed the generalied neuron encapsulation models of the "Not, And, Or, Implication, Equivalence, Average, Combination" seven connectives operations.更多还原