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

DOI: 10.4236/oalib.1103817, PP. 1-10

Keywords: Artificial Intelligence, Dialectical Logic K-Model, K-Graph, Kirchoff-Laws, Contradiction-Function

Full-Text   Cite this paper   Add to My Lib

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.

References

[1]	Bencivenga, E. (2000) Hegel’s Dialectical Logic. Oxford University Press, Oxford.
[2]	Kosok, M. (1966) The Formalization of Hegel’s Dialectical Logic. International Philosophical Quarterly, 6, 596-631. https://doi.org/10.5840/ipq19666456
[3]	John-ston, I. (2010) The Mozi: A Complete Translation. The Chinese University Press, Hongkong.
[4]	Berge, C. (1973) Graph and Hy-pergraphs. North-Holland Publishing Company, Amsterdam.

Full-Text