On the Logic of Theory Change: Relations between Incision and Selection Functions

Authors:
Marcelo A. Falappa;Eduardo L. Fermé;Gabriele Kern-Isberner
Affiliations:
Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur, CONICET, Bahía Blanca, Argentina, email: mfalappa@cs ...;Departamento de Matemática e Engenharias, Universidade da Madeira, Portugal, email: ferme@uma.pt;Department of Computer Science, University of Dortmund, Dortmund, Germany, email: gabriele.kern-isberner@cs.uni-dortmund.de
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 4
Cited 3

An assumption-based TMS

Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation

Artificial Intelligence
Kernel contraction

Journal of Symbolic Logic
Explanations, belief revision and defeasible reasoning

Artificial Intelligence

A Kernel Revision Operator for Terminologies -- Algorithms and Evaluation

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
On the link between partial meet, kernel, and infra contraction and its application to Horn logic

Journal of Artificial Intelligence Research
A framework for empirical evaluation of belief change operators

SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in kernel contractions) from selection functions (used in partial meet contractions) and vice versa. Then we make precise under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them.