Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
143
The Computational Complexity of Abduction
, 1991
"... The problem of abduction can be characterized as finding the best explanation of a set of data. In this paper we focus on one type of abduction in which the best explanation is the most plausible combination of hypotheses that explains all the data. We then present several computational complexity r ..."
Abstract
-
Cited by 139 (6 self)
- Add to MetaCart
The problem of abduction can be characterized as finding the best explanation of a set of data. In this paper we focus on one type of abduction in which the best explanation is the most plausible combination of hypotheses that explains all the data. We then present several computational complexity
Characterizing Temporal Abductive Diagnosis
- In Proc. DX 95, Sixth Int. Workshop on Principles of Diagnosis
, 1996
"... Several approaches have been proposed to deal with time in diagnosis. The goal of this paper is to propose a logical characterization of diagnosis with temporal knowledge, and, specifically, diagnosis with temporal constraints on the evolution of the system to be diagnosed. The characterization is i ..."
Abstract
-
Cited by 10 (3 self)
- Add to MetaCart
is independent of the specific temporal constraint language being used and is an extension of an abductive characterization of atemporal diagnosis. In a companion paper [ 4 ] we discuss a computational characterization of a restriction of the framework, based on the co-operation of an abductive and a temporal
An assumption-based truth-maintenance system
- Artificial Intelligence
, 1986
"... In this paper we (1) define the concept of a Clause Man-agetnent System (CMS) — a generaizatiou of de Kleer’s ATMS, (2) motivate such systems in terms of efficiency of search and abductive reasoning, and (3) characterize the computation affected by a CMS in terms of the concept of prime implicants. ..."
Abstract
-
Cited by 334 (11 self)
- Add to MetaCart
In this paper we (1) define the concept of a Clause Man-agetnent System (CMS) — a generaizatiou of de Kleer’s ATMS, (2) motivate such systems in terms of efficiency of search and abductive reasoning, and (3) characterize the computation affected by a CMS in terms of the concept of prime implicants
Defending Abduction
- PHILOSOPHY OF SCIENCE
, 1999
"... Charles S. Peirce argued that, besides deduction and induction, there is a third mode of inference which he called "hypothesis" or "abduction". He characterized abduction as reasoning "from effect to cause", and as "the operation of adopting an explanatory hypothes ..."
Abstract
-
Cited by 21 (1 self)
- Add to MetaCart
Charles S. Peirce argued that, besides deduction and induction, there is a third mode of inference which he called "hypothesis" or "abduction". He characterized abduction as reasoning "from effect to cause", and as "the operation of adopting an explanatory
A Fixpoint Characterization Of Abductive Logic Programs
, 1996
"... this paper, we generalize the program transformation techniques of [17] for non-abductive programs to deal with abductive frameworks. We introduce a new translation from an abductive logic program into a positive disjunctive program, and show that the belief models of an abductive program can be cha ..."
Abstract
-
Cited by 42 (8 self)
- Add to MetaCart
be characterized by the fixpoint closure of the transformed disjunctive program. In the transformation, both negative hypotheses through negation as failure and positive hypotheses from the abducibles are dealt with uniformly. This fixpoint characterization is further extended to a fixpoint semantics for abductive
Abductive Explanation of Dialogue Misunderstandings
, 1993
"... To respond to an utterance, a listener must interpret what others have said and why they have said it. Misunderstandings occur when agents differ in their beliefs about what has been said or why. Our work com- bines intentional and social accounts of dis- course, unifying theories of speech ac ..."
Abstract
-
Cited by 12 (6 self)
- Add to MetaCart
act production, interpretation, and the repair of misunderstandings. A unified theory has been developed by characterizing the generation of utterances as default reasoning and using abduction to characterize inter- pretation and repair.
Abductive Consequence Relations
- Artif. Intell
, 1997
"... Abstract In this paper we present a systematic study of abductive consequence relations. We show that a monotone abductive consequence relation satis es the properties of a cumulative monotonic system as de ned by Kraus, Lehmann and Magidor when the disjunction of all abductive explanations is the ..."
Abstract
-
Cited by 15 (1 self)
- Add to MetaCart
-monotonic abductive systems preserve a partial version of rational monotonicity and in fact are very similar to rational relations. We also present semantic characterizations of both monotonic and non-monotonic abductive systems in terms of cumulative models as de ned by Kraus, Lehmann and Magidor.
Generating Tests using Abduction
- In Proc. of KR 94
, 1994
"... Suppose we are given a theory of system behavior and a set of candidate hypotheses. Our concern is with generating tests which will discriminate these hypotheses in some fashion. We logically characterize test generation as abductive reasoning. Aside from defining the theoretical principles un ..."
Abstract
-
Cited by 16 (3 self)
- Add to MetaCart
Suppose we are given a theory of system behavior and a set of candidate hypotheses. Our concern is with generating tests which will discriminate these hypotheses in some fashion. We logically characterize test generation as abductive reasoning. Aside from defining the theoretical principles
Context in abductive interpretation
- In EDILOG 2002: Proceedings of the sixth workshop on the semantics and pragmatics of dialogue
, 2002
"... This paper develops a general approach to contextual reasoning in natural language processing. Drawing on the view of natural language interpretation as abduction (Hobbs et al., 1993), we propose that interpretation provides an explanation of how an utterance creates a new discourse context in which ..."
Abstract
-
Cited by 16 (6 self)
- Add to MetaCart
This paper develops a general approach to contextual reasoning in natural language processing. Drawing on the view of natural language interpretation as abduction (Hobbs et al., 1993), we propose that interpretation provides an explanation of how an utterance creates a new discourse context
Results 1 - 10
of
143
