Methods | Statistics | Clinical | Educational | Industrial | Professional items | World psychology |
Philosophy Index: Aesthetics · Epistemology · Ethics · Logic · Metaphysics · Consciousness · Philosophy of Language · Philosophy of Mind · Philosophy of Science · Social and Political philosophy · Philosophies · Philosophers · List of lists
Defeasible reasoning is the study of forms of reasoning that, while convincing, are not as formal and rigorous as deductive reasoning. It has been discussed in philosophy and, more recently, in artificial intelligence.
Origins in philosophy Edit
Though Aristotle differentiated the forms of reasoning that are valid for logic and philosophy from the more general ones that are used in everyday life (see dialectics and rhetoric), subsequent philosophers mainly concentrated on deductive reasoning.
Around the same time period, developments in artificial intelligence led pioneers like John McCarthy and Patrick J. Hayes to represent a form of defeasible reasoning as they encountered the frame problem and the qualification problem.
Several forms of defeasible reasoning were proposed:
- McCarthy suggested that the solution was in a logical principle of circumscription
- Raymond Reiter proposed a system of default logic and a formalization of the closed world assumption
- Drew McDermott and Jon Doyle proposed non-monotonic logic
- Robert C. Moore proposed autoepistemic logic
- Donald Nute proposed defeasible logic
See also Edit
- Article on Defeasible Reasoning in the Stanford Encyclopedia of Philosophy
- An example of defeasible reasoning in actionzh:可废止推理
|This page uses Creative Commons Licensed content from Wikipedia (view authors).|