Results 1 
7 of
7
On The Relationship Between Abduction And Deduction
, 1991
"... this paper is at analyzing from various points of view the relationships betwee ..."
Abstract

Cited by 168 (9 self)
 Add to MetaCart
this paper is at analyzing from various points of view the relationships betwee
Representing diagnostic knowledge for probabilistic horn abduction
 Readings in modelbased diagnosis
, 1992
"... This paper presents a simple logical framework for abduction, with probabilities associated with hypotheses. The language is an extension to pure Prolog, and it has straightforward implementations using branch and bound search with either logicprogramming technology or ATMS technology. The main fo ..."
Abstract

Cited by 20 (6 self)
 Add to MetaCart
This paper presents a simple logical framework for abduction, with probabilities associated with hypotheses. The language is an extension to pure Prolog, and it has straightforward implementations using branch and bound search with either logicprogramming technology or ATMS technology. The main focus of this paper is arguing for a form of representational adequacy of this very simple system for diagnostic reasoning. It is shown how it can represent modelbased knowledge, with and without faults, and with and without nonintermittency assumptions. It is also shown how this representation can represent any probabilistic knowledge representable in a Bayesian belief network. 1
Representing Diagnosis Knowledge
 Annals of Mathematics and Artificial Intelligence
, 1994
"... This paper considers the representation problem: namely how to go from an abstract problem to a formal representation of the problem. We consider this for two conceptions of logicbased diagnosis, namely abductive and consistencybased diagnosis. We show how to represent diagnostic problems that can ..."
Abstract

Cited by 19 (2 self)
 Add to MetaCart
This paper considers the representation problem: namely how to go from an abstract problem to a formal representation of the problem. We consider this for two conceptions of logicbased diagnosis, namely abductive and consistencybased diagnosis. We show how to represent diagnostic problems that can be conceptualised causally in each of the frameworks, and show that both representations of the same problems give the same answers. This is a local transformation that allows for an expressive (albeit propositional) language for giving the constraints on what symptoms and causes can coexist, including nonstrict causation. This nonstrict causation can be represented in each framework without adding special reasoning constructs to either framework. This is presented as a starting point for a study of the representation problem in diagnosis, rather than as an end in itself. 1 Introduction This paper defines an abstract "knowledge representation" problem and considers the problem of represe...
A Unifying View for Logic Programming with NonMonotonic Reasoning
, 1997
"... We provide a simple formulation of a framework where some extensions of logic programming with nonmonotonic reasoning are treated uniformly, namely two kinds of negation and abduction. The resulting semantics is purely modeltheoretic, and gives meaning to any noncontradictory abductive logic pr ..."
Abstract

Cited by 18 (11 self)
 Add to MetaCart
We provide a simple formulation of a framework where some extensions of logic programming with nonmonotonic reasoning are treated uniformly, namely two kinds of negation and abduction. The resulting semantics is purely modeltheoretic, and gives meaning to any noncontradictory abductive logic program. Moreover, it embeds and generalizes some existing semantics which deal with negation and abduction. The framework is equipped with a correct topdown proof procedure. Keywords: Programming languages, Logic programming, Nonmonotonic reasoning, Negation, Abduction. Dipartimento di Informatica, Universit`a di Pisa, Corso Italia 40, Pisa, Italy. brogi@di.unipi.it y DEIS, Universit`a di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy. elamma@deis.unibo.it z Dipartimento di Informatica, Universit`a di Pisa, Corso Italia 40, Pisa, Italy. paolo@di.unipi.it x DEIS, Universit`a di Ferrara, Via Saragat, 41100 Ferrara, Italy. pmello@ing.unife.it Contents 1 Introduction and Motiva...
Representing Bayesian networks within probabilistic Horn abduction
 In Proc. Seventh Conf. on Uncertainty in Artificial Intelligence
, 1991
"... This paper presents a simple framework for Hornclause abduction, with probabilities associated with hypotheses. It is shown how this representation can represent any probabilistic knowledge representable in a Bayesian belief network. The main contributions are in finding a relationship between logic ..."
Abstract

Cited by 14 (4 self)
 Add to MetaCart
This paper presents a simple framework for Hornclause abduction, with probabilities associated with hypotheses. It is shown how this representation can represent any probabilistic knowledge representable in a Bayesian belief network. The main contributions are in finding a relationship between logical and probabilistic notions of evidential reasoning. This can be used as a basis for a new way to implement Bayesian Networks that allows for approximations to the value of the posterior probabilities, and also points to a way that Bayesian networks can be extended beyond a propositional language. 1
Learning, Bayesian Probability, Graphical Models, and Abduction
 Abduction and Induction: Essays on their Relation and Integration, Chapter 10
, 1998
"... In this chapter I review Bayesian statistics as used for induction and relate it to logicbased abduction. Much reasoning under uncertainty, including induction, is based on Bayes' rule. Bayes' rule is interesting precisely because it provides a mechanism for abduction. I review work of Buntine that ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
In this chapter I review Bayesian statistics as used for induction and relate it to logicbased abduction. Much reasoning under uncertainty, including induction, is based on Bayes' rule. Bayes' rule is interesting precisely because it provides a mechanism for abduction. I review work of Buntine that argues that much of the work on Bayesian learning can be best viewed in terms of graphical models such as Bayesian networks, and review previous work of Poole that relates Bayesian networks to logicbased abduction. This lets us see how much of the work on induction can be viewed in terms of logicbased abduction. I then explore what this means for extending logicbased abduction to richer representations, such as learning decision trees with probabilities at the leaves. Much of this paper is tutorial in nature; both the probabilistic and logicbased notions of abduction and induction are introduced and motivated. 1 Introduction This paper explores the relationship between learning (induct...