GRAVITAS：基于模型检验的自主系统规划与目标推理框架
人工智能
2019-10-04 v1
摘要
尽管人工智能技术在自主系统中已获得许多成功应用，但其中许多技术允许的行为难以解释，并可能导致不确定的结果。我们遵循“验证即规划”范式，提出使用模型检验技术来解决自主系统的规划和目标推理问题。我们给出了一种新的目标任务网络（GTN）表述，该表述专为基于模型检验的框架量身定制。随后，我们提供了一种系统化方法，在模型检验器过程分析工具包（PAT）中对 GTN 进行建模。我们将规划与目标推理系统作为一个框架提出，称为面向独立可信自主系统的目标推理与验证（GRAVITAS），并讨论了它如何在不确定环境中帮助提供可信的规划。最后，我们通过一个模拟 REMUS-100 自主水下航行器执行勘测任务的实验来展示所提出的思想。
引用
@article{arxiv.1910.01380,
title = {GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems},
author = {Hadrien Bride and Jin Song Dong and Ryan Green and Zhe Hou and Brendan Mahony and Martin Oxenham},
journal= {arXiv preprint arXiv:1910.01380},
year = {2019}
}