Sources of, and exploiting, inconsistency: preliminary report

Journal of Applied Non-Classical Logics 7 (1-2):13-24 (1997)
  Copy   BIBTEX

Abstract

ABSTRACT Although much effort has been expended by researchers in trying to maintain a consistent belief base in formalizing commonsense reasoning, there is some evidence that the nature of commonsense reasoning itself brings inconsistencies with it. I will outline a number of sources of such inconsistencies, and discuss why they appear unavoidable. I will also suggest that, far from being a roadblock to effective commonsense, (detected) inconsistencies are often a reasoner's best guide to what to do next.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-10-30

Downloads
71 (#296,062)

6 months
8 (#587,211)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What's new isn't always best.Sven Ove Hansson - 1997 - Theoria 63 (1-2):1-13.

Add more citations

References found in this work

The web of belief.Willard Van Orman Quine & J. S. Ullian - 1970 - New York,: Random House. Edited by J. S. Ullian.
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.

View all 7 references / Add more references