Knowledge Commons of Institute of Automation,CAS
From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence | |
Liang, Xiaolong1,2,3; Ding, Wenwen1; Qin, Rui2,3; Hou, Jiachen1; Yuan, Yong4,5; Wang, Xiao2; Wang, Fei-Yue1,2,6 | |
发表期刊 | IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS |
ISSN | 2329-924X |
2023-07-07 | |
页码 | 10 |
通讯作者 | 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. |
关键词 | Blockchain complex adaptive systems for computer-aided dynamic design (casCAD2) decentralized autonomous organizations (DAOs) parallel governance parallel intelligence smart contracts |
DOI | 10.1109/TCSS.2023.3287246 |
收录类别 | SCI |
语种 | 英语 |
资助项目 | Science and Technology Development Fund ; Macau SAR[0050/2020/A1] ; National Natural Science Foundation of China[62103411] |
项目资助者 | Science and Technology Development Fund ; Macau SAR ; National Natural Science Foundation of China |
WOS研究方向 | Computer Science |
WOS类目 | Computer Science, Cybernetics ; Computer Science, Information Systems |
WOS记录号 | WOS:001030667500001 |
出版者 | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC |
引用统计 | |
文献类型 | 期刊论文 |
条目标识符 | http://ir.ia.ac.cn/handle/173211/53742 |
专题 | 多模态人工智能系统全国重点实验室 |
通讯作者 | Wang, Fei-Yue |
作者单位 | 1.Macau Univ Sci & Technol, Fac Innovat Engn, Macau, Peoples R China 2.Chinese Acad Sci, Inst Automat, State Key Lab Management & Control Complex Syst, Beijing 100190, Peoples R China 3.Chinese Acad Sci, Inst Automat, State Key Lab Multimodal Artificial Intelligence S, Beijing 100190, Peoples R China 4.Renmin Univ China, Sch Math, Beijing 100872, Peoples R China 5.Renmin Univ China, Engn Res Ctr Finance Computat & Digital Engn, Minist Educ, Beijing 100872, Peoples R China 6.Qingdao Acad Intelligent Ind, Qingdao 266109, 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. |
条目包含的文件 | 条目无相关文件。 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论