Research On The Devolpment Of The Logic System

In 21 century, the development of the calculator science enters the knowledge processing and intelligences to imitate the realm. Construct the characteristic that the logic system description rule cognizes the process, carry on the rule expression and handle, research to manufacture the new software, this is already the request of the contemporary science and technology development, is the direction that the logic learns the development to have most the vitality. The work route of this direction passes the analysis that cognizes the process to mankind's rule first, making use of the logic system that the formal method structure reflection rule cognizes the characteristic;Then construct to reason logically the system automatically according to the above-mentioned logic system, and research to manufacture the software of have the knowledge expression and the processing function on this foundation.According to this, we must launch the research to the variable logic system of rule, the important meaning of the research from not need the speech, this text carries on the more thorough system to study for the interaction between logic system of the dissimilarity structure, getting the rule related conclusion of the variable logic.First, the development of the author's definition theories to the logic system did the study, and built up general algebra structure of the logic system, this is to study the variable foundation of the logic system structure.Then, the author inquiried into the general system abstraction for push to play the system after, how of push and play the system is just the logic system, mainly discussing the completeness problem of the logic system namely. The language righteousness that constructs a kind of suitable for everything to set question the logic learn, making push allly to play the system is all complete to it. Combine the completeness that learns to push to play the system in the discussion in this kind of language righteousness. Make use of this kind of completeness also to discuss in brief how of push and play the system is a logic system.The author take the model theory as the tool, the dynamic state that studied the logic system structure evolves the circumstance, mainly studying three kinds of main types: The logic system structure for a logic system rule to pass increase evolves the model; The structure of two logics system rule compatible hour evolves the model; The rule has the logic system structure of have the initiative the cycle time to evolve the model. The author studies finally and can describe to hold the dissimilarity structure of of several logic system in logic language and its Kripke language righteousnesses that rule reason logically. Built up the complete formalization to deduce the system for it.Evolve according to the logic system dynamic state of the variable rule, there is certain theories in the calculator science and other natural sciences and the social science realm and practice the meaning.