Loading…

Priority and relevance in belief revision

AGM model is the notable methodology in belief revision. But there are many AGM belief change operators when contract or revise a set of formulas by a formula. In order to obtain more useful belief change operator, researchers increase some interesting postulates to AGM postulates. On the one hand,...

Full description

Saved in:
Bibliographic Details
Main Author: Maonian Wu
Format: Conference Proceeding
Language:English
Subjects:
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:AGM model is the notable methodology in belief revision. But there are many AGM belief change operators when contract or revise a set of formulas by a formula. In order to obtain more useful belief change operator, researchers increase some interesting postulates to AGM postulates. On the one hand, Nebel give Prioritized belief change operator, a special AGM belief change operator, based on a relation over belief base/set. On the other hand, Parikh, Kourousias and Makinson formulated local belief change by the finest splitting over belief base/set. Naturally, whether there is a prioritized belief revision operator respects AGM postulates and relevance criterion or not? In the paper, we will answer the problem negatively by an example.
DOI:10.1109/ITAIC.2011.6030247