基于合理化推理的动态冲突解决
摘要：交通场景中动态出现的冲突情况是我们研究的对象，不同的参与者试图实现各自的目标，并根据他们的局部感知决定该做什么。我们在此设置中区分了几种类型的冲突。为了能够对冲突情况和冲突原因进行建模，我们提出了一个逻辑框架，采用了认知和模态逻辑、证明和时间逻辑的概念。利用这个框架，我们说明了如何识别冲突以及如何推导出导致这种冲突的一系列理由。我们讨论了当车辆具有局部不完整信息、车辆之间的通信（V2V）和部分有序目标时如何解决冲突。
作者：Werner Damm, Martin Fr"anzle, Willem Hagemann, Paul Kr"oger, Astrid Rakow
论文ID：1905.11764
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2019-05-29