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.

The CIFF Proof Procedure: Definition and Soundness Results

Abstract: We introduce a new proof procedure for abductive logic programming and prove two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in the context of

From Natural Logic to Natural Reasoning

Abstract: This paper starts with a brief history of Natural Logic from its origins to the most recent work on implicatives. It then describes on-going attempts to represent the meanings of so-called evaluative adjectives in these terms based on what linguists have traditionally assumed about constructions such as NP was stupid to VP, NP was not lucky to VP that have been described as factive. It turns out that the account cannot be based solely on lexical classification as the existing framework of Natural Logic assumes.

Abduction in machine learning

Abstract: Both inductive learning and abductive reasoning start from specific facts or observations and produce some explanation of these facts. Both may be described as forms of defeasible reasoning from effects to causes. There are some differences, but they are minor and due to different understandings of the notions of observation and explanation (see for instance [Bergadano and Besnark, 1994]). We build on the general notions developed in the introductory Chapter, taking what was labeled there as the syllogistic view, in the sense that we isolate the differences between abduction and induction based on syntactic considerations.

Temporal Abductive Reasoning Based Diagnosis and Alarm for Power Grid

Abstract: When faults occur in power grid, a lot of alarms are generated There are temporal constraints among these alarms and such temporal information is essential for fault diagnosis As one of basic inference methods for diagnosis problems, abductive reasoning is known as using domain theories to infer about reasons or explanations of observations and results Abductive reasoning based inference methods can find causes and evolution processes, which is useful for power grid diagnosis and alarm problems In this paper, abductive reasoning was introduced into power grid diagnosis and alarm Firstly, the temporal and logical relationships of faults and alarms in power grid were formulated as temporal constraints and inference formulas Then a suit of temporal abductive reasoning based algorithms were proposed to solve fault evolution process using observed alarms The proposed algorithms can identify break alarms, exception alarms and missing alarms which can reduce the uncertainty of diagnosis results These algorithms can be developed as a function of intelligent alarm method for power grid, or used for further fault diagnosis accompanying with other methods