Annotated revision programs
Victor Marek, Inna Pivkina, Miroslaw Truszczynski

TL;DR
This paper reexamines Fitting's annotated revision programs, identifies issues with his semantics, and proposes an alternative approach that preserves key properties in the context of belief updates.
Contribution
The paper introduces a new semantics for annotated revision programs, improving consistency with intuition and extending properties from standard revision programs.
Findings
The new semantics aligns better with intuitive expectations.
Fundamental properties of justified revisions are preserved.
The approach extends standard revision program results to annotations.
Abstract
Revision programming is a formalism to describe and enforce updates of belief sets and databases. That formalism was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantify the confidence (probability) 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 differs 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 justified revision. We show that under this new approach fundamental properties of justified revisions of standard revision programs extend to the annotated case.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies · AI-based Problem Solving and Planning
