An axiom system for dialectical logic K-model which based on Kirchhoff energy-method is established by author in the paper. The author describes that subjective-laws is the mirror imagine reflected from objective-laws and defines that the three-step which named by sensation, abstraction and thinking in artificial intelligence. At same time, describes that axiom system for dialectical logic K-model, in which contains such as logic-variable energy conservation law, Mozi’s principle( mini-max principle) and forbidden law, etc. In the axiom system also contain such as a continuous true-value-function system valued on interval ?and the K-graph for logic-variable. And describes the giving value method by matrix based on K-graph satisfied Kirchhoff laws to the logic variable. The author describes simply the linear and nonlinear logic variable system. And describes simply the logic variable involved three-dimension Euclidean space and topology networks space separately. Dialectical logic K-model would supply an computation algorithm idea for machine so that the machine is able to think by dialectical logic method, thus an important information-treated method maybe the dialectical logic.
展开▼
