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

Producción científica: Conference contribution › revisión exhaustiva

1 Cita (Scopus)

Resumen

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.

Idioma original	English
Título de la publicación alojada	Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings
Editores	Nicola Leone, Gerald Pfeifer, Michael Gelfond
Páginas	49-62
Número de páginas	14
DOI	https://doi.org/10.1007/3-540-46767-X_4
Estado	Published - 1999
Evento	5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 - El Paso, United States Duración: dic 2 1999 → dic 4 1999

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	1730
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Conference

Conference	5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999
País/Territorio	United States
Ciudad	El Paso
Período	12/2/99 → 12/4/99

Nota bibliográfica

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

Financiación

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

Financiadores	Número del financiador
National Science Foundation (NSF)	IRI-9619233, CDA-9502645
Directorate for Computer and Information Science and Engineering	9502645, 9619233

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Acceder al documento

10.1007/3-540-46767-X_4

Otros archivos y enlaces

Citar esto

Marek, V., Pivkina, I., & Truszczyński, M. (1999). Annotated revision programs. En 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 = "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. En 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).

Producción científica: Conference contribution › revisión exhaustiva

TY - GEN

T1 - Annotated revision programs

AU - Marek, Victor

AU - Pivkina, Inna

AU - Truszczyński, Mirosław

N1 - 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 - https://www.scopus.com/pages/publications/84958641822

UR - https://www.scopus.com/pages/publications/84958641822#tab=citedBy

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. En Leone N, Pfeifer G, Gelfond M, editores, 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

Resumen

Serie de la publicación

Conference

Nota bibliográfica

Financiación

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto