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

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. Key Words: Belief Revision, AGM Theory, Partial Meet Contractions, Kernel Contractions.

• Type: Conference
• Year: 2006
• Where: ECAI
• Authors: Marcelo A. Falappa, Eduardo L. Fermé, Gabriele Kern-Isberner
• Keywords: Artificial Intelligence, ECAI 2006, Incision Functions, Kernel Contractions, Partial Meet Contractions