On the Logic of Theory Change: Relations between Incision and Selection Functions
Marcelo Alejandro Falappa, Eduardo Fermé, Gabriele Kern-Isberner · European Conference on Artificial Intelligence · 2006
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.