Please use this identifier to cite or link to this item:
doi:10.22028/D291-24983
Title: | Approaches to abductive reasoning : an overview |
Author(s): | Merziger, Gabriele |
Language: | English |
Year of Publication: | 1992 |
OPUS Source: | Kaiserslautern ; Saarbrücken : DFKI, 1992 |
SWD key words: | Künstliche Intelligenz |
DDC notations: | 004 Computer science, internet |
Publikation type: | Report |
Abstract: | Abduction is a form of non-monotonic reasoning that has gained increasing interest in the last few years. The key idea behind it can be represented by the following inference rule frac{varphirightarrowomega,}{varphi}omega, i.e., from an occurrence of omega and the rule "varphi implies omega';, infer an occurrence of varphi as a plausible hypothesis or explanation for omega. Thus, in contrast to deduction, abduction is as well as induction a form of "defeasible'; inference, i.e., the formulae sanctioned are plausible and submitted to verification. In this paper, a formal description of current approaches is given. The underlying reasoning process is treated independently and divided into two parts. This includes a description of methods for hypotheses generation and methods for finding the best explanations among a set of possible ones. Furthermore, the complexity of the abductive task is surveyed in connection with its relationship to default reasoning. We conclude with the presentation of applications of the discussed approaches focusing on plan recognition and plan generation. |
Link to this record: | urn:nbn:de:bsz:291-scidok-37812 hdl:20.500.11880/25039 http://dx.doi.org/10.22028/D291-24983 |
Series name: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
Series volume: | 92-08 |
Date of registration: | 1-Jul-2011 |
Faculty: | SE - Sonstige Einrichtungen |
Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
RR_92_08.pdf | 21,96 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.