Visible to the public Justification Based Reasoning in Dynamic Conflict ResolutionConflict Detection Enabled

TitleJustification Based Reasoning in Dynamic Conflict Resolution
Publication TypeConference Paper
Year of Publication2019
AuthorsWerner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Conference Name4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
Date PublishedApril 7, 2019
PublisherEuropean Joint Conferences on Theory and Practice of Software
Conference LocationPrague, Czech Republic
Keywordscausation, dynamic conflict resolution, Explanations, formal reasoning, Justification based reasoning, responsibility, traffic, traffic scenarios, V2V, vehicle to vehicle communications
Abstract

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.

URLhttps://uol.de/fileadmin/user_upload/informatik/ag/hs/download/technical-reports/damm-dcr-2018-tr.pd...
Citation Keynode-62082