Making inconsistency respectable: Part 2 - meta-level handling of inconsistency

Dov Gabbay; Anthony Hunter

doi:10.1007/bfb0028192

Making inconsistency respectable: Part 2 - meta-level handling of inconsistency

Dov Gabbay, Anthony Hunter

Imperial College London

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

40 Scopus citations

Abstract

Inconsistency in a database, when viewed purely logically, seem undesirable. Indeed the traditional approach to dealing with inconsistency in data is to employ means to restore consistency immediately. However, it is important to study the larger environment containing such databases, and the circumstances surrounding the inconsistency. We argue that within the larger environment, an inconsistency can be desirable, and useful, if we know appropriate actions to handle it. In some cases we may wish to remove the inconsistency, and in other cases we may wish to keep it. Moreover, we claim that inconsistencies only become meaningful when considered in the context of the larger environment, and in particular, of how they arise and are handled. In this paper we present a recta-level system that uses actions for handling inconsistent databases.

Original language	English
Title of host publication	Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings
Editors	Michael Clarke, Rudolf Kruse, Serafin Moral
Publisher	Springer Verlag
Pages	129-136
Number of pages	8
ISBN (Print)	9783540573951
DOIs	https://doi.org/10.1007/bfb0028192
State	Published - 1993
Externally published	Yes
Event	European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993 - Granada, Spain Duration: 8 Nov 1993 → 10 Nov 1993

Publication series

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

Conference

Conference	European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993
Country/Territory	Spain
City	Granada
Period	8/11/93 → 10/11/93

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

Funding

This work is currently being funded by UK SERC grant GR/G 29861, and by the CEC ESPRIT DRUMS 2 project. The first author is a SERC senior research fellow.

Funders	Funder number
CEC ESPRIT DRUMS
Connecticut State Emergency Response Commission	GR/G 29861

Access to Document

10.1007/bfb0028192

Cite this

Gabbay, D., & Hunter, A. (1993). Making inconsistency respectable: Part 2 - meta-level handling of inconsistency. In M. Clarke, R. Kruse, & S. Moral (Eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings (pp. 129-136). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 747 LNCS). Springer Verlag. https://doi.org/10.1007/bfb0028192

Gabbay, Dov ; Hunter, Anthony. / Making inconsistency respectable : Part 2 - meta-level handling of inconsistency. Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings. editor / Michael Clarke ; Rudolf Kruse ; Serafin Moral. Springer Verlag, 1993. pp. 129-136 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{86a88be6ffdb4892ba55d5fae9765835,

title = "Making inconsistency respectable: Part 2 - meta-level handling of inconsistency",

abstract = "Inconsistency in a database, when viewed purely logically, seem undesirable. Indeed the traditional approach to dealing with inconsistency in data is to employ means to restore consistency immediately. However, it is important to study the larger environment containing such databases, and the circumstances surrounding the inconsistency. We argue that within the larger environment, an inconsistency can be desirable, and useful, if we know appropriate actions to handle it. In some cases we may wish to remove the inconsistency, and in other cases we may wish to keep it. Moreover, we claim that inconsistencies only become meaningful when considered in the context of the larger environment, and in particular, of how they arise and are handled. In this paper we present a recta-level system that uses actions for handling inconsistent databases.",

author = "Dov Gabbay and Anthony Hunter",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993 ; Conference date: 08-11-1993 Through 10-11-1993",

year = "1993",

doi = "10.1007/bfb0028192",

language = "אנגלית",

isbn = "9783540573951",

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

publisher = "Springer Verlag",

pages = "129--136",

editor = "Michael Clarke and Rudolf Kruse and Serafin Moral",

booktitle = "Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings",

address = "גרמניה",

}

Gabbay, D & Hunter, A 1993, Making inconsistency respectable: Part 2 - meta-level handling of inconsistency. in M Clarke, R Kruse & S Moral (eds), Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 747 LNCS, Springer Verlag, pp. 129-136, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993, Granada, Spain, 8/11/93. https://doi.org/10.1007/bfb0028192

Making inconsistency respectable: Part 2 - meta-level handling of inconsistency. / Gabbay, Dov; Hunter, Anthony.
Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings. ed. / Michael Clarke; Rudolf Kruse; Serafin Moral. Springer Verlag, 1993. p. 129-136 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 747 LNCS).

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

TY - GEN

T1 - Making inconsistency respectable

T2 - European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993

AU - Gabbay, Dov

AU - Hunter, Anthony

PY - 1993

Y1 - 1993

N2 - Inconsistency in a database, when viewed purely logically, seem undesirable. Indeed the traditional approach to dealing with inconsistency in data is to employ means to restore consistency immediately. However, it is important to study the larger environment containing such databases, and the circumstances surrounding the inconsistency. We argue that within the larger environment, an inconsistency can be desirable, and useful, if we know appropriate actions to handle it. In some cases we may wish to remove the inconsistency, and in other cases we may wish to keep it. Moreover, we claim that inconsistencies only become meaningful when considered in the context of the larger environment, and in particular, of how they arise and are handled. In this paper we present a recta-level system that uses actions for handling inconsistent databases.

AB - Inconsistency in a database, when viewed purely logically, seem undesirable. Indeed the traditional approach to dealing with inconsistency in data is to employ means to restore consistency immediately. However, it is important to study the larger environment containing such databases, and the circumstances surrounding the inconsistency. We argue that within the larger environment, an inconsistency can be desirable, and useful, if we know appropriate actions to handle it. In some cases we may wish to remove the inconsistency, and in other cases we may wish to keep it. Moreover, we claim that inconsistencies only become meaningful when considered in the context of the larger environment, and in particular, of how they arise and are handled. In this paper we present a recta-level system that uses actions for handling inconsistent databases.

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

U2 - 10.1007/bfb0028192

DO - 10.1007/bfb0028192

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

AN - SCOPUS:0004793479

SN - 9783540573951

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

SP - 129

EP - 136

BT - Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings

A2 - Clarke, Michael

A2 - Kruse, Rudolf

A2 - Moral, Serafin

PB - Springer Verlag

Y2 - 8 November 1993 through 10 November 1993

ER -

Gabbay D, Hunter A. Making inconsistency respectable: Part 2 - meta-level handling of inconsistency. In Clarke M, Kruse R, Moral S, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings. Springer Verlag. 1993. p. 129-136. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0028192

Making inconsistency respectable: Part 2 - meta-level handling of inconsistency

Abstract

Publication series

Conference

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this