计算机科学 ›› 2022, Vol. 49 ›› Issue (1): 9-16.doi: 10.11896/jsjkx.210700023
郑智捷
Jeffrey ZHENG
摘要: 高庆狮院士于2006年发表《新模糊集合论基础》专著,为消解模糊逻辑系列悖论进行逻辑理论基础探索;并于2009年在科学出版社发表《统一语言学基础》专著,为多语言计算前沿构造理论基础支撑。这两部专著在他的创新理论基础研究中为传世瑰宝。在悼念高庆狮院士逝世10周年之际,文中利用最新向量逻辑——变值体系,来展现在高老师的研究方向中元知识系统体系架构建模的最新进展。从向量逻辑出发,综合共轭结构、元知识模型以及各类新型处理机制,在现代逻辑和数学中判定一个复杂系统是否包含经典逻辑悖论,对保证该类系统能否存活起到核心判别作用。从分类和判别解析的角度,悖论可以分为两类模式:逻辑悖论和语义悖论。利用共轭环构造4条色带,系统化地消解莫比乌斯环展现的单面特性,展示一系列几何拓扑逻辑等学科内蕴的逻辑悖论,通过共轭环结构,形成完备的消解体系。相关的结构包括易经、微分几何、微分几何拓扑、整体变分泛函优化等复杂动态系统。随着系统化地消解莫比乌斯拓扑几何逻辑悖论,针对复杂知识系统体系架构,描述适配的相关模块及其子模块的体系架构,从经典逻辑出发,系统地建立经典逻辑、有限自动机、图灵机、冯纽曼体系。利用消解莫比乌斯悖论的向量逻辑、共轭结构和变值体系,系统化地构造量子图灵机、多元复函数向量机、复杂智能化系统体系架构以及统一语言学分析系统等,为新型元知识体系构造新型复杂智能化系统开辟道路。
中图分类号:
[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描述语言 GDL:A Gadget Description Language for General Code Reuse Attack 计算机科学, 2020, 47(6): 284-293. https://doi.org/10.11896/jsjkx.190700109 |
[2] | 杨震,马天宝,余文,李艳梅. 广义分子计算模型在0-1背包问题中的应用 Application of Generalized Molecular Computation Model in 0-1 Knapsack Problem 计算机科学, 2014, 41(Z11): 7-9. |
[3] | 张 磊,王 鹏,黄 焱,陈冬晓,郭又铭. 基于相空间的云计算仿真系统研究与设计 Research and Design of Cloud Computing Simulation System Based on Phase Space 计算机科学, 2013, 40(2): 84-86. |
[4] | 谢胜军,殷锋,周绪川. 基于递归率REC特征的网络流量相空间重构监测 Testing of Network Traffic Series in Reconstructed Phase Space Based on Recurrence Rate Feature 计算机科学, 2013, 40(11): 48-51. |
[5] | 陈卫民,陈志刚. 基于PSR-LSSVM的网络流量预测 Network Traffic Prediction Based on Phase Space Reconstruction and Least Square Support Vector Machine 计算机科学, 2012, 39(7): 92-95. |
[6] | 李奕权,郑利龙. 墙的另一面—图灵模型更深层次的思考 Another Side of the Wall--Deeper Thinking in Turing Model 计算机科学, 2011, 38(9): 282-287. |
[7] | 张海粟,张松林,陈桂生. 基于受限生成过程模型的计算涌现分析 Computational Emergence and its Constrained Generating Procedure Model 计算机科学, 2011, 38(7): 302-305. |
[8] | 任海军,张晓星,孙才新,文俊浩. 短期负荷多变量混沌时间序列正则化回归局域预测方法 Regulation Regression Local Forecasting Method of Multivariable Chaotic Time Series in Short-term Electrical Load 计算机科学, 2010, 37(7): 220-224. |
[9] | 李超 赵海 张昕 袁韶谦. Internet访问时间的混沌性解析 计算机科学, 2008, 35(5): 85-86. |
[10] | . 时间Petri网模拟能力的研究 计算机科学, 2006, 33(4): 234-235. |
[11] | 陈铿 韩伯棠. 混沌时间序列分析中的相空间重构技术综述 计算机科学, 2005, 32(4): 67-70. |
[12] | 陆林生 李志辉 等. 多相空间数值模拟并行化研究 计算机科学, 2003, 30(3): 129-131. |
[13] | 曾庆田 吴哲辉. 类S—图的语言性质分析 计算机科学, 2002, 29(5): 120-122. |
|