Restricted access logics for inconsistent information

Dov Gabbay, Anthony Hunter

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Scopus citations

Abstract

For practical reasoning with classically inconsistent information, desiderata for an appropriate logic L could include (1) it is an extension of classical logic - in the sense that all classical tautologies are theorems of L, and (2) contradictions do not trivialize L - in the sense that ex falso quodlibet does not hold. Two ways of realizing the second desideratum, for any database that may be inconsistent, include (A) take weaker than classical proof rules, but use all the data, or (B) take all the classical proof rules, but restrict the access of the data to the proof rules. The problem with adopting option (A) is that desideratum (1) is then not realizable. In this paper, we pursue option (B) by adding extra conditions on the proof rules to stop certain subsets of the data using the classical proof rules. To facilitate the presentation, we use the approach of Labelled Deductive Systems - formulae are labelled, and proof rules defined to manipulate both the formulae and the labels. The extra conditions on the proof rules are then defined in terms of the labels. This gives us a class of logics, called restricted access logics, that meet the desiderata above.

Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings
EditorsMichael Clarke, Rudolf Kruse, Serafin Moral
PublisherSpringer Verlag
Pages137-144
Number of pages8
ISBN (Print)9783540573951
DOIs
StatePublished - 1993
Externally publishedYes
EventEuropean Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993 - Granada, Spain
Duration: 8 Nov 199310 Nov 1993

Publication series

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

Conference

ConferenceEuropean Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993
Country/TerritorySpain
CityGranada
Period8/11/9310/11/93

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

Fingerprint

Dive into the research topics of 'Restricted access logics for inconsistent information'. Together they form a unique fingerprint.

Cite this