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
Journal Article
TL;DR: This paper redefine the diagnosis, and introduces a new procedure-based rather than logic-based approach to compute diagnosis based on constructing and analyzing a compact structure which the authors call a diagnostic graph.
Abstract: Given the logical model of system and its input,when an observation of system's behavior conflicts with the way the system meant to behave,we can determine those components of the system which,when assumed to be functioning abnormally,will explain the discrepancy between the observed and correct system behavior.That is the main idea of model-based diagnosis.The classic diagnosis method is very inefficient because its diagnosis procedure is based on logical reasoning.In this paper,the authors redefine the diagnosis,and introduce a new procedure-based rather than logic-based approach to compute diagnosis based on constructing and analyzing a compact structure which we call a diagnostic graph.It is shown that it is a better choice since the search made by this approach is fundamentally different from the search of classic model-based one.So the approach in this paper can provide a new perspective on the diagnosis problem.Finally,the effectiveness of this methodology is demonstrated by the experimental results.

1 citations

Book ChapterDOI
01 Jan 2003
TL;DR: This chapter focuses on the simple method that reduces the problem of detecting conflict-free assumption-based knowledge bases to the issue of testing satisfiability (SAT), a well-known member of the class of computationally intractable NP-complete problems.
Abstract: Publisher Summary This chapter focuses on the simple method that reduces the problem of detecting conflict-free assumption-based knowledge bases to the problem of testing satisfiability (SAT). SAT is a well-known member of the class of computationally intractable NP-complete problems, which is unlikely to find a SAT algorithm that has a fast worst case time behavior. There is a wide range of clever SAT algorithms that can rapidly solve many SAT problems of practical interest. Logic-based argumentative and abductive reasoning are closely related tasks of drawing inferences under uncertainty. In both cases, knowledge is expressed in a logic-based or constraint-based language. The complete description of the available knowledge is called knowledge base. A particular subset of variables, called assumptions or assumables, is used to describe uncertain or unknown circumstances such as possible failure states of system components, different ways of interpreting statements or evidence, unknown outcomes of events, situations of unreliable sensors, witnesses, or information sources, and many more. Both abduction and argumentation are based on this simple concept, assumption-based reasoning as a general term that covers both disciplines. A common feature of argumentation and abduction is that both arguments and explanations are terms (conjunctions of literals) containing assumptions only.

1 citations

Journal ArticleDOI
TL;DR: This article introduces scientists to the field and then briefly describes the papers found in this special issue, which describes the automation of logical reasoning in science.
Abstract: The term automated reasoning (first introduced in 1980) accurately describes the objective of the field, the automation of logical reasoning. This article introduces scientists to the field and then briefly describes the papers found in this special issue.

1 citations

Book ChapterDOI
01 Jan 2001
TL;DR: This article summarizes informal reasoning research selectively and addresses related theoretical issues.
Abstract: Informal reasoning refers to reasoning that occurs in situations in which information and the inferences made may vary in their certainty or acceptability. This reasoning is contrasted with deductive reasoning based upon the rules of formal logic. A basic component of informal reasoning is the form of argument termed an enthymeme consisting of a claim and supporting reason. This article summarizes informal reasoning research selectively and addresses related theoretical issues.

1 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