不確実性下での多目的軌道評価のためのリスク対応ルールブック

要旨: システムとその環境との間に不確実な相互作用が存在する状況において、システム軌跡を評価するためのリスク認識型の形式主義を提案します。提案する形式主義は、不確実性のもとでの推論を支え、階層的な優先度や比較不能性を含む、要求と目的の複雑な関係を体系的に扱います。環境を外生的なノイズとして扱うのではなく、各システム軌跡が環境にどのように影響するかを明示的にモデル化し、その結果として得られる環境応答の分布のもとで軌跡を評価します。本形式主義がシステム軌跡の集合上に前順序（preorder）を導くことを証明し、整合性を保証するとともに循環する嗜好（cyclic preferences）を防ぎます。最後に、自動運転の例でこの手法を示し、軌跡選択の根拠を明確化することで、本形式主義が説明可能性をどのように高めるかを実演します。