Justification Based Reasoning in Dynamic Conflict Resolution [Werner Damm, Martin Franzle, Willem Hagemann, Paul Kroger, 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.
Justification Based Reasoning in Dynamic Conflict Resolution (Willem Hagemann.pdf) | 392KiB |
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 18:00 | |||
16:00 45mTalk | Analysis, Repair and Causality for Timed Diagnostic Traces CREST Stefan Leue University of Konstanz File Attached | ||
16:45 25mResearch paper | Justification Based Reasoning in Dynamic Conflict Resolution [Werner Damm, Martin Franzle, Willem Hagemann, Paul Kroger, Astrid Rakow] CREST File Attached | ||
17:10 25mResearch paper | Towards A Logical Account of Epistemic Causality [Shakil M. Khan, Mikhail Soutchanski] CREST File Attached |