scispace - formally typeset
Search or ask a question
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
More filters
Proceedings Article
04 Aug 2001
TL;DR: In this paper, the problem of generating explanations is formalized as rewriting with confluent and terminating rewrite systems, where the set of minimal explanations can be viewed as a succinct representation of all explanations.
Abstract: A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often required to generate exponentially many subsumed explanations for a given observation. In this paper, we propose a new definition of abduction in logic programming where the set of minimal explanations can be viewed as a succinct representation of the set of all explanations. We then propose an abductive procedure where the problem of generating explanations is formalized as rewriting with confluent and terminating rewrite systems. We show that these rewrite systems are sound and complete under the partial stable model semantics, and sound and complete under the answer set semantics when the underlying program is so-called odd-loop free. We discuss an application of abduction in logic programming to a problem in reasoning about actions and provide some experimental results.

44 citations

Journal ArticleDOI
TL;DR: In this article, the authors describe a model of multicausal abductive reasoning that makes two predictions regarding the use of the current explanation, i.e., if a simple hypothesis can account for new data, then the current hypothesis is not used to explain new evidence.

44 citations

Journal ArticleDOI
TL;DR: In this paper, a practical method for abductive analysis of modular logic programs is presented by reversing the deduction process, which is usually applied in static-dataflow analysis of logic programs, on generic, possibly abstract, domains for analysis.
Abstract: We introduce a practical method for abductive analysis of modular logic programs. This is obtained by reversing the deduction process, which is usually applied in static-dataflow analysis of logic programs, on generic, possibly abstract, domains for analysis. The approach is validated in the framework of abstract interpretation. The abduced information provides an abstract specification for program modules which can be of assistance both in top-down development of programs and in compile-time optimization. To the best of our knowledge this is the first application of abductive reasoning in dataflow analysis of logic programs.

43 citations

Book ChapterDOI
12 Jan 2011
TL;DR: A discourse processing framework based on weighted abduction and implement the abductive inference procedure in a system called Mini-TACITUS, taking the Frame-Annotated Corpus for Textual Entailment as a gold standard is presented.
Abstract: This paper presents a discourse processing framework based on weighted abduction. We elaborate on ideas described in Hobbs et al. (1993) and implement the abductive inference procedure in a system called Mini-TACITUS. Particular attention is paid to constructing a large and reliable knowledge base for supporting inferences. For this purpose we exploit such lexical-semantic resources as WordNet and FrameNet. We test the proposed procedure and the obtained knowledge base on the Recognizing Textual Entailment task using the data sets from the RTE-2 challenge for evaluation. In addition, we provide an evaluation of the semantic role labeling produced by the system taking the Frame-Annotated Corpus for Textual Entailment as a gold standard.

43 citations

Journal ArticleDOI
TL;DR: This paper examined ways of approaching deductive reasoning of people involved in mathematics education and/or logic and found that formal logic is the essence of the deductive inference, distinguishing between mathematics and other domains in the usability of reasoning.
Abstract: This study examines ways of approaching deductive reasoning of people involved in mathematics education and/or logic. The data source includes 21 individual semi-structured interviews. The data analysis reveals two different approaches. One approach refers to deductive reasoning as a systematic step-by-step manner for solving problems, both in mathematics and in other domains. The other approach emphasizes formal logic as the essence of the deductive inference, distinguishing between mathematics and other domains in the usability of deductive reasoning. The findings are interpreted in light of theory and practice.

43 citations


Network Information
Related Topics (5)
Natural language
31.1K papers, 806.8K citations
82% related
Ontology (information science)
57K papers, 869.1K citations
79% related
Inference
36.8K papers, 1.3M citations
76% related
Heuristics
32.1K papers, 956.5K citations
76% related
Social network
42.9K papers, 1.5M citations
75% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202356
2022103
202156
202059
201956
201867