Justification Based Reasoning in Dynamic Conflict Resolution

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.

[1]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[2]  Stuart R Perkins,et al.  Traffic conflict characteristics-accident potential at intersections , 1968 .

[3]  Zoran Ognjanovic,et al.  Probabilistic Justification Logic , 2016, LFCS.

[4]  Sergei N. Artëmov,et al.  Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..

[5]  J. Gerbrandy,et al.  Distributed Knowledge , 2022 .

[6]  Sergei N. Artëmov,et al.  Logical omniscience as a computational complexity problem , 2009, TARK '09.

[7]  D M DeJoy,et al.  The optimism bias and traffic accident risk perception. , 1989, Accident; analysis and prevention.

[8]  Sergei N. Artëmov.  Justified common knowledge , 2006, Theor. Comput. Sci..

[9]  R. Rosenfeld.  Belief , 2012, Otolaryngology--head and neck surgery : official journal of American Academy of Otolaryngology-Head and Neck Surgery.

[10]  Meghdad Ghari,et al.  Temporal Justification Logic , 2017, M4M@ICLA.

[11]  Jean-François Raskin,et al.  Assume-Admissible Synthesis , 2015, CONCUR.

[12]  Krishnendu Chatterjee,et al.  Assume-Guarantee Synthesis , 2007, TACAS.

[13]  Bernd Finkbeiner,et al.  What You Really Need To Know About Your Neighbor , 2016, SYNT@CAV.

[14]  Miguel A. Vadillo,et al.  Illusion of Control , 2013, Experimental psychology.

[15]  Jonas Sjöberg,et al.  Convex modeling of conflict resolution at traffic intersections , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[16]  Bernd Finkbeiner,et al.  Does It Pay to Extend the Perimeter of a World Model? , 2011, FM.

[17]  G Tiwari,et al.  Conflict analysis for prediction of fatal crash locations in mixed traffic streams. , 1995, Accident; analysis and prevention.

[18]  Evangelia Antonakos.  Justified and Common Knowledge: Limited Conservativity , 2007, LFCS.

[19]  Johan Galtung,et al.  Violence, Peace, and Peace Research , 1969 .

[20]  Edmund L. Gettier.  Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.

[21]  Alexis Drogoul,et al.  How to Combine Reactivity and Anticipation: The Case of Conflicts Resolution in a Simulated Road Traffic , 2000, MABS.

[22]  Sergei N. Artëmov.  THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.