リ カンコウ   Guanhong LI   李　冠宏    所属   京都外国語大学  国際貢献学部 グローバル観光学科    職種   講師
言語種別	英語
発行・発表の年月	2024/05
形態種別	論文
査読	査読あり
標題	An innovative approach to studying complex social problems by combining multi-agent simulation and model-checking
執筆形態	共著
掲載誌名	Proceedings of the 38th Annual Conference of the Japanese Society for Artificial Intelligence
掲載区分	国内
総ページ数	2
著者・共著者	◎Xiaoyun GUO, Guanhong LI
概要	This study addresses the challenges of analyzing complex social problems in the context of multi-agent simulation. Computational social scientists often face difficulties in effectively measuring issues such as sustainability and creativity. These issues involve dynamic processes that are difficult to represent by a single state or indicator. To improve the analysis of these dynamic social problems, we propose the use of model checking, a formal verification technique commonly used in hardware and software system design. We illustrate the potential of this approach with a multi-agent model based on opinion dynamics, demonstrating its applicability to the study of complex social phenomena. This integration of model checking into socio-dynamic system modeling offers a innovative avenue for advancing computational social science research on diverse topics.