リ カンコウ   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.