A framework for empirical evaluation of belief change operators

Abstract

Belief revision has been extensively studied in the last thirty years. While there are many results in the literature comparing different operators from a theoretical point of view, there is no study of how the different operators perform in practice. In this paper, we propose a framework for empirical testing of belief change operators. The idea is that any operator can be quickly implemented making use of the available API and then tested for multiple scenarios. We illustrate the use of the framework with a case study comparing partial meet and kernel contraction operators.