Proj
J-GLOBAL ID：202404017724935849
Research Project code：23828728
Compositionalなモデル検査によるニューロシンボリックAIの安全性保証
Compositionalなモデル検査によるニューロシンボリックAIの安全性保証
National award number：JPMJAX23CU
Study period：2023 - 2025
Organization (1)：
Principal investigator：
(
, 複合科学研究科, 大学院生 )
DOI：
https://doi.org/10.52926/JPMJAX23CU
Research overview：
深層学習により得られた出力に従って制御を行うニューロシンボリックAIの安全性保証は重要な課題です。本研究では、近年提案者らが定式化したcompositionalなモデル検査を発展させ、ニューロシンボリックAIの安全性保証を実現します。具体的には、ニューラルネットをブラックボックス化された構成要素と見なす事で、compositionalにニューロシンボリックAIの安全性を保証することを目指します。
Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
Research program：
＞
＞
Parent Research Project：
Innovations in Mathematical and Information Sciences to Build the Next-Generation AI
Organization with control over the research：
Japan Science and Technology Agency
