[1]HE Huacan,HE Zhitao.Universal logic theory: the comprehensive theory of logic[J].CAAI Transactions on Intelligent Systems,2025,20(1):185-197.[doi:10.11992/tis.202311040]
Copy

Universal logic theory: the comprehensive theory of logic

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 20 Number of periods: 2025 1 Page number: 185-197 Column: 学术论文—人工智能基础 Public date: 2025-01-05
Title:
Universal logic theory: the comprehensive theory of logic
Author(s):
HE Huacan1;  HE Zhitao2
1. School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China;
2. School of Computer Science and Engineering, Beihang University, Beijing 100191, China
Keywords:
formal logic; dialectical logic; game logic; mathematical logic; artificial intelligence; universal logic; unified theories; flexible logic
CLC:
TP183
DOI:
10.11992/tis.202311040
Abstract:
The research practice of artificial intelligence in the past 80 years has proved that it cannot be guided by the traditional material discipline paradigm, but needs to change the discipline paradigm and accept the guidance of the information discipline paradigm. Accordingly, logic, as one of the basic theories of the intelligence discipline, also needs to change its logic paradigm, from mathematical formal logic to mathematical dialectical logic. This paper expounds the difference and relationship between mathematical formal logic and mathematical dialectical logic, affirming that the two are the unity of opposites and insufficiencies, and have the relationship of complementing each other and fulfilling their respective functions. The universal logic proposed in this paper can be gradually expanded into mathematical dialectical logic on the basis of mathematical formal logic. Because mathematical formal logic (standard logic, rigid logic) is an idealized basic logic that is fully constrained by "either-or", and mathematical dialectical logic is a higher-level logic that faces the real world with "this and that" or even "this and that", and basic logic is a special case of higher-level logic, just as algebra is a special case of calculus. The mission of universal logic is to gradually release the "non-this and non-that" of some logical factors on the basis of basic logic, introduce "this and that", or even "non-this and non-that", and form a variety of different non-standard logic or super-coordinated logic, which are part of the whole mathematical dialectical logic. Moreover, it is proved that flexible propositional logic operators and flexible neurons can be equivalent in one body and two sides, and neural networks can not be black boxes, but have clear logical meanings. Finally, it is pointed out that mathematical dialectical logic is an open logic system, its boundary can be expanded continuously, there is no upper limit. The universal logic can support the need of the paradigm change of intelligence discipline comprehensively and without dead Angle.
References:
[1] 钟义信. “范式革命”引领, “信息转换”担纲: 机制主义通用人工智能理论精髓[J]. 智能系统学报, 15(3): 2020, 615–622.
ZHONG Yixin. Leading of paradigm shift and undertaking of information conversion: theoretical essence of mechanism-based general AI[J]. CAAI transactions on intelligent systems, 2020, 15(3): 615–622.
[2] 何华灿, 吕艳. 人工智能导论[M]. 西安: 西北工业大学出版社, 1988.
[3] 钟义信. 统一智能理论[M]. 北京: 科学出版社, 2023.
[4] 何华灿, 王华, 刘永怀, 等. 泛逻辑学原理[M]. 北京: 科学出版社, 2001.
[5] 汪培庄, 周红军, 何华灿, 等. 因素表示的信息空间与广义概率逻辑[J]. 智能系统学报, 2019, 14(5): 843-852.
WANG Peizhuang, ZHOU Hongjun, HE Huacan, et al. Factorial information space and generalized probability logic[J]. CAAI transactions on intelligent systems, 2019, 14(5): 843-852.
[6] 何华灿. 泛逻辑学理论——机制主义人工智能理论的逻辑基础[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.
[7] 刘城霞, 何华灿, 张仰森, 等. 基于泛逻辑的泛容差关系的研究[J]. 西北工业大学学报, 2016, 34(3): 473-479.
LIU Chengxia, HE Huacan, ZHANG Yangsen, et al. The study of universal tolerance relation based on universal logic[J]. Journal of Northwestern Polytechnical University, 2016, 34(3): 473-479.
[8] 刘城霞, 何华灿. 广义相关性基础上的量化容差关系的改进[J]. 北京邮电大学学报, 2015, 38(5): 28-32, 41.
LIU Chengxia, HE Huacan. An improvement on the valued tolerance relation based on the generalized correlativity[J]. Journal of Beijing University of Posts and Telecommunications, 2015, 38(5): 28-32, 41.
[9] 马盈仓, 何华灿. 基于零级泛与运算的谓词形式系统及其完备性[J]. 小型微型计算机系统, 2011, 32(10): 2105-2108.
MA Yingcang, HE Huacan. Predicate formal system based on 0-level universal and operator and its completeness[J]. Journal of Chinese computer systems, 2011, 32(10): 2105-2108.
[10] 陈佳林, 何华灿, 刘城霞, 等. 柔性逻辑零级运算模型的健全性[J]. 北京邮电大学学报, 2011, 34(4): 10-13.
CHEN Jialin, HE Huacan, LIU Chengxia, et al. Integrity studies on 0-level universal operation models of flexible logic[J]. Journal of Beijing University of Posts and Telecommunications, 2011, 34(4): 10-13.
[11] 马盈仓, 何华灿. 基于零级泛与运算的谓词形式系统及其可靠性[J]. 计算机应用研究, 2011, 28(1): 84-86, 101.
MA Yingcang, HE Huacan. Predicate formal system based on 0-level universal AND operator and its soundness[J]. Application research of computers, 2011, 28(1): 84-86, 101.
[12] 贾澎涛, 何华灿. 泛组合运算模型研究[J]. 计算机科学, 2010, 37(10): 175-180.
JIA Pengtao, HE Huacan. Research of universal combination operation model[J]. Computer science, 2010, 37(10): 175-180.
[13] 付利华, 毛明毅, 何华灿. 任意区间上的泛组合运算模型研究[J]. 计算机工程与应用, 2009, 45(36): 35-37.
FU Lihua, MAO Mingyi, HE Huacan. Studies on universal combinatorial operation model based on [a, b][J]. Computer engineering and applications, 2009, 45(36): 35-37.
[14] 付利华, 何华灿. 不等权泛组合运算模型研究[J]. 计算机科学, 2009, 36(6): 199-202, 213.
FU Lihua, HE Huacan. Studies on unequal weights universal combinatorial operation model[J]. Computer science, 2009, 36(6): 199-202, 213.
[15] 付利华, 何华灿. 一种基于柔性逻辑的控制方法研究[J]. 计算机科学, 2009, 36(2): 158-161, 189.
FU Lihua, HE Huacan. Studies on control method based on flexible logic[J]. Computer science, 2009, 36(2): 158-161, 189.
[16] 毛明毅, 陈志成, 莫倩, 等. 指数分布的泛逻辑自相关性[J]. 计算机工程与设计, 2008(2): 414-417.
MAO Mingyi, CHEN Zhicheng, MO Qian, et al. Universal logic self-correlation of exponential distributing[J]. Computer engineering and design, 2008(2): 414-417.
[17] 刘丽, 何华灿, 贾澎涛, 等. 二级倒立摆的泛逻辑稳定控制研究[J]. 计算机工程与应用, 2007(36): 82-85.
LIU Li, HE Huacan, JIA Pengtao, et al. Study on universal logics control to second order inverted pendulum[J]. Computer engineering and applications, 2007(36): 82-85.
[18] 刘丽, 何华灿, 贾澎涛. 泛逻辑控制模型研究[J]. 计算机工程, 2007(19): 7-9.
LIU Li, HE Huacan, JIA Pengtao. Study of universal logic control model[J]. Computer engineering, 2007(19): 7-9.
[19] 何华灿, 艾丽蓉, 王华. 辩证逻辑的数学化趋势[J]. 河池学院学报, 2007(1): 6-11.
HE Huacan, AI Lirong, WANG Hua. Mathematics trend of dialectical logic[J]. Journal of Hechi University, 2007(1): 6-11.
[20] 陈志成, 何华灿, 毛明毅. 基于泛逻辑的分形与混沌逻辑初探[J]. 计算机科学, 2004(6): 149-152.
CHEN Zhicheng, HE Huacan, MAO Mingyi. Exploration of fractal and chaos logics based on universal logic[J]. Computer science, 2004(6): 149-152.
[21] 彭漪涟, 马钦荣. 逻辑学大辞典[M]. 上海: 上海辞书出版社, 2010.
[22] 何华灿, 张金成, 周延泉. 命题级泛逻辑与柔性神经元[M]. 北京: 北京邮电大学出版社, 2021.
[23] 何华灿, 刘永怀, 何大庆. 经验性思维中的泛逻辑[J]. 中国科学E辑: 技术科学, 1996(1): 72-78.
HE Huacan, LIU Yonghua, HE Daqing. Universal logic in empirical thinking[J]. Science in China(series E), 1996(1): 72-78.
[24] JEAN-YVES B. From paraconsistent logic to universal logic[J]. Sorites, 2001, 12: 5-32.
[25] JEAN-YVES B. Logica universalis: towards a general theory of logic[M]. New York: Springer Nature Link, 2005.
[26] 李德毅, 孟海军, 史雪梅. 隶属云和隶属云发生器[J]. 计算机研究与发展, 1995(6): 15-20.
LI Deyi, MENG Haijun, SHI Xuemei. Membership clouds and membership cloud generators[J]. Journal of computer research and development, 1995(6): 15-20.
[27] SCHWEIZER B, SKILAR A. Associative functions and statistical triangle inequalities[J]. Publ. math. debrecen, 1961(8): 169-186.
[28] (德)黑格尔. 小逻辑[M]. 北京: 商务印书馆, 1980.
[29] 汪培庄, 刘海涛. 因素空间与人工智能[M]. 北京: 北京邮电大学出版社, 2021.
[30] 汪培庄, 曾繁慧. 因素空间理论——统一智能理论的数学基础[M]. 北京: 科学出版社, 2023.
Similar References:

Memo

-

Last Update: 2025-01-05

Copyright © CAAI Transactions on Intelligent Systems