TITLE:
Axiom System and Some Theorems for Dialectical-Logic K-Model
AUTHORS:
Yaozhi Jiang
KEYWORDS:
Artificial Intelligence, Dialectical Logic K-Model, K-Graph, Kirchoff-Laws, Contradiction-Function
JOURNAL NAME:
Open Access Library Journal,
Vol.4 No.8,
August
28,
2017
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.