賽博邏輯與賽博驅動邏輯

徐陽; 寧煥生; 萬月亮; 周芳

doi:10.13374/j.issn2095-9389.2020.12.19.002

賽博邏輯與賽博驅動邏輯

doi: 10.13374/j.issn2095-9389.2020.12.19.002

徐陽¹,
寧煥生^{1, 2},
萬月亮^{2, 3},
周芳^1, ,

1.
北京科技大學計算機與通信工程學院，北京 100083
2.
北京市網絡空間數據分析與應用工程技術研究中心，北京 100083
3.
北京銳安科技有限公司，北京 100192

基金項目: 國家自然科學基金資助項目（61872038）；中央高校基本科研業務費專項資金資助項目（FRF-GF-19-020B）

詳細信息

通訊作者:
E-mail：zhoufang@ies.ustb.edu.cn

中圖分類號: TP302.2
計量
- 文章訪問數: 824
- HTML全文瀏覽量: 537
- PDF下載量: 38
- 被引次數: 0
出版歷程
- 收稿日期: 2020-12-19
- 刊出日期: 2021-05-25

Cyberlogic and cyber-driven logic

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

摘要

摘要: 從廣義視角系統地研究了賽博空間中的邏輯，并把賽博邏輯分為賽博化邏輯和賽博自生邏輯兩大部分。首先回顧了傳統邏輯，接著介紹了傳統邏輯賽博化的概念，對比了傳統邏輯和賽博化邏輯的異同，強調了賽博化過程中的適應性，并闡述了賽博邏輯自生的過程，最后分析了賽博邏輯對傳統邏輯的影響，歸納了賽博驅動邏輯的內涵，為系統研究賽博空間提供了支持。
- 賽博 /
- 邏輯 /
- 賽博邏輯 /
- 賽博驅動邏輯 /
- 傳統邏輯
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

HTML全文

圖 1 賽博化和賽博驅動

Figure 1. Cyberization and cyber-driven logic

下載: 全尺寸圖片幻燈片

圖 2 賽博邏輯典型實例

Figure 2. Typical examples of cyberlogic

下載: 全尺寸圖片幻燈片

表 1 物理、社會、思維空間中的傳統邏輯

Table 1. Traditional logic in physical, social, and thinking spaces

Type	Main content	Typical example
Thinking logic	The laws involved in the thinking of intelligent creatures	Propositional logic, mathematical logic, and language
Physical logic	The principles of natural science and objective laws involved in its application	Physics, chemistry, mechanical principles, basic biology, and basic life sciences
Social logic	The principles of social sciences and objective laws involved in its application	Politics, economy, culture, aesthetics, popularity, and public opinion

下載: 導出CSV

259luxu-164

參考文獻(31)

[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]	Zdic. Logic [Z/OL]. Zdic (2014-07-12) [2020-12-14]. https://www.zdic.net/hans/%E9%80%BB%E8%BE%91 漢典. 邏輯 [Z/OL]. 漢典 (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]	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 管秀雪, 徐建軍. 網絡空間輿論生態系統的發生三要素與邏輯生成. 海南大學學報(人文社會科學版), 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]	Yan W M, Wu W M. Data Structure. 2nd Ed. Beijing: Tsinghua University Press, 2007 嚴蔚敏, 吳偉民. 數據結構. 2版. 北京: 清華大學出版社, 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]	Zhao N. Research on the Periodization of Internet Terms in the Past Twenty Years [Dissertation]. Yantai: Ludong University, 2019 趙娜. 近二十年網絡用語分期研究[學位論文]. 煙臺: 魯東大學, 2019
[26]	Clauser R C. Offline rules, online tools. J Brand Manage, 2001, 8(4): 270 doi: 10.1057/palgrave.bm.2540028
[27]	Zhang H P, Mu Y M. Introduction to Software Engineering. 6th Ed. Beijing: Tsinghua University Press, 2013 張海藩, 牟永敏. 軟件工程導論. 6版. 北京: 清華大學出版社, 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