A framework for empirical evaluation of belief change operators

Authors:
Renato U. Lundberg;Márcio M. Ribeiro;Renata Wassermann
Affiliations:
Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil;Centro de Lógica e Epistemologia, Universidade Estadual de Campinas, Brazil;Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil
Venue:
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Year:
2012

Citing 8
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
The implementation of a model-based belief revision system

ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Kernel contraction

Journal of Symbolic Logic
A Textbook of Belief Dynamics: Solutions to Exercises

A Textbook of Belief Dynamics: Solutions to Exercises
Revisions of knowledge systems using epistemic entrenchment

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Debugging and repair of owl ontologies

Debugging and repair of owl ontologies
On the Logic of Theory Change: Relations between Incision and Selection Functions

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Base Revision for Ontology Debugging

Journal of Logic and Computation

Quantified Score

Hi-index	0.00

Visualization

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.