高信頼AIのための実行時検証の発展～離散から連続へ

研究課題

体系的番号	JPMJBY24H8
研究代表者	和賀正樹国立情報学研究所, 数理的高信頼ソフトウェアシステム研究センター, 特任研究員
研究期間 (年度)	2025 – 2030 (予定)
概要	AIシステムを社会の中で広く利用するためには、信頼性の担保が必要となります。本研究ではシステムの実行時の情報を用いて、数学的な妥当性の元で安全性や公平性などの品質を保証する実行時検証を、より連続的な設定でも適用可能なように柔軟かつ実用的に発展させることで、自動運転車や交通システム、大規模言語モデルなどを含む幅広いAIシステムの信頼性向上のための基盤技術の創出を目指します。