Studies On Operation Model And Reasoning Of Object-orentied Ganeralied Saptial Logic

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.