An Epistemic Logic for Arbitration (Extended Abstract)


Arbitration is the process of settling a conflict between two or more persons[Liberatore and Schaerf, 1995; Revesz, 1993; 1997]. The first version of the arbitration operator between knowledge bases is proposed in [Revesz, 1993] via the socalled model-fitting operators. The postulates for modelfitting operators and the corresponding semantic… (More)


  • Presentations referencing similar topics