Between Belief Bases and Belief Sets: Partial Meet ContractionDownload PDF

2015 (modified: 16 Jul 2019)DARe@IJCAI 2015Readers: Everyone
Abstract: In belief revision, the result of a contraction should be a logically closed set (closure) such that the input is not inferred (success). Traditionally, these two postulates depend on the same consequence operator. The present work investigates the consequences of using two different consequence operators for each of these desiderata: the classic Cn to compute success and a second weaker operator to compute the closure. We prove a representation theorem and some other properties for the new contraction.
0 Replies