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.

• Type: Conference
• Year: 1999
• Where: LPNMR
• Authors: V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
• Keywords: Automated Reasoning, LPNMR 1999, Revision Atom, Revision Programming, Revision Programs