本論文では、自動運転車の行動仕様を明示的に文書化するためのオントロジーベースのアプローチである「Semantic Norm Behavior Analysis」を提案する。
このアプローチでは、まず、関連するステークホルダーのニーズを分析し、それらを正式な行動関連ステークホルダー要件に統合する。次に、これらの要件を、オペレーティング環境の一貫した表現と組み合わせて、目標行動を定義する。
オントロジーを使用して、指定された行動と考慮されたステークホルダーのニーズの間の追跡可能性を確立する。さらに、ロジックプログラミングルールを使用して、オントロジーを補完し、行動仕様の一貫性を検証する。
最終的な成果物は、目標行動を正式に表現するオントロジーと、指定された行動を支持する根拠の文書化である。
Till ett annat språk
från källinnehåll
arxiv.org
Djupare frågor