Abstract

Some years ago, we proposed a generalization of the well-known approach to belief revision due to Peter Gardenfors (cf. Gardenfors 1988). According to him, for each theory G (i.e., each set of propositions closed under logical consequence) and each proposition A, there is a unique theory, G*A, which would be the result of revising G with A as new piece of information. There is a unique theory which would constitute the revision of G with A. Thus, belief revision is seen as a function. Our proposal was to view belief revision as a relation rather than as a function on theories. The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. If G and H are theories, and A is a proposition, then GRAH is to be read as: H is an admissible revision of G with A. (Cf. Lind-strom and Rabinowicz, 1989 and 1990.)

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.