Annotated Revision Programs

13 years 9 months ago
Annotated Revision Programs
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantify certainty (likelihood) that a revision atom holds. The main goal of our paper is to reexamine the work of Fitting, argue that his semantics does not always provide results consistent with intuition and to propose an alternative treatment of annotated revision programs. Our approach di ers from that proposed by Fitting in two key aspects: we change the notion of a model of a program and we change the notion of a justi ed revision. We show that under this new approach fundamental properties of justi ed revisions of standard revision programs extend to the case of annotated revision programs.
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Authors V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
Comments (0)