智能系统学报2018，Vol.13Issue(1)：19-36,18.DOI:10.11992/tis.201711033
泛逻辑学理论——机制主义人工智能理论的逻辑基础
Universal logic theory: logical foundation of mechanism-based artificial intelligence theory
摘要
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".关键词
泛逻辑学/机制主义人工智能/不确定性/柔性神经元/智能信息处理算子库Key words
universal logic/mechanism-based artificial intelligence theory/uncertainty/flexible logic/intelligent in-formation processing operator library分类
信息技术与安全科学引用本文复制引用
何华灿..泛逻辑学理论——机制主义人工智能理论的逻辑基础[J].智能系统学报,2018,13(1):19-36,18.基金项目
国家自然科学基金面上项目(60273087),西北工业大学基础研究基金重点项目(W18101). （60273087）
