
Axiom System and Some Theorems for DialecticalLogic KModelDOI: 10.4236/oalib.1103817, PP. 110 Subject Areas: Mathematical Logic and Foundation of Mathematics Keywords: Artificial Intelligence, Dialectical Logic KModel, KGraph, KirchoffLaws, ContradictionFunction Abstract
An axiom system for
dialectical logic
Kmodel which is based on energymethod is established by author in the paper. Dialectical logic Kmodel supplies a
computationidea for machine, so that it
can be applied in many computations for artificial
intelligence. This
paper described that subjectivelaws is the mirror imagine reflected from
objectivelaws, and defined the threestep which is named by sensation, abstraction and thinking separately in artificial
intelligence. At the same time, the author described axiom system for
dialectical logic Kmodel which
contains logicvariable energy conservation law, Moziprinciple (minimax principle) and
forbidden law, etc. In the axiom system, it also contains a
continuoustruevalue function valued on interval [1, 1], and the Kgraph for logicvariable. Dialectical logic Kmodel would supply
a computationidea for machine so that the machine is able to think by dialectical logic method, thus an
important informationtreated method may be the dialectical logic.
Jiang, Y. (2017). Axiom System and Some Theorems for DialecticalLogic KModel. Open Access Library Journal, 4, e3817. doi: http://dx.doi.org/10.4236/oalib.1103817. References
comments powered by Disqus 