|
Axiom System and Some Theorems for Dialectical-Logic K-ModelDOI: 10.4236/oalib.1103817, PP. 1-10 Subject Areas: Mathematical Logic and Foundation of Mathematics Keywords: Artificial Intelligence, Dialectical Logic K-Model, K-Graph, Kirchoff-Laws, Contradiction-Function 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.
Jiang, Y. (2017). Axiom System and Some Theorems for Dialectical-Logic K-Model. Open Access Library Journal, 4, e3817. doi: http://dx.doi.org/10.4236/oalib.1103817. References
comments powered by Disqus |
