時間とともに反応するシステムの判断理由を形式化
Sufficient Reasons and Explanations for Reactive Systems
この論文をやさしく読む
ひとことで言うと
入力に応じて動き続けるシステムについて、ある振る舞いが起きるのに十分な理由と、別の結果との違いを説明する理由を定義する研究です。時間的な関係も扱います。
何に役立つ？
時相論理の仕様に基づくシステムの振る舞いを、形式的な理由で説明・検証する基礎になります。説明を探す難しさと、与えられた説明を確かめる難しさを分けて調べています。
この研究の面白いところ
ニューラルネットワークの説明で用いられる2種類の概念を、時間を持つリアクティブシステムへ統一的に移しています。個別の時点だけでなく記号的な時間表現まで拡張する点が特徴です。
どこまで分かった？
要旨で示されるのは定義、計算量解析、試作実装による提示です。具体的な計算量クラスや大規模システムでの処理時間、利用者にとっての分かりやすさの評価は記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
私たちは、リアクティブシステムにおける時間的な因果性と説明可能性の問題を扱い、この設定で十分理由と対比的説明を研究する。これら2つの概念は、ニューラルネットワークの文脈ではよく知られた説明可能性の尺度である。本研究では、リアクティブシステムと時相論理で与えられる形式仕様について両概念を統一し、十分理由と対比的説明のための専用の定義を与える。 続いて、これらの定義を時間的な十分理由と対比的説明へ拡張し、説明可能性をより一般的かつ記号的に表現できるようにする。異なる種類の説明について、それを検証する問題と見つける問題の両方の計算量を分析し、試作実装を用いて本手法を示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We address the problem of temporal causality and explainability for reactive systems, and, in this setting, study sufficient reasons and contrastive explanations. These two notions are well-known explainability measures in the context of neural networks. In this work, we unify these notions for reactive systems and formal specifications given in temporal logic, providing dedicated definitions for sufficient reasons and contrastive explanations. We then lift these definitions to \emph{temporal} sufficient reasons and contrastive explanations, providing more general and symbolic representations of explainability. We analyze the complexity of both verifying and finding explanations of the different types, and we demonstrate our approach using a prototype implementation.
arXiv ID: 2610.02184 ／ 要約の誤りについて