From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence

doi:10.1109/TCSS.2023.3287246

CORC > 自动化研究所 > 中国科学院自动化研究所 > 多模态人工智能系统全国重点实验室

	From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence
	Liang, Xiaolong 2,3,6; Ding, Wenwen 3; Qin, Rui 2,6; Hou, Jiachen 3; Yuan, Yong 1,5; Wang, Xiao 6; Wang, Fei-Yue 3,4,6
刊名	IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS
	2023-07-07
页码	10
关键词	Blockchain complex adaptive systems for computer-aided dynamic design (casCAD2) decentralized autonomous organizations (DAOs) parallel governance parallel intelligence smart contracts
ISSN号	2329-924X
DOI	10.1109/TCSS.2023.3287246
通讯作者	Wang, Fei-Yue(feiyue.wang@ia.ac.cn)
英文摘要	The governance technology of decentralized autonomous organizations (DAOs) provides an effective solution for solving existing organizational management issues. Governance mechanisms of DAOs are usually encoded in smart contracts in the form of rule sets and executed automatically. However, the mechanism's logical flaws and code errors expose DAOs to unpredictable risks. Complex adaptive dynamics computer-aided design (CadCAD) can test the effectiveness of the mechanisms through simulation. Nonetheless, as DAOs are typical complex systems with social and engineering complexity, managing, controlling, and supervising their operation through traditional methods are difficult. The parallel intelligence theory based on artificial societies, computational experiments, and parallel execution (ACP) method provides an effective research framework and practical method for solving DAOs' governance issues. Therefore, in this article, we propose a parallel mechanism verification method and execution system, namely, complex adaptive systems for computer-aided dynamic design (casCAD2) as an extension of cadCAD. Leveraging parallel intelligence and cyber-physical-social systems (CPSS), casCAD2 is capable of probing into the laws that govern system evolution within a simulated environment. It serves as a robust tool for verifying the efficacy of DAOs' mechanisms and predicting their potential risks. We also build a parallel market-based anchoring mechanism (MAM) system to demonstrate how it can be used for DAOs' mechanism verification. This study can provide a new research method and application system for DAOs' effective governance.
资助项目	Science and Technology Development Fund ; Macau SAR[0050/2020/A1] ; National Natural Science Foundation of China[62103411]
WOS研究方向	Computer Science
语种	英语
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
WOS记录号	WOS:001030667500001
资助机构	Science and Technology Development Fund ; Macau SAR ; National Natural Science Foundation of China
内容类型	期刊论文
源URL	[http://ir.ia.ac.cn/handle/173211/53741]
专题	多模态人工智能系统全国重点实验室
通讯作者	Wang, Fei-Yue
作者单位	1.Renmin Univ China, Engn Res Ctr Finance Computat & Digital Engn, Minist Educ, Beijing 100872, Peoples R China 2.Chinese Acad Sci, Inst Automat, State Key Lab Multimodal Artificial Intelligence S, Beijing 100190, Peoples R China 3.Macau Univ Sci & Technol, Fac Innovat Engn, Macau, Peoples R China 4.Qingdao Acad Intelligent Ind, Qingdao 266109, Peoples R China 5.Renmin Univ China, Sch Math, Beijing 100872, Peoples R China 6.Chinese Acad Sci, Inst Automat, State Key Lab Management & Control Complex Syst, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Liang, Xiaolong,Ding, Wenwen,Qin, Rui,et al. From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence[J]. IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS,2023:10.
APA	Liang, Xiaolong.,Ding, Wenwen.,Qin, Rui.,Hou, Jiachen.,Yuan, Yong.,...&Wang, Fei-Yue.(2023).From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence.IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS,10.
MLA	Liang, Xiaolong,et al."From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence".IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS (2023):10.