Cyberlogic and cyber-driven logic

XU Yang; NING Huan-sheng; WAN Yue-liang; ZHOU Fang

doi:10.13374/j.issn2095-9389.2020.12.19.002

Volume 43 Issue 5

May 2021

Turn off MathJax

Article Contents

Article Navigation > Chinese Journal of Engineering > 2021 > 43(5): 702-709

XU Yang, NING Huan-sheng, WAN Yue-liang, ZHOU Fang. Cyberlogic and cyber-driven logic[J]. Chinese Journal of Engineering, 2021, 43(5): 702-709. doi: 10.13374/j.issn2095-9389.2020.12.19.002

Citation:

XU Yang, NING Huan-sheng, WAN Yue-liang, ZHOU Fang. Cyberlogic and cyber-driven logic[J]. Chinese Journal of Engineering, 2021, 43(5): 702-709. doi: 10.13374/j.issn2095-9389.2020.12.19.002

XU Yang, NING Huan-sheng, WAN Yue-liang, ZHOU Fang. Cyberlogic and cyber-driven logic[J]. Chinese Journal of Engineering, 2021, 43(5): 702-709. doi: 10.13374/j.issn2095-9389.2020.12.19.002

Citation:

XU Yang, NING Huan-sheng, WAN Yue-liang, ZHOU Fang. Cyberlogic and cyber-driven logic[J]. Chinese Journal of Engineering, 2021, 43(5): 702-709. doi: 10.13374/j.issn2095-9389.2020.12.19.002

PDF( 731 KB)

Cyberlogic and cyber-driven logic

doi: 10.13374/j.issn2095-9389.2020.12.19.002

XU Yang¹,
NING Huan-sheng^{1, 2},
WAN Yue-liang^{2, 3},
ZHOU Fang^{1
,
,}

1.
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China
2.
Beijing Engineering Research Center for Cyberspace Data Analysis and Applications, Beijing 100083, China
3.
Run Technologies Co., Ltd. Beijing, Beijing 100192, China

More Information

Corresponding author: E-mail: zhoufang@ies.ustb.edu.cn
Received Date: 2020-12-19
Publish Date: 2021-05-25

Abstract

Abstract

The logic in the traditional space (physics, society, and thinking space) is summarized as the traditional logic (physical logic, social logic, and thinking logic, respectively.) Correspondingly, with the development of cyber (network) space, people began to summarize the basic rules in cyberspace and express them in a logical form. This approach became the concept of cyberlogic, an important research area that differs from traditional logic and paves the way from cyber philosophy to cyber science. In recent years, research in the field of cyberlogic has made progress, and the profound influence of cyberlogic on other spaces has gradually received attention from the academic community. Cyberlogic-related applications have grown rapidly in certain fields, such as computer logic, expert system, public opinion, smart factories, and the cyber economy. In addition, research on the mapping of traditional logic to cyberspace in specific fields has progressed, and the relationship between traditional logic and cyberlogic has been analyzed. However, only a small amount of research has been conducted on the overall cyberlogic system, some of which lacks systematicity. This situation is not conducive to the construction of the cybermatics theory system. This paper systematically studied the logic in cyberspace from a broad perspective and divided cyberlogic into cyberized logic and cyberself logic. First, it reviewed the traditional logic. Then, it introduced the concept of the cyberization of traditional logic, analyzed the similarities and differences between traditional logic and cyberlogic, emphasized the adaptability in the cyberization process, and expounded on the generation of cyberself logic. Finally, this paper analyzed the influence of cyberlogic on traditional logic and summarizes the connotation of cyber-driven logic. This article provided support for systematic research on cyberspace.
- cyber,
- logic,
- cyberlogic,
- cyber-driven logic,
- traditional logic

FullText(HTML)

References(31)

References

[1]	Myers T. The postmodern imaginary in William Gibson’s Neuromancer. MFS Modern Fiction Studies, 2001, 47(4): 887 doi: 10.1353/mfs.2001.0100
[2]	Kramer F D, Starr S H, Wentz L K. Cyberpower and National Security. 1st Ed. Sterling: Potomac Books, 2009
[3]	Wikipedia. Cyberspace [Z/OL]. Wikipedia (2020-12-02) [2020-12-14]. https://en.wikipedia.org/w/index.php?title=Cyberspace&oldid=980316545
[4]	Ning H S, Ye X Z, Bouras M A, et al. General cyberspace: Cyberspace and cyber-enabled spaces. IEEE Internet Things J, 2018, 5(3): 1843 doi: 10.1109/JIOT.2018.2815535
[5]	Ma J H, Ning H S, Huang R H, et al. Cybermatics: A holistic field for systematic study of cyber-enabled new worlds. IEEE Access, 2015, 3: 2270 doi: 10.1109/ACCESS.2015.2498288
[6]	漢典. 邏輯 [Z/OL]. 漢典 (2014-07-12) [2020-12-14]. https://www.zdic.net/hans/%E9%80%BB%E8%BE%91 Zdic. Logic [Z/OL]. Zdic (2014-07-12) [2020-12-14]. https://www.zdic.net/hans/%E9%80%BB%E8%BE%91
[7]	Ning H S, Li Q J, Wei D W, et al. Cyberlogic paves the way from cyber philosophy to cyber science. IEEE Internet Things J, 2017, 4(3): 783 doi: 10.1109/JIOT.2017.2666798
[8]	Huth M, Ryan M. Logic in Computer Science: Modelling and Reasoning about Systems. 1st Ed. Cambridge: Cambridge University Press, 2004
[9]	Parnas D L. Predicate logic for software engineering. IEEE Trans Software Eng, 1993, 19(9): 856 doi: 10.1109/32.241769
[10]	管秀雪, 徐建軍. 網絡空間輿論生態系統的發生三要素與邏輯生成. 海南大學學報(人文社會科學版), 2018, 36(2):85 Guan X X, Xu J J. Three elements and logic generation of public opinion ecosystem in the network space. Humanities Social Sci J Hainan Univ, 2018, 36(2): 85
[11]	Zhou Y Q, Moy P. Parsing framing processes: The interplay between online public opinion and media coverage. J Commun, 2007, 57(1): 79
[12]	Nelson V P, Nagle H T, Carroll B D, et al. Digital Logic Circuit Analysis and Design. 1st Ed. Pearson, 1995
[13]	Chinsuwan N, Radpukdee T. Mathematical modeling of a plant factory system for optimal fuzzy logic control // 2020 IEEE International Conference on Automatic Control and Intelligent Systems. Shah Alam, 2020: 195
[14]	Platzer A. Logical Foundations of Cyber-Physical Systems. 1st Ed. Cham: Springer, 2018
[15]	Hoxha B, Dokhanchi A, Fainekos G. Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int J Softw Tools Technol Transfer, 2018, 20(1): 79 doi: 10.1007/s10009-017-0447-4
[16]	Kuhn A. The Logic of Social Systems: a Unified, Deductive, System-based Approach to Social Science. 1st Ed. San Francisco: Jossey-Bass, 1974
[17]	Suissa A J. Cyber addictions: toward a psychosocial perspective. Addict Behav, 2015, 43: 28 doi: 10.1016/j.addbeh.2014.09.020
[18]	Shaw M, Black D W. Internet addiction. CNS drugs, 2008, 22(5): 353 doi: 10.2165/00023210-200822050-00001
[19]	Shoenfield J R. Mathematical Logic. 1st Ed. CRC Press, 1967
[20]	Ning H S, Liu H, Ma J H, et al. Cybermatics: Cyber–physical–social–thinking hyperspace based science and technology. Future Gener Comput Syst, 2016, 56: 504 doi: 10.1016/j.future.2015.07.012
[21]	Ning H S, Liu H, Ma J H, et al. From internet to smart world. IEEE Access, 2015, 3: 1994 doi: 10.1109/ACCESS.2015.2493890
[22]	Kurose J, Ross K. Computer Networking: A Top-down Approach. 5th Ed. New Jersey: Addison-Wesley, 2010
[23]	嚴蔚敏, 吳偉民. 數據結構. 2版. 北京: 清華大學出版社, 2007 Yan W M, Wu W M. Data Structure. 2nd Ed. Beijing: Tsinghua University Press, 2007
[24]	Li L Z, Ota K, Dong M X. Humanlike driving: Empirical decision-making system for autonomous vehicles. IEEE Trans Veh Technol, 2018, 67(8): 6814 doi: 10.1109/TVT.2018.2822762
[25]	趙娜. 近二十年網絡用語分期研究[學位論文]. 煙臺: 魯東大學, 2019 Zhao N. Research on the Periodization of Internet Terms in the Past Twenty Years [Dissertation]. Yantai: Ludong University, 2019
[26]	Clauser R C. Offline rules, online tools. J Brand Manage, 2001, 8(4): 270 doi: 10.1057/palgrave.bm.2540028
[27]	張海藩, 牟永敏. 軟件工程導論. 6版. 北京: 清華大學出版社, 2013 Zhang H P, Mu Y M. Introduction to Software Engineering. 6th Ed. Beijing: Tsinghua University Press, 2013
[28]	Long J, Shelhamer E, Darrell T. Fully convolutional networks for semantic segmentation // Proceedings of the 2015 IEEE Conference on Computer Vision and Pattern Recognition. Boston, 2015: 3431
[29]	Watts D J, Strogatz S H. Collective dynamics of ‘small-world’ networks. Nature, 1998, 393(6684): 440 doi: 10.1038/30918
[30]	Leskovec J, Horvitz E. Planetary-scale views on an instant-messaging network // Proceedings of the 16th International Conference on World Wide Web. Beijing, 2008: 1
[31]	Dunbar R I M. Neocortex size as a constraint on group size in primates. J Human Evol, 1992, 22(6): 469 doi: 10.1016/0047-2484(92)90081-J