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 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 | 137-144 |
Number of pages | 8 |
ISBN (Print) | 9783540573951 |
DOIs | |
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.