会议专题

Priority and Relevance in Belief Revision

AGM model is the notable methodology in belief revision. Put 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.

Belief revision prioritized belief revision relevance criterion.

Maonian Wu

School of Science,Guizhou University,Guiyang, China

国际会议

2011 6th Joint International Information Technology and Artificial Intelligence Conference(2011年第六届IEEE联合国际信息技术与人工智能会议 IEEE ITAIC 2011)

重庆

英文

459-463

2011-08-20(万方平台首次上网日期,不代表论文的发表时间)