Topic
Abductive reasoning
About: Abductive reasoning is a research topic. Over the lifetime, 1917 publications have been published within this topic receiving 44645 citations. The topic is also known as: abduction & abductive inference.
Papers published on a yearly basis
Papers
More filters
10 Nov 1991
TL;DR: A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented and a reasoning method developed in the deductive database area is effectively applied to this mechanism.
Abstract: The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism. >
9 citations
01 Jan 1994
9 citations
TL;DR: The chapter highlights traditional notion of a logic as a consequence relation to the more complex notion of what known as a practical reasoning system needed for a better modeling of practical reasoning.
Abstract: Publisher Summary The purpose of this chapter is to indicate what kind of formal logical systems are suitable for the modeling of actual practical reasoning behavior. The approach is to start from the familiar traditional notion of logic and indicate how more and more features need to be added to it. The chapter illustrates that the urgent need of models comes mainly from computer science and artificial intelligence. As there is pressure to build devices which help and replace the human in some of his daily activities, logic is called upon to provide realistic models of such activities and logic is therefore forced to evolve to accommodate human practice. The chapter highlights traditional notion of a logic as a consequence relation to the more complex notion of what known as a practical reasoning system. These are the kinds of logical systems needed for a better modeling of practical reasoning.
9 citations
01 Jan 1991
TL;DR: In this paper, a role for computation is proposed to provide high-level understanding of proofs, namely by the association of proof plans with proofs, and criteria are given for assessing the relationship between a proof plan and a proof.
Abstract: How can we understand reasoning in general and mathematical proofs in particular? It is argued that a high-level understanding of proofs is needed to complement the low-level understanding provided by Logic A role for computation is proposed to provide this high-level understanding, namely by the association of proof plans with proofs Criteria are given for assessing the association of a proof plan with a proof
9 citations
Journal Article•
TL;DR: Evidence is presented for an abductive theory of inductive reasoning, according to which inductive strength is determined by treating the conclusion as an explanation of the premises, and evaluating the quality of that explanation.
9 citations