Axiom System and Some Theorems for Dialectical-Logic K-Model ()
ABSTRACT
An axiom system for dialectical logic K-model which is based on energy-method is established by author in the paper. Dialectical logic K-model supplies a computation-idea for machine, so that it can be applied in many computations for artificial intelligence. This paper described that subjective-laws is the mirror imagine reflected from objective-laws, and defined the three-step which is named by sensation, abstraction and thinking separately in artificial intelligence. At the same time, the author described axiom system for dialectical logic K-model which contains logic-variable energy conservation law, Mozi-principle (minimax principle) and forbidden law, etc. In the axiom system, it also contains a continuous-true-value function valued on interval [-1, 1], and the K-graph for logic-variable. Dialectical logic K-model would supply a computation-idea for machine so that the machine is able to think by dialectical logic method, thus an important information-treated method may be the dialectical logic.
Share and Cite:
Jiang, Y. (2017) Axiom System and Some Theorems for Dialectical-Logic K-Model.
Open Access Library Journal,
4, 1-10. doi:
10.4236/oalib.1103817.
Cited by
No relevant information.