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 meta-level system that uses actions for handling inconsistent databases.
Preview
Unable to display preview. Download preview PDF.
References
Anderson A and Belnap N (1975) Entailment, Princeton University Press
Balzer R (1991) Tolerating inconsistnecy, in proceedings of the 13th International Conference on Software Engineering, IEEE Press
Barringer H, Fisher M, Gabbay D, Gough G and Owens R (1989) MetateM: A framework for programming in temporal logic, in REX Workshop on Stepwise Refinement of Distributed Systems, LNCS 430, Springer Verlag
Barringer H, Fisher M, Gabbay D, and Hunter A (1991) Meta-reasoning in executable temporal logic, in Principles of Knowledge and Reasoning: Proceedings of the Second International Conference (KR91), Morgan Kaufmann
Bowen K and Kowalski R (1982) Amalgamating language and meta-language, in Clark K and Tarnlund S, Logic Programming, Academic Press
da Costa N C (1974) On the theory of inconsistent formal systems, Notre Dame Journal of Formal Logic, 15, 497–510
Doyle J (1979) A truth maintenance system, Artificial Intelligence, 12, 231–297
Fagin R, Ullman J and Vardi M (1983) On the semantics of updates in databases, in Proceedings of the Second Annual Association of Computing Machinery Symposium on Principles of Database Systems
Gabbay D (1989) Declarative past and imperative future: Executable temporal logic for intereactive systems, in Banieqbal B, Barringer H and Pneuli A, Proceedings of Colloquium on Temporal Logic in Specification, Lecture Notes in Computer Science, 398, Springer
Gabbay D (1991) Labelled deductive systems, Technical report, Centrum fur Informations und Sprachverarbeitung, Universitat Munchen
Gabbay D (1993) Labelled deductive systems: A position paper, in Proceedings of Logic Colloquium '90, Lecture Notes in Logic 1, Springer Verlag
Gabbay D and Hunter A (1991) Making inconsistency respectable: Part I, in Proceedings of Fundamentals of Artificial Intelligence Research '91, LNCS 535, Springer Verlag
Gabbay D and Hunter A (1993) Restricted access logics for inconsistent information, in Proceedings ESQARU'93, LNCS, Springer
Gardenfors P (1988) Knowledge in Flux, MIT Press
Hill P and Lloyd J (1988) Analysis of meta-programs, in Proceedings of the Workshop on Meta-programming in Logic Programming, University of Bristol
Hunter A (1992) A conceptualization of preferences in non-monotonic proof theory, in Pearce D and Wagner G, Logics in AI, Lecture Notes in Artificial Intelligence 633, Springer
de Kleer J (1978) An assumption-based TMS, Artificial Intelligence, 28, 127–162
Naqvi S and Rossi F (1990) Reasoning in inconsistent databases, in Debray S and Hermenegildo M, Logic Programming: Proceedings of the North American Conference, MIT Press
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gabbay, D., Hunter, A. (1993). Making inconsistency respectable: Part 2 — Meta-level handling of inconsistency. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028192
Download citation
DOI: https://doi.org/10.1007/BFb0028192
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57395-1
Online ISBN: 978-3-540-48130-0
eBook Packages: Springer Book Archive