Switch to: Citations

Add references

You must login to add references.
  1. Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
    I provide a method of measuring the inconsistency of a set of sentences from 1-consistency, corresponding to complete consistency, to 0-consistency, corresponding to the explicit presence of a contradiction. Using this notion to analyze the lottery paradox, one can see that the set of sentences capturing the paradox has a high degree of consistency (assuming, of course, a sufficiently large lottery). The measure of consistency, however, is not limited to paradoxes. I also provide results for general sets of sentences.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (1 other version)On the logic of theory change: Partial meet contraction and revision functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
    This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...)
    Download  
     
    Export citation  
     
    Bookmark   745 citations  
  • A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
    Download  
     
    Export citation  
     
    Bookmark   134 citations  
  • On the expressivity of inconsistency measures.Matthias Thimm - 2016 - Artificial Intelligence 234 (C):120-151.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation.Glauber De Bona & Marcelo Finger - 2015 - Artificial Intelligence 227 (C):140-164.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Finding explanations of inconsistency in multi-context systems.Thomas Eiter, Michael Fink, Peter Schüller & Antonius Weinzierl - 2014 - Artificial Intelligence 216 (C):233-274.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the measure of conflicts: Shapley Inconsistency Values.Anthony Hunter & Sébastien Konieczny - 2010 - Artificial Intelligence 174 (14):1007-1026.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Classifications for inconsistent theories.John Grant - 1978 - Notre Dame Journal of Formal Logic 19 (3):435-444.
    Download  
     
    Export citation  
     
    Bookmark   16 citations