Annotated revision programs

Details Annotated revision programs Annotated revision programs

2001-07-19

arxiv.org/abs/cs/0107026v1

Artificial Intelligence Journal, 138 (2002), pp. 149-180.

Computer Science

Artificial Intelligence

30 pages, to appear in Artificial Intelligence Journal

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Annotated revision programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Annotated revision programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Annotated revision programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-657541