第13卷第1期 智能系统学报 Vol.13 No.I 2018年2月 CAAI Transactions on Intelligent Systems Feb.2018 D0L:10.11992/tis.201711033 泛逻辑学理论—机制主义人工智能理论的逻辑基础 何华灿 (西北工业大学计算机学院,陕西西安710072) 摘要:当前,世界各主要大国都把人工智能作为它们的国家战略。人工智能的发展正在快速改变着人类的生活方 式和思想观念。在中国,有一小批研究者20多年来一直在基于辩证唯物主义潜心研究具有普适性的人工智能基础 理论,包括智能的形成机制、逻辑基础、数学基础、协调机理、矛盾转化等。终于,他们各自建立了机制主义人工智能 理论、泛逻辑学理论、因素空间理论、协调学、可拓学、集对分析等。其中,机制主义人工智能理论是基于智能形成机 制的通用理论,它能把现有的结构主义、功能主义和行为主义三大流派有机地统一起来,使意识、情感、理智成为三 位一体的关系:因素空间理论是机制主义人工智能理论的数学基础:泛逻辑学理论是机制主义人工智能理论的逻辑 基础。本文介绍了泛逻辑学理论的基本思想、理论基础和应用方法,阐明它的理论意义和应用价值。特别需要指出 的是.在广义概率论基础上建立的命题泛逻辑(包括刚性逻辑和柔性逻辑),可看成一个完整的命题级智能信息处理 算子库,库中完整地包含了全部18种柔性信息处理模式(包括16种布尔信息处理模式),可用类型编码(a,b,)来严 格区分,用它可寻找到适合自己的信息处理算子完整簇来使用。在每一个信息处理模式中,各种不确定性的组合状 态由不确定性程度属性编码(k,h,B,〉来严格区分,用它可在本信息处理模式的算子完整簇中精确选择具体的算子来 使用。这表明柔性信息处理本质上是一把密码锁.它需要专门的密码(a,b,〉+(k,h,B,〉才能正常打开,不能乱点鸳 鸯谱。通过只有18种模式,每种模式可以从最大算子连续变化到最小算子,已经证明了没有一个命题算子被遗漏。 关键词:泛逻辑学:机制主义人工智能:不确定性:柔性神经元:智能信息处理算子库 中图分类号:TP18 文献标志码:A文章编号:1673-4785(2018)01-0019-18 中文引用格式:何华灿.泛逻辑学理论一机制主义人工智能理论的逻辑基础J.智能系统学报,2018,13(1):19-36. 英文引用格式:HE Huacan.Universal logic theory:logical foundation of mechanism-based artificial intelligence theoryJ.CAAI transactions on intelligent systems,2018,13(1):19-36. Universal logic theory:logical foundation of mechanism-based artificial intelligence theory HE Huacan (School of Computer Science,Northwestern Polytechnical University,Xi'an 710072,China) Abstract:Recently,the world's major countries have begun to consider artificial intelligence(Al)as part of their na- tional strategies.The widespread development of Al 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 Intellect 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,B,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,B,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”. Keywords:universal logic;mechanism-based artificial intelligence theory;uncertainty;flexible logic;intelligent in- formation processing operator library 收稿日期:2017-11-28. 尽管人工智能学科已经诞生60多年了,从技 基金项目:国家自然科学基金面上项目(60273087),西北工业大学 基础研究基金重点项目(W18101). 术、产品和产业上看都有了巨大的发展,积累了丰 通信作者:何华灿.E-mail:hehuac@nwpu.edu.cn. 富的经验和教训。但是,目前在人工智能学界仍然DOI: 10.11992/tis.201711033 泛逻辑学理论——机制主义人工智能理论的逻辑基础 何华灿 (西北工业大学 计算机学院,陕西 西安 710072) ⟨a,b, e⟩ ⟨k,h, β, e⟩ ⟨a,b, e⟩+⟨k,h, β, e⟩ 摘 要:当前,世界各主要大国都把人工智能作为它们的国家战略。人工智能的发展正在快速改变着人类的生活方 式和思想观念。在中国,有一小批研究者 20 多年来一直在基于辩证唯物主义潜心研究具有普适性的人工智能基础 理论,包括智能的形成机制、逻辑基础、数学基础、协调机理、矛盾转化等。终于,他们各自建立了机制主义人工智能 理论、泛逻辑学理论、因素空间理论、协调学、可拓学、集对分析等。其中,机制主义人工智能理论是基于智能形成机 制的通用理论,它能把现有的结构主义、功能主义和行为主义三大流派有机地统一起来,使意识、情感、理智成为三 位一体的关系;因素空间理论是机制主义人工智能理论的数学基础;泛逻辑学理论是机制主义人工智能理论的逻辑 基础。本文介绍了泛逻辑学理论的基本思想、理论基础和应用方法,阐明它的理论意义和应用价值。特别需要指出 的是,在广义概率论基础上建立的命题泛逻辑 (包括刚性逻辑和柔性逻辑),可看成一个完整的命题级智能信息处理 算子库,库中完整地包含了全部 18 种柔性信息处理模式 (包括 16 种布尔信息处理模式),可用类型编码 来严 格区分,用它可寻找到适合自己的信息处理算子完整簇来使用。在每一个信息处理模式中,各种不确定性的组合状 态由不确定性程度属性编码 来严格区分,用它可在本信息处理模式的算子完整簇中精确选择具体的算子来 使用。这表明柔性信息处理本质上是一把密码锁,它需要专门的密码 才能正常打开,不能乱点鸳 鸯谱。通过只有 18 种模式,每种模式可以从最大算子连续变化到最小算子,已经证明了没有一个命题算子被遗漏。 关键词:泛逻辑学;机制主义人工智能;不确定性;柔性神经元;智能信息处理算子库 中图分类号:TP18 文献标志码:A 文章编号:1673−4785(2018)01−0019−18 中文引用格式:何华灿. 泛逻辑学理论——机制主义人工智能理论的逻辑基础[J]. 智能系统学报, 2018, 13(1): 19–36. 英文引用格式:HE Huacan. Universal logic theory: logical foundation of mechanism-based artificial intelligence theory[J]. CAAI transactions on intelligent systems, 2018, 13(1): 19–36. Universal logic theory: logical foundation of mechanism-based artificial intelligence theory HE Huacan (School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China) ha; b; ei hk; h; ¯; ei ha; b; ei + hk; h; ¯; ei Abstract: Recently, the world’s major countries have begun to consider artificial intelligence (AI) as part of their national strategies. The widespread development of AI is changing our lives and ideas. In China, a small number of researchers have been concentrating their attentions onto the fundamental theory of intelligence based on dialectical materialism for more than 20 years, including the formation mechanism of intelligence, logical basis, mathematical foundation, coordination mechanism and contradiction transformation.At last, they set up the mechanism-based artificial intelligence theory, the universal logic theory, the factor space theory, the coordination theory, the extenics theory and the analysis 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; universal 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 processing modes (including 16 Boolean information processing modes). The operators are strictly expressed as , so appropriate complete clusters of information processing operators can be identified. In each mode, different uncertainties are determined by the degree of encoding , which connects with the direct operator required. Consequently, flexible information processing can considered to be a coded lock, with as its passwords. Additionally, all of the passwords are saved in the library, thereby satisfying the demand for “one lock-one passwords”. Keywords: universal logic; mechanism-based artificial intelligence theory; uncertainty; flexible logic; intelligent information processing operator library 尽管人工智能学科已经诞生 60 多年了,从技 术、产品和产业上看都有了巨大的发展,积累了丰 富的经验和教训。但是,目前在人工智能学界仍然 收稿日期:2017−11−28. 基金项目:国家自然科学基金面上项目(60273087),西北工业大学 基础研究基金重点项目(W18101). 通信作者:何华灿.E-mail:hehuac@nwpu.edu.cn. 第 13 卷第 1 期 智 能 系 统 学 报 Vol.13 No.1 2018 年 2 月 CAAI Transactions on Intelligent Systems Feb. 2018