Dynamic Conflict Resolution Using Justification Based Reasoning

Werner Damm
Martin Fränzle
Willem Hagemann
Paul Kröger
Astrid Rakow

We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception. We distinguish several types of conflicts for this setting. In order to enable modelling of conflict situations and the reasons for conflicts, we present a logical framework that adopts concepts from epistemic and modal logic, justification and temporal logic. Using this framework, we illustrate how conflicts can be identified and how we derive a chain of justifications leading to this conflict. We discuss how conflict resolution can be done when a vehicle has local, incomplete information, vehicle to vehicle communication (V2V) and partially ordered goals.

In Georgiana Caltais and Jean Krivine: Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2019), Prague, Czech Republic, 7th April 2019, Electronic Proceedings in Theoretical Computer Science 308, pp. 47–65.
Published: 31st October 2019.

ArXived at: http://dx.doi.org/10.4204/EPTCS.308.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org