Publication | Closed Access
On the Semantics of Arbitration
176
Citations
0
References
1997
Year
Civil LitigationEngineeringLawHigher-order LogicSemanticsFormal VerificationComputational LogicSystems EngineeringFormal SystemNew InformationRewriting SystemLabor ArbitrationFormal SemanticsDispute ResolutionDecision ProcedureArbitration OperatorsComputer ScienceAutomated ReasoningArbitrationFormal MethodsUpdate OperatorsLinguistics
Revision and update operators add new information to old logical theories, while arbitration operators combine multiple weighted pieces of information based on relative importance. This paper shows that arbitration operators can also be characterized as accomplishing a minimal change. The paper defines and analyzes a model‑fitting operator. Katsuno and Mendelzon demonstrate that both revision and update operators achieve minimal change.
Revision and update operators add new information to some old information represented by a logical theory. Katsuno and Mendelzon show that both revision and update operators can be characterized as accomplishing a minimal change in the old information to accommodate the new information. Arbitration operators add two or more weighted informations together where the weights indicate the relative importance of the informations rather than a strict priority. This paper shows that arbitration operators can be also characterized as accomplishing a minimal change. The operator of model-fitting is also defined and analyzed in the paper.