Universal logic theory: logical foundation of mechanism-based artificial intelligence theory
Huacan HE
DOI: https://doi.org/10.11992/tis.201711033
2018-01-01
Abstract:Recently, the world's major countries have begun to consider artificial intelligence (AI) as part of their na-tional strategies. The widespread development of AI is changing our lives and ideas. In China, a small number of re-searchers have been concentrating their attentions onto the fundamental theory of intelligence based on dialectical mater-ialism for more than 20 years, including the formation mechanism of intelligence, logical basis, mathematical founda-tion, coordination mechanism and contradiction transformation.At last, they set up the mechanism-based artificial intelli-gence theory, the universal logic theory, the factor space theory, the coordination theory, the extenics theory and the ana-lysis of set pairs. The mechanism-based artificial intelligence theory is the general theory of intelligence based on the formation mechanism, it unifies the strucrualism, functionalism, and behaviorism, the existing three isolated major schools of artificial intelligence, into a harmonious unity, and makes the primary consciousness, emotion, and lntellect into a trinity; factor space theory is the mathematical foundation for mechanism-based artificial intelligence theory; uni-versal logic theory is the logical based for mechanism-based artificial intelligence theory. In this paper, we introduces the basic theory and application of universal logic theory and clarifies its significance and value. Propositional universal logic (containing both hard and flexible logics) is based on "generalized probability theory", and can be regarded as a proposition-level library of intelligent information processing operators. It contains all 18 flexible information pro-cessing modes (including 16 Boolean information processing modes). The operators are strictly expressed as<a,b,e>, so appropriate complete clusters of information processing operators can be identified. In each mode, different uncertain-ties are determined by the degree of encoding<k,h,β,e>, which connects with the direct operator required. Con-sequently, flexible information processing can considered to be a coded lock, with<a,b,e>+<k,h,β,e>as its pass-words. Additionally, all of the passwords are saved in the library, thereby satisfying the demand for "one lock-one pass-words".