计算机科学 ›› 2022, Vol. 49 ›› Issue (1): 9-16.doi: 10.11896/jsjkx.210700023

• 多语言计算前沿技术* 上一篇    下一篇

消解逻辑悖论建立元知识智能化体系

郑智捷   

  1. 云南大学软件学院 昆明650091
  • 收稿日期:2021-07-01 修回日期:2021-09-05 出版日期:2022-01-15 发布日期:2022-01-18
  • 通讯作者: 郑智捷(conjugatelogic@yahoo.com)
  • 基金资助:
    国家自然科学基金(62041213)

Meta Knowledge Intelligent Systems on Resolving Logic Paradoxes

Jeffrey ZHENG   

  1. School of Software,Yunnan University,Kunming 650091,China
  • Received:2021-07-01 Revised:2021-09-05 Online:2022-01-15 Published:2022-01-18
  • About author:Jeffrey ZHENG,Ph.D,professor,is a member of IEEE,SPIE and a FIAAM member of IAAM.His main research interests include variant construction and so on.
  • Supported by:
    National Natural Science Foundation of China(62041213).

摘要: 高庆狮院士于2006年发表《新模糊集合论基础》专著,为消解模糊逻辑系列悖论进行逻辑理论基础探索;并于2009年在科学出版社发表《统一语言学基础》专著,为多语言计算前沿构造理论基础支撑。这两部专著在他的创新理论基础研究中为传世瑰宝。在悼念高庆狮院士逝世10周年之际,文中利用最新向量逻辑——变值体系,来展现在高老师的研究方向中元知识系统体系架构建模的最新进展。从向量逻辑出发,综合共轭结构、元知识模型以及各类新型处理机制,在现代逻辑和数学中判定一个复杂系统是否包含经典逻辑悖论,对保证该类系统能否存活起到核心判别作用。从分类和判别解析的角度,悖论可以分为两类模式:逻辑悖论和语义悖论。利用共轭环构造4条色带,系统化地消解莫比乌斯环展现的单面特性,展示一系列几何拓扑逻辑等学科内蕴的逻辑悖论,通过共轭环结构,形成完备的消解体系。相关的结构包括易经、微分几何、微分几何拓扑、整体变分泛函优化等复杂动态系统。随着系统化地消解莫比乌斯拓扑几何逻辑悖论,针对复杂知识系统体系架构,描述适配的相关模块及其子模块的体系架构,从经典逻辑出发,系统地建立经典逻辑、有限自动机、图灵机、冯纽曼体系。利用消解莫比乌斯悖论的向量逻辑、共轭结构和变值体系,系统化地构造量子图灵机、多元复函数向量机、复杂智能化系统体系架构以及统一语言学分析系统等,为新型元知识体系构造新型复杂智能化系统开辟道路。

关键词: 共轭逻辑, 共轭变换结构, 相空间, 经典计算系统, 图灵机, 量子图灵机, 元知识体系, 统一语言学

Abstract: Professor Q.S.GAO (Chinese Science Academician) published New Fuzzy Set Theory in 2006 to explore possible solutions removing paradoxes in Fuzzy logic.In 2009,he published Foundation of Unified Linguistics from Science Press to provide bases of theoretical supports on computational multiple linguistics.The two monographs are the topmost invaluable diamonds in his creative academic activities.In memory of professor Q.S.Gao passed away for 10 years,it is my great pleasure to use new vector logic-variant construction,to describe the newest development on meta knowledge construction following advanced researches of professor Gao's legacy.Starting from vector logic,conjugate structure,meta knowledge model and other advanced mechanisms,it is a critical condition to use modern logic and mathematics to guarantee a complex system to be a consistent-dynamic one without paradoxes,to avoid if the complex system contains any logic paradox.From a classified and adjudicate viewpoint,paradoxes are divided into two categories:logic paradoxes,and semantic paradoxes.Using conjugate ring,it systematically resolves single surface property of Mobius ring to be four colored bands that support possible for this construction to resolve a series of intrinsic logicparadoxes in geometry,topology and logic.Conjugate ring provides a complete solution to resolve the Mo-bius type of paradoxes in general.Corresponding structures include many abstract systems,such as I Ching,differential geometry,geometric topology,global variation and optimization etc.Associated with resolving the Mobius type of paradoxes on topology,geometry and logic,it is natural for meta knowledge model to establish relevant key modules to support complex natural/artificial knowledge systems.Starting from classic logic,typical components are listed,such as classical logic,finite automata,Turing machine and Von Neumann architecture.Applying vector logic construction,conjugate structure and variant construction as key components with paradox-free properties,it is convenient to establish a series of architectures to support quantum Turing machine,vector machine on multiple complex functions,complicated intelligent systems,and analysis system of unified linguistics.This is an initial step for meta knowledge model to create future complicated intelligent systems.

Key words: Conjugate logic, Conjugate transformation structure, Phase space, Classical computing system, Turing machine, Quantum Turing machine, Meta knowledge system, Unified linguistics

中图分类号: 

  • O144
[1]GAO Q S.New Fuzzy Set Theory [M].Mechanical Industry Press,2006.
[2]GAO Q S,GAO X Y.Foundation of Unified Linguistics [M].Science Press Beijing,2009.
[3]ZHENG J.Variant Construction from Theoretical Foundation to Applications [M/OL].Springer Nature 2019.https://link.springer.com/book/10.1007/978-981-13-2282-2.
[4]ZHENG Z J.Variant Construction Theory and Applications,Vol.1.Theoretical Foundation and Applications [M].Science Press Beijing,2021.
[5]AL-KHALILI J.Paradox:the nine greatest enigmas in sciences [M].Chinese Young Press Beijing,2015.
[6]PANG Z Y,LI J H.Classical Collection on System Theory,Cybernetics and Information Theory [M].Qiushi Press Beijing,1989.
[7]Editor officers.Logic Dictionary [M].Jilin People Press Jilin,1983.
[8]SHAPIRO S.Mathematical Philoshophy [M].Fudan University Press Shanghai,2009.
[9]SOLSON L.History of Paradoxes [M].Peking UniversityPress,2007.
[10]Logic Paradoxes[OL].https://baike.baidu.com/item/逻辑悖论/126875.
[11]KLEIN F.Elementary Mathematics from an Advanced Standpoint [M].Fudan University Press,2008.
[12]RING M.[OL] https://baike.baidu.com/item/莫比乌斯带/4457881.
[13]BARR S.Experiments in Topology,Dover Publications [M].Crowell,1964.
[14]克莱因瓶.[OL].https://baike.baidu.com/item/克莱因瓶/1187845.
[15]KLEENE S C.Godel's impression on students of Logic in the 1930s [M]//Weingartner and Schmetterer,1987:49-64.
[16]WANG H.A logic journey:From Godel to Philosophy [M].MIT Press,1996.
[17]ESCHER M C.The Graphic Work [M].Taschen,1989.
[18]RIEMANN B.Foundations for a General Theory of Functions of a Complex Variable [M]//Collected papers of Bernhard Riemann. Kendrick Press,2004:1-41.
[19]LAI Z D.Lai's I Ching [M].Central Translation Press,2010.
[20]SHI W.Pictures of I Ching and Eight Gua [M].Sichuan Press,2003.
[21]LEI Z.I Ching in ten minutes [M].Zhong Shan University Press 1993.
[22]LEE S C.Modern Switching Theory and Digital Design [M].Prentice-Hall,Inc.,1978.
[23]TURING A M.On computable number with an application to the Entscheidungsproblem [J].Proceedings of the London Mathematics Society,1937,42(2):230-265.
[24]BIRKHOFF G, VON NEUMANN J.The logic of quantum mechanics [J].Ann.Math.,1936(37):823.
[25]BURKS A,GOLDESTINE H,VON NEUMANN J.Preliminary discussion of the logic design of an electronic computing instrument [C]//Collected Works of John Von Neumann(Princeton 1946).The Macmillan Company,New York,1963:34-79.
[26]VON NEUMANN J.Probabilistic logics and the synthesis of reliable organisms from unreliable components [M]//Automata Studies.Princeton University Press,1956:329-378.
[27]DEUTSCH D.Quantum theory,the Church-Turing principleand the universal quantum computer [J].Proceedings of the Royal Society London,1985,A400.
[28]MULLER M.Quantum Komogorov Complexity and the Quantum Turing Machine [D].Technical University of Berlin,2007.
[29]ROBIC B.The Turing Machine [OL].The Foundations of Computability Theory.https://doi.org/10.1007/987-3-662-44808-3\_6.
[30]NIELSEN M A,CHUANG I L.Quantum Computation andQuantum Information [M].Cambridge University Press,2000.
[31]PENROSE R.A Complete Guide to the Laws of the Universe [M].MBA Literary Agency Limited,2004.
[32]LIU H J.Chaotic Semantics and Philoshophy [M].HunnanEducation Press,1996.
[33]WU J.Interdisciplinary Study and Non-linear Thinking [M].Chinese Social Sciences Press.
[34]NAMDARI A,LI Z J.A review of entropy measures for uncertainty quantification of stochastic processes [J].Advances in Mechanical Engineering 2019,11(6):1-14.
[35]BENNATTI F,KRUGER T,MULLER M, et al.Entropy and Quantum Komogorov Complexity:a Quantum Brudno's Theorem [J].Communication of Mathematical Physics,2006,265(2):437-461.
[36]GACS P.Quantum Algorithmic Entropy [J].Journal of Physics A:Mathematics and General,2001, 34:6859-6880.
[37]History of Neuroscience [OL].http://www.columbia.edu/cu/psychology/courses/1010/mangels/neuro/history/history.html.
[38]Milestones in Neuroscience Research [OL].http://faculty.washington.edu/chudler/hist.html.
[39]SCHRÖDINGER,E.What Is Life?:With “Mind and Matter” and “Autobiographical Sketches” [M].Cambridge University Press,1992.
[40]SMITH K.Neuroscience Vs Philosophy:Taking Aim at FreeWill[J].Nature,2011,477(7362):23-25.
[41]HILL C S,MCGINN C.The Mysterious Flame:ConsciousMinds in a Material World [M].Basic Books,2000.
[42]KALITA P,LANGA J A,SOLER-TOSCANO F.Informational Structures and Informational Fields as a Prototype for the Description of Postulates of the Integrated Information Theory [J/OL].Entropy 2019,21,493.https://doi.org/10.3390/e21050493.
[43]HANSON J R, WALKER S I.Integrated Information Theory and Isomorphic Feed-Forward Philosophical Zombies [J/OL].Entropy,2019,21:1073.https://doi.org/10.3390/e21111073.
[44]ALBANTAKIS L,TONONI G.Causal Composition:Structural Differences among Dynamically Equivalent Systems [J/OL].Entropy,2019,21,989.https://doi.org/10.3390/e21100989.
[45]BOLOGNESI T.Integrated Information in Process-AlgebraicCompositions [J/OL].Entropy,2019,21:805.https://doi.org/10.3390/e21080805.
[46]SZU H,WARDLAW M,WILLEY J,et al.Theory of Glial Cells &Neurons Emulating Biological Neural Networks (BNN) for Natural Intelligence (NI) Operated effortlessly at a Minimum Free Energy (MFE) [J].MOJ Applied Bionics and Biomechanics,2017,1(1):8-29.
[1] 蒋楚, 王永杰. GDL:一种通用型代码重用攻击gadget描述语言[J]. 计算机科学, 2020, 47(6): 284-293.
[2] 杨震,马天宝,余文,李艳梅. 广义分子计算模型在0-1背包问题中的应用[J]. 计算机科学, 2014, 41(Z11): 7-9.
[3] 张 磊,王 鹏,黄 焱,陈冬晓,郭又铭. 基于相空间的云计算仿真系统研究与设计[J]. 计算机科学, 2013, 40(2): 84-86.
[4] 谢胜军,殷锋,周绪川. 基于递归率REC特征的网络流量相空间重构监测[J]. 计算机科学, 2013, 40(11): 48-51.
[5] 陈卫民,陈志刚. 基于PSR-LSSVM的网络流量预测[J]. 计算机科学, 2012, 39(7): 92-95.
[6] 李奕权,郑利龙. 墙的另一面—图灵模型更深层次的思考[J]. 计算机科学, 2011, 38(9): 282-287.
[7] 张海粟,张松林,陈桂生. 基于受限生成过程模型的计算涌现分析[J]. 计算机科学, 2011, 38(7): 302-305.
[8] 任海军,张晓星,孙才新,文俊浩. 短期负荷多变量混沌时间序列正则化回归局域预测方法[J]. 计算机科学, 2010, 37(7): 220-224.
[9] 李超 赵海 张昕 袁韶谦. Internet访问时间的混沌性解析[J]. 计算机科学, 2008, 35(5): 85-86.
[10] . 时间Petri网模拟能力的研究[J]. 计算机科学, 2006, 33(4): 234-235.
[11] 陈铿 韩伯棠. 混沌时间序列分析中的相空间重构技术综述[J]. 计算机科学, 2005, 32(4): 67-70.
[12] 陆林生 李志辉 等. 多相空间数值模拟并行化研究[J]. 计算机科学, 2003, 30(3): 129-131.
[13] 曾庆田 吴哲辉. 类S—图的语言性质分析[J]. 计算机科学, 2002, 29(5): 120-122.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 .
[2] 王志锋, 朱琳, 曾春艳, 闵秋莎, 夏丹. 数字图像重压缩检测研究综述[J]. 计算机科学, 2018, 45(9): 20 -29 .
[3] 何亨,夏薇,张继,金瑜,李鹏. 一种云环境中密文数据的模糊多关键词检索方案[J]. 计算机科学, 2017, 44(5): 146 -152 .
[4] 姜玉洁,刘国庆,王天荆. 稀疏原子分解算法在AR模型参数估计中的应用[J]. 计算机科学, 2017, 44(5): 42 -47 .
[5] 张志东,王志海,刘海洋,孙艳歌. 一种基于树型贝叶斯网络的集成多标记分类算法[J]. 计算机科学, 2018, 45(3): 189 -195 .
[6] 张宇嘉,庞建民,张铮,邬江兴. 基于软件多样化的拟态安全防御策略[J]. 计算机科学, 2018, 45(2): 215 -221 .
[7] 邵鑫玉,华继钊. 基于机器视觉的无纺布缺陷自动检测系统[J]. 计算机科学, 2014, 41(Z6): 487 -489 .
[8] 丘威. 一种基于LHPN的信息物理融合系统模型验证方法[J]. 计算机科学, 2014, 41(Z6): 64 -66 .
[9] 刘乔寿,张伟,王汝言,吴大鹏. 6LoWPAN适配层分片与重组算法性能分析[J]. 计算机科学, 2014, 41(7): 176 -180 .
[10] 骆凯,罗军勇,尹美娟,刘琰,高李政. Flash Crowd与DDoS攻击区分方法研究综述[J]. 计算机科学, 2015, 42(Z11): 313 -316 .