品質保証と説明の両立による信頼できるAIの構築技術

研究課題

戦略的な研究開発の推進戦略的創造研究推進事業さきがけ

体系的番号	JPMJPR22CA
DOI	https://doi.org/10.52926/JPMJPR22CA
研究代表者	和賀正樹京都大学, 大学院情報学研究科, 助教
研究期間 (年度)	2022 – 2025
概要	AIシステムを信頼できるようにするためには、安全性、公平性、頑健性などの、システムの「正しさ」の保証とその説明が必要となります。本研究ではAIシステムの動作を説明する近似数理モデルの自動導出と、導出された数理モデルの数学的証明による正しさの保証を組み合わせることで、「正しさ」の保証と説明を両立する、信頼できるAIシステムのための基盤技術を創出し、プロトタイプツールの実装を目指します。
研究領域	信頼されるAIの基盤技術

主な研究成果
(3件)

すべて雑誌論文 (3件) (国際共著 3件、査読あり 3件、オープンアクセス 1件)

[雑誌論文] Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.2024
- 著者名
  Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian 0001, Kohei Suenaga
- 雑誌名
  
  Runtime Verification - 24th International Conference(RV)
  
  ページ: 59-69
- 査読あり / 国際共著
[雑誌論文] Hyper Parametric Timed CTL2024
- 著者名
  Masaki Waga, Etienne Andre
- 雑誌名
  
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- 査読あり / 国際共著
[雑誌論文] A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches.2024
- 著者名
  Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi
- 雑誌名
  
  The Thirteenth International Conference on Learning Representations
- 査読あり / オープンアクセス / 国際共著