Defeasible Reasoning

Other alternatives to deductive reasoning include Inductive Reasoning and Retroductive Reasoning . These are not traditionally covered by most uses of the term "defeasible reasoning".

ORIGINS IN PHILOSOPHY

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.

It wasn't until Logical Positivism started falling out of favour that philosophers like Roderick Chisholm and John L. Pollock renewed an interest in defeasible reasoning.

ARTIFICIAL INTELLIGENCE

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

Information About ™

Defeasible Reasoning

Information About ^{^™}