利用本体论实现自动驾驶关键性的形式化与识别
人工智能
2022-07-06 v2 计算机科学中的逻辑
摘要
知识表示与推理长期以来研究知识如何被机器形式化、解释和语义分析。在自动驾驶车辆领域，近期进展表明，将相关知识形式化并加以利用，是应对交通世界固有开放且复杂语境的关键赋能因素。本文展示了本体论作为强大工具可用于：a) 建模与形式化，以及 b) 推理自动驾驶车辆环境中与关键性相关的因素。为此，我们利用著名的 6 层模型创建环境语境的形式化表示。在该表示中，本体论将领域知识建模为逻辑公理，从而能够对交通场景与情景中关键因素的存在进行演绎。为执行自动化分析，我们结合先验谓词增强使用了描述逻辑与规则联合推理机。我们详述了这一模块化方法，给出了公开可用的实现，并借助大规模城市交通场景无人机数据集对方法进行了评估。
引用
@article{arxiv.2205.01532,
title = {Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving},
author = {Lukas Westhofen and Christian Neurohr and Martin Butz and Maike Scholtes and Michael Schuldes},
journal= {arXiv preprint arXiv:2205.01532},
year = {2022}
}