[論文レビュー] Phenomenon-Signal Model: Formalisation, Graph and Application

Hans Nikolaus Beck, Nayel Fabian Salem+3 more|arXiv (Cornell University)|Jul 20, 2022

Advanced Research in Systems and Signal Processing被引用数 4

ひとこと要約

本論文は、オープンな交通環境下における自動運転システムの信号フロー、知識、意思決定を形式的フレームワークとしてモデル化する現象信号モデル（PSM）を紹介する。ヒュステルの現象学とルールベース論理を統合することで、指標、事実、行動のグラフとしてターゲット行動を構造化し、L4/L5自動運転車両における透明性と安全の根拠に基づく推論を可能にするとともに、複雑な行動シナリオの検証・検査を支援する。

ABSTRACT

Considering information as the basis of action, it may be of interest to examine the flow and acquisition of information between the actors in traffic. The central question is: Which signals does an automated driving system (which will be referred to as an automaton in the remainder of this paper) in traffic have to receive, decode or send in road traffic in order to act safely and in a manner that is compliant with valid standards. The phenomenon-signal model (PSM) is a method for structuring the problem area and for analysing and describing this very signal flow. The aim of this paper is to explain the basics, the structure and the application of this method.

研究の動機と目的

• オープンで動的な交通環境下におけるL4/L5自動運転車両の安全で社会的要件を満たす行動の定義と検証の課題に対処すること。
• 道路利用者と自動システム間の情報、知識、意図の流れを現象学的原則を用いて形式化すること。
• 自動運転における行動意思決定の透明な正当化を可能にする、構造的でグラフベースのモデリング手法の開発。
• ターゲット行動とその信号およびルールへの依存関係を形式化することで、自動運転車両の行動の体系的検証・検査を可能にすること。
• 複雑な交通シナリオにわたるPSMグラフの生成と評価を支援するコンピュータ支援手法の開発を支援すること。

提案手法

• PSMは、ヒュステルの現象学に基づき、意図性と信号の主観的解釈を重視する交通イベントを通信イベントとしてモデル化する。
• 3つのコアコンponentsを形式化する：指標（受信信号）、事実（信号状態の解釈）、行動（行動的反応）、これらはルールベース論理で結びつけられる。
• ノードが指標、事実、行動を表し、エッジが論理的依存関係およびルール遷移を表す有向グラフを構築する。
• ルールがノード間の遷移を支配し、上位レベルのルールが下位レベルのルールを上書きまたは変更可能であり、階層的意思決定を可能にする。
• ターゲット行動は、グラフ内を通過する特定のパスとして同定可能であり、各パスは有効で安全な行動シーケンスに対応する。
• 形式的定式化により、各構成要素（指標、事実、行動）が論理的かつ現象学的根拠から導出可能であり、追跡可能で正当化可能な推論が可能になる。

実験結果

リサーチクエスチョン

• RQ1 L4/L5自動運転車両の行動を、オープンで予測不可能な交通環境下で形式的に記述・検証することはどのように可能か？
• RQ2 自動システムが交通信号を認識し反応する際、主観的解釈と意図性が果たす役割は何か？
• RQ3 信号の流れと意思決定プロセスを、安全の根拠付けと検証を支援する形でどのようにモデル化できるか？
• RQ4 ルールベース論理とグラフ構造は、自動運転における複雑で文脈依存の行動をどのように表現できるか？
• RQ5 PSMは、大規模で現実世界の交通シナリオに対して、どのように体系的に生成・評価できるか？

主な発見

• PSMは、解釈可能なルールベース論理を介して信号の受信から行動へのリンクを形式的でグラフベースの表現として提供する。
• モデルにより、ターゲット行動は特定で追跡可能なグラフ内パスとして同定可能であり、安全基準および法的基準との整合性が保証される。
• 指標、事実、行動の形式化により、動的な交通状況下における安全に重要な意思決定の透明で正当化可能な推論が可能になる。
• フレームワークにより、危険要因分析とシナリオ定義から行動要件を体系的に導出可能である。
• ルールの階層構造とグラフ解析を通じて、行動の完全性評価とリスク最小化を可能にするため、PSMは検証・検査を支援する。
• モデルはコンピュータ支援による生成・評価を想定しており、複雑で現実世界の交通シナリオに対してもスケーラブルである。