Reducing Belief Revision to Circumscription (and vice versa)

Paolo Liberatore and Marco Schaerf

Artificial Intelligence

Nonmonotonic formalisms and belief revision operators have been introduced as useful tools to describe and reason about evolving scenarios. Both approaches have been proven effective in a number of different situations. However, little is known about their relationship. Previous work by Winslett has shown some correlations between a specific operator and circumscription. In this paper we greatly extend Winslett's work by establishing new relations between circumscription and a large number of belief revision operators. This highlights similarities and differences between these formalisms. Furthermore, these connections provide us with the possibility of importing results in one field into the other one.


 @article{libe-scha-97-b,
 title = {Reducing Belief Revision to Circumscription (and vice
 versa)},
 year = {1997},
 author = {Liberatore, Paolo and Schaerf, Marco},
 journal = {Artificial Intelligence},
 pages = {261--296},
 number = {1--2},
 volume = {93},
 }
 
HTTP download.
doi: 10.1016/S0004-3702(97)00016-7