Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9649991 | Artificial Intelligence | 2005 | 37 Pages |
Abstract
We reformulate AGM postulates for belief revision systems that may contain conditional formulas. We show that we can establish a mapping between belief revision systems and conditionals by means of the so called Ramsey Test, without incurring Gärdenfors triviality result. We then derive the conditional logic BCR from our revision postulates by means of a strong version of the Ramsey Test. We give a sound and complete axiomatization of this logic with respect to its standard selection-function models semantics, and we prove its decidability. We finally show that there is an isomorphism between belief revision systems and selection function models of BCR via a representation theorem. The logic BCR provides a logical formalization of belief revision in the language of conditional logic.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Laura Giordano, Valentina Gliozzi, Nicola Olivetti,