An Epistemic Logic for Arbitration (Extended Abstract)

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)

Topics

  • Presentations referencing similar topics