On the Logic of Theory Change: Relations between Incision and Selection Functions
2006 (English)In: ECAI 2006, PROCEEDINGS, 2006, Vol. 141, 402-406 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
2006. Vol. 141, 402-406 p.
, Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389
Belief Revision, AGM Theory, Partial Meet Contractions, Kernel Contractions
IdentifiersURN: urn:nbn:se:kth:diva-29594ISI: 000273875100078ISBN: 978-1-58603-642-3OAI: oai:DiVA.org:kth-29594DiVA: diva2:396571
17th European Conference on Artificial Intelligence Riva del Garda, ITALY, AUG 28, 2006
QC 201102102011-02-102011-02-102011-02-11Bibliographically approved