Annotated revision programs

Victor Marek; Inna Pivkina; Mirosław Truszczyński

doi:10.1016/S0004-3702(02)00184-4

Annotated revision programs

Victor Marek, Inna Pivkina, Mirosław Truszczyński

Computer Science

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

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.

Original language	English
Pages (from-to)	149-180
Number of pages	32
Journal	Artificial Intelligence
Volume	138
Issue number	1-2
DOIs	https://doi.org/10.1016/S0004-3702(02)00184-4
State	Published - Jun 2002

Bibliographical note

Funding Information:
This work was partially supported by the NSF grants CDA-9502645 and IRI-9619233.

Funding

This work was partially supported by the NSF grants CDA-9502645 and IRI-9619233.

Funders	Funder number
National Science Foundation (NSF)	IRI-9619233, CDA-9502645
Directorate for Computer and Information Science and Engineering	9502645, 9619233

Keywords

Annotated programs
Belief revision
Database updates
Knowledge representation
Revision programming

ASJC Scopus subject areas

Language and Linguistics
Linguistics and Language
Artificial Intelligence

Access to Document

10.1016/S0004-3702(02)00184-4

Cite this

@article{50c21c95d4e24150a68aca509c5d71a9,

title = "Annotated revision programs",

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.",

keywords = "Annotated programs, Belief revision, Database updates, Knowledge representation, Revision programming",

author = "Victor Marek and Inna Pivkina and Miros{\l}aw Truszczy{\'n}ski",

note = "Funding Information: This work was partially supported by the NSF grants CDA-9502645 and IRI-9619233.",

year = "2002",

month = jun,

doi = "10.1016/S0004-3702(02)00184-4",

language = "English",

volume = "138",

pages = "149--180",

number = "1-2",

}

TY - JOUR

T1 - Annotated revision programs

AU - Marek, Victor

AU - Pivkina, Inna

AU - Truszczyński, Mirosław

N1 - Funding Information: This work was partially supported by the NSF grants CDA-9502645 and IRI-9619233.

PY - 2002/6

Y1 - 2002/6

N2 - 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.

AB - 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.

KW - Annotated programs

KW - Belief revision

KW - Database updates

KW - Knowledge representation

KW - Revision programming

UR - http://www.scopus.com/inward/record.url?scp=1642369919&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=1642369919&partnerID=8YFLogxK

U2 - 10.1016/S0004-3702(02)00184-4

DO - 10.1016/S0004-3702(02)00184-4

M3 - Article

AN - SCOPUS:1642369919

SN - 0004-3702

VL - 138

SP - 149

EP - 180

JO - Artificial Intelligence

JF - Artificial Intelligence

IS - 1-2

ER -

Annotated revision programs

Abstract

Bibliographical note

Funding

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this