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

@inproceedings{Falappa2006OnTL,
  title={On the Logic of Theory Change: Relations Between Incision and Selection Functions},
  author={Marcelo A. Falappa and Eduardo L. Ferm{\'e} and Gabriele Kern-Isberner},
  booktitle={ECAI},
  year={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.