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

doi:10.11896/jsjkx.210700023

Abstract

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: Classical computing system, Conjugate logic, Conjugate transformation structure, Meta knowledge system, Phase space, Quantum Turing machine, Turing machine, Unified linguistics

CLC Number:

O144

Jeffrey ZHENG. Meta Knowledge Intelligent Systems on Resolving Logic Paradoxes[J].Computer Science, 2022, 49(1): 9-16.

References

[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.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Comments

Recommended 0

No Suggested Reading articles found!

Meta Knowledge Intelligent Systems on Resolving Logic Paradoxes

PDF (PC)

Abstract

Cite this article

share this article

References

Related Articles 9

Metrics

Comments

Recommended 0

[1]	JIANG Chu, WANG Yong-jie. GDL:A Gadget Description Language for General Code Reuse Attack [J]. Computer Science, 2020, 47(6): 284-293.
[2]	. Research and Design of Cloud Computing Simulation System Based on Phase Space [J]. Computer Science, 2013, 40(2): 84-86.
[3]	XIE Sheng-jun,YIN Feng and ZHOU Xu-chuan. Testing of Network Traffic Series in Reconstructed Phase Space Based on Recurrence Rate Feature [J]. Computer Science, 2013, 40(11): 48-51.
[4]	. Network Traffic Prediction Based on Phase Space Reconstruction and Least Square Support Vector Machine [J]. Computer Science, 2012, 39(7): 92-95.
[5]	LEE Yick Kuen , CHENG Lee Lung. Another Side of the Wall--Deeper Thinking in Turing Model [J]. Computer Science, 2011, 38(9): 282-287.
[6]	ZHANG Hai-su,ZHANG Song-lin,CHEN Gui-sheng. Computational Emergence and its Constrained Generating Procedure Model [J]. Computer Science, 2011, 38(7): 302-305.
[7]	REN Hai-jun,ZHANG Xiao-xing,SUN Cai-xin,WEN Jun-hao. Regulation Regression Local Forecasting Method of Multivariable Chaotic Time Series in Short-term Electrical Load [J]. Computer Science, 2010, 37(7): 220-224.
[8]	LI Chao ZHAO Hai ZHANG Xin YUAN Shao-qian （School of Information Science and Engineering, Northeastern University,Shenyang 110004,China）. [J]. Computer Science, 2008, 35(5): 85-86.
[9]	. [J]. Computer Science, 2006, 33(4): 234-235.