Fault-Tolerant Reasoning

Dissertation, Indiana University (1994)
  Copy   BIBTEX

Abstract

This thesis analyzes from a philosophical perspective different models for nonmonotonic inference, belief revision and the handling of inconsistencies. ;The first chapter serves as an introduction to the subject, giving examples and analyzing the main concepts. As a result of these discussions, this thesis tries to: produce a refined map of the main notions related to this subject, maintain that there can be a fault tolerant logic that stands in support of fault tolerant reasoning, and defend the use of deductive databases as models for changes of belief. ;The second chapter explores monotonic proposals to deal with uncertain reasoning. These include logics based on a classical notion of consequence, interpretations of defeasible reasoning as containing implicit premises, and systems in which temporal change is an integral part of the representation of states of affairs, via temporal indices or more elaborate devices. ;The third chapter explores quantitative approaches to nonmonotonic reasoning like dispositional logic, and theories of probabilistic reasoning including Bayesian, certainty factors, and Dempster-Shafer. ;The fourth chapter explores qualitative approaches. Here we mention conditional, default, and nonmonotonic logics, and the circumscription and autoepistemic formalisms. ;The fifth chapter studies different proposals to deal with contradictions. It starts with a review of the types of belief inconsistencies, and then it presents mechanisms to prevent, control or correct them. I explore paraconsistent logics, specially relevance logics, to "bracket" the area of conflict and allow inferences about non-related topics to continue unaffected. Then I examine different methods to get rid of the inconsistencies, including the use of dependency-directed backtracking and of relevance logic. ;Finally, I present my conclusions, and mention some of the open problems

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The nature of nonmonotonic reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
Nonmonotonic reasoning: logical foundations of commonsense.Gerhard Brewka (ed.) - 1991 - New York: Cambridge University Press.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Belief Revision, Conditional Logic and Nonmonotonic Reasoning.Wayne Wobcke - 1995 - Notre Dame Journal of Formal Logic 36 (1):55-103.
Nonmonotonic Logics: Basic Concepts, Results, and Techniques.Karl Schlechta - 1997 - Lecture Notes in Artificial Intelligence.
Moral dilemmas and nonmonotonic logic.John F. Horty - 1994 - Journal of Philosophical Logic 23 (1):35 - 65.
Relevant logic as a basis for paraconsistent epistemic logics.Gerson Zaverucha - 1992 - Journal of Applied Non-Classical Logics 2 (2):225-241.

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references