Axiom System and Some Theorems for Dialectical-Logic K-Model

HTML  XML Download Download as PDF (Size: 482KB)  PP. 1-10  
DOI: 10.4236/oalib.1103817    626 Downloads   1,248 Views  
Author(s)

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.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.