Annotated revision programs

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

doi:10.1007/3-540-46767-X_4

Annotated revision programs

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

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 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 case of annotated revision programs.

Original language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings
Editors	Nicola Leone, Gerald Pfeifer, Michael Gelfond
Pages	49-62
Number of pages	14
DOIs	https://doi.org/10.1007/3-540-46767-X_4
State	Published - 1999
Event	5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 - El Paso, United States Duration: Dec 2 1999 → Dec 4 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1730
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999
Country/Territory	United States
City	El Paso
Period	12/2/99 → 12/4/99

Bibliographical note

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

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science (all)

Access to Document

10.1007/3-540-46767-X_4

Cite this

Marek, V., Pivkina, I., & Truszczyński, M. (1999). Annotated revision programs. In N. Leone, G. Pfeifer, & M. Gelfond (Eds.), Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings (pp. 49-62). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1730). https://doi.org/10.1007/3-540-46767-X_4

Marek, Victor ; Pivkina, Inna ; Truszczyński, Mirosław. / Annotated revision programs. Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. editor / Nicola Leone ; Gerald Pfeifer ; Michael Gelfond. 1999. pp. 49-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c5d44717a66345beac63b6997875f419,

title = "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 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 case of annotated revision programs.",

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. Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 ; Conference date: 02-12-1999 Through 04-12-1999",

year = "1999",

doi = "10.1007/3-540-46767-X_4",

language = "English",

isbn = "3540667490",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "49--62",

editor = "Nicola Leone and Gerald Pfeifer and Michael Gelfond",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings",

}

Marek, V, Pivkina, I & Truszczyński, M 1999, Annotated revision programs. in N Leone, G Pfeifer & M Gelfond (eds), Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1730, pp. 49-62, 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999, El Paso, United States, 12/2/99. https://doi.org/10.1007/3-540-46767-X_4

Annotated revision programs. / Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław.
Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. ed. / Nicola Leone; Gerald Pfeifer; Michael Gelfond. 1999. p. 49-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1730).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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. Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 1999

Y1 - 1999

N2 - 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 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 case of annotated revision programs.

AB - 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 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 case of annotated revision programs.

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

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

U2 - 10.1007/3-540-46767-X_4

DO - 10.1007/3-540-46767-X_4

M3 - Conference contribution

AN - SCOPUS:84958641822

SN - 3540667490

SN - 9783540667490

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 49

EP - 62

BT - Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings

A2 - Leone, Nicola

A2 - Pfeifer, Gerald

A2 - Gelfond, Michael

T2 - 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999

Y2 - 2 December 1999 through 4 December 1999

ER -

Marek V, Pivkina I, Truszczyński M. Annotated revision programs. In Leone N, Pfeifer G, Gelfond M, editors, Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. 1999. p. 49-62. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-46767-X_4

Annotated revision programs

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this