Hypothetical updates, priority and inconsistency in a logic programming language

D. Gabbay; L. Giordano; A. Martelli; N. Olivetti

doi:10.1007/3-540-59487-6_15

Hypothetical updates, priority and inconsistency in a logic programming language

D. Gabbay
, L. Giordano
, A. Martelli
, N. Olivetti

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

6 Scopus citations

Abstract

In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perform several types of defeasible reasoning. We define a goal-directed proof procedure for the language and develope a logical characterization in a modal logic by introducing an abductive semantics.

Original language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings
Editors	V. Wiktor Marek, Miroslaw Truszczynski, Anil Nerode
Publisher	Springer Verlag
Pages	203-216
Number of pages	14
ISBN (Print)	9783540594871
DOIs	https://doi.org/10.1007/3-540-59487-6_15
State	Published - 1995
Externally published	Yes
Event	3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 - Lexington, United States Duration: 26 Jun 1995 → 28 Jun 1995

Publication series

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

Conference

Conference	3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995
Country/Territory	United States
City	Lexington
Period	26/06/95 → 28/06/95

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1995.

Access to Document

10.1007/3-540-59487-6_15

Cite this

Gabbay, D., Giordano, L., Martelli, A., & Olivetti, N. (1995). Hypothetical updates, priority and inconsistency in a logic programming language. In V. W. Marek, M. Truszczynski, & A. Nerode (Eds.), Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings (pp. 203-216). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 928). Springer Verlag. https://doi.org/10.1007/3-540-59487-6_15

Gabbay, D. ; Giordano, L. ; Martelli, A. et al. / Hypothetical updates, priority and inconsistency in a logic programming language. Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. editor / V. Wiktor Marek ; Miroslaw Truszczynski ; Anil Nerode. Springer Verlag, 1995. pp. 203-216 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{56e158909be84a969e3d6c55d12f8c64,

title = "Hypothetical updates, priority and inconsistency in a logic programming language",

abstract = "In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perform several types of defeasible reasoning. We define a goal-directed proof procedure for the language and develope a logical characterization in a modal logic by introducing an abductive semantics.",

author = "D. Gabbay and L. Giordano and A. Martelli and N. Olivetti",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 ; Conference date: 26-06-1995 Through 28-06-1995",

year = "1995",

doi = "10.1007/3-540-59487-6\_15",

language = "אנגלית",

isbn = "9783540594871",

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

publisher = "Springer Verlag",

pages = "203--216",

editor = "Marek, \{V. Wiktor\} and Miroslaw Truszczynski and Anil Nerode",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings",

address = "גרמניה",

}

Gabbay, D, Giordano, L, Martelli, A & Olivetti, N 1995, Hypothetical updates, priority and inconsistency in a logic programming language. in VW Marek, M Truszczynski & A Nerode (eds), Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 928, Springer Verlag, pp. 203-216, 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995, Lexington, United States, 26/06/95. https://doi.org/10.1007/3-540-59487-6_15

Hypothetical updates, priority and inconsistency in a logic programming language. / Gabbay, D.; Giordano, L.; Martelli, A. et al.
Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. ed. / V. Wiktor Marek; Miroslaw Truszczynski; Anil Nerode. Springer Verlag, 1995. p. 203-216 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 928).

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

TY - GEN

T1 - Hypothetical updates, priority and inconsistency in a logic programming language

AU - Gabbay, D.

AU - Giordano, L.

AU - Martelli, A.

AU - Olivetti, N.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1995.

PY - 1995

Y1 - 1995

N2 - In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perform several types of defeasible reasoning. We define a goal-directed proof procedure for the language and develope a logical characterization in a modal logic by introducing an abductive semantics.

AB - In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perform several types of defeasible reasoning. We define a goal-directed proof procedure for the language and develope a logical characterization in a modal logic by introducing an abductive semantics.

UR - https://www.scopus.com/pages/publications/21844495750

U2 - 10.1007/3-540-59487-6_15

DO - 10.1007/3-540-59487-6_15

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:21844495750

SN - 9783540594871

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

SP - 203

EP - 216

BT - Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings

A2 - Marek, V. Wiktor

A2 - Truszczynski, Miroslaw

A2 - Nerode, Anil

PB - Springer Verlag

T2 - 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995

Y2 - 26 June 1995 through 28 June 1995

ER -

Gabbay D, Giordano L, Martelli A, Olivetti N. Hypothetical updates, priority and inconsistency in a logic programming language. In Marek VW, Truszczynski M, Nerode A, editors, Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. Springer Verlag. 1995. p. 203-216. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-59487-6_15

Hypothetical updates, priority and inconsistency in a logic programming language

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this