David Poole  Home/Search
Context Related
| cs.ubc.ca/ftp/local/poole/p...who.ps.gz ags.unisb.de/~konrad/reaso...who.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ubc.ca/spider/poole/pubs (more) From: ags.unisb.de/~konrad/rea...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we show how a number of different formulations of nonmonotonic reasoning, probabilistic reasoning and design can be combined into a coherent logic-based abductive framework. This framework is based on allowing consistent assumptions to be used to prove a goal. Different frameworks are characterised by who chooses the assumptions, whether an adversary chooses the assumptions, nature chooses the assumptions, or one gets to choose whatever assumptions one likes. 1 Introduction In... (Update)
Context of citations to this paper: More
...database consisting of expressions having default status. A prominent example of such a framework has been proposed by Poole (e.g. Poole 1988, 1996). In this section, we introduce a variant of Poole s systems, which we will call weight annotated Poole systems. This variant will...
Cited by: More
Nonmonotonic Logic and Neural Networks - Blutner, Doherty (Correct)
Similar documents (at the sentence level): More
12.0%: Logic Programming, Abduction and Probability - Poole (Correct)
11.7%: Logic Programming, Abduction and Probability: a top-down.. - David Poole (1993) (Correct)
6.5%: Probabilistic Horn abduction and Bayesian networks - David Poole (1993) (Correct)
Active bibliography (related documents): More All
0.4: AI Meets Authoring: User Models for Intelligent Multimedia - Csinger, Booth, Poole (1994) (Correct)
0.4: User Models For Intent-Based Authoring - Csinger (1995) (Correct)
0.3: A Decision-Theoretic Abductive Basis for Planning - David Poole And (1994) (Correct)
Similar documents based on text: More All
0.2: The use of conflicts in searching Bayesian networks - Poole (1993) (Correct)
0.1: Consistency-Based Fault Isolation for Uncertain Systems.. - Jones, Bond, Lawrence (Correct)
0.1: Dialectics and Specificity: Conditioning in Logic-based.. - David Poole (1990) (Correct)
BibTeX entry: (Update)
Poole, D. (1996): "Who chooses the assumptions?". In P. O'Rorke (ed.), Abductive Reasoning. Cambridge: MIT Press. http://citeseer.ist.psu.edu/poole94who.html More
@misc{ poole96who,
author = "D. Poole",
title = "Who chooses the assumptions",
text = "Poole, D. (1996): Who chooses the assumptions?. In P. O'Rorke (ed.), Abductive
Reasoning. Cambridge: MIT Press.",
year = "1996",
url = "citeseer.ist.psu.edu/poole94who.html" }
Citations (may not include all citations):1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
759 Negation as failure (context) - Clark - 1978
458 A theory of diagnosis from first principles (context) - Reiter - 1987
451 Circumscription---a form of non-monotonic reasoning (context) - McCarthy - 1980
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
309 Game Theory (context) - Fudenberg, Tirole - 1992
297 Applications of circumscription to formalizing commonsense k.. - McCarthy - 1986
253 A logical framework for default reasoning (context) - Poole - 1988
166 Computing circumscription (context) - Lifschitz - 1985
163 Application of theorem proving to problem solving (context) - Green - 1969
138 Probabilistic Horn abduction and Bayesian networks - Poole - 1993
132 An assumption-based TMS (context) - de Kleer - 1986
117 the relationship between abduction and deduction - Console, Dupre et al. - 1991
107 Diagnosing multiple faults (context) - de Kleer, Williams - 1987
102 Readings in Nonmonotonic Reasoning (context) - Ginsberg - 1987
100 Theorist: A logical reasoning system for defaults and diagno.. (context) - Poole, Goebel et al. - 1987
90 Explanation and prediction: an architecture for default and .. - Poole - 1989
88 Hard problems for simple default logics - Kautz, Selman - 1989
82 Reasoning with Incomplete Information (context) - Etherington - 1987
81 Normality and faults in logic-based diagnosis - Poole - 1989
72 New Generation Computing (context) - Apt, Bezem - 1991
72 Default Reasoning: Causal and Conditional Theories (context) - Geffner - 1989
67 A circumscriptive theorem prover - Ginsberg - 1989
65 Abduction versus closure in causal theories (context) - Konolige - 1992
62 the mechanization of abductive logic (context) - Pople, On - 1973
56 An algorithm to compute circumscription (context) - Przymusinski - 1989
52 Readings in Uncertain Reasoning (context) - Shafer, Pearl - 1990
50 A methodology for using a default and abductive reasoning sy.. - Poole - 1990
44 Nonmonotonic logics: Meaning and utility (context) - Shoham - 1987
40 Representing knowledge for logic-based diagnosis - Poole - 1988
26 Compiling a default reasoning system into Prolog - Poole - 1991
24 the adequacy of predicate circumscription for closed-world r.. (context) - Etherington, Mercer et al. - 1985
21 Residue: A deductive approach to design synthesis (context) - Finger, Genesereth - 1985
20 Relating default logic and circumscription (context) - Etherington - 1987
16 Constructive belief and rational representation - Doyle - 1989
13 Using crucial literals to select better theories (context) - Sattar, Goebel - 1991
12 A formal model of diagnostic inference (context) - Reggia, Nau et al. - 1985
12 abduction and probability: A top-down anytime algorithm for .. (context) - Poole - 1993
10 Eliminating the fixed predicates from a circumscription (context) - de Kleer, Konolige - 1989
9 Towards solving the multiple extension problem: combining de.. (context) - Neufeld, Poole - 1987
6 Berkeley and Los Angeles (context) - Reichenbach, of et al. - 1956
5 Annals of Mathematics and Artificial Intelligence (context) - Poole, knowledge - 1993
3 Theory of Games and Economic Bahavior (context) - Von Neumann, Morgenstern - 1953
3 Hypothetically speaking: Default reasoning and discourse str.. (context) - Csinger, Poole - 1993
1 AAAI Spring Symposium on Automates Deduction (context) - O'Rorke, Notes - 1990
Documents on the same site (http://www.cs.ubc.ca/spider/poole/pubs.html): More
Representing Knowledge for Logic-based Diagnosis - David Poole (1988) (Correct)
The Effect of Knowledge on Belief: Conditioning, Specificity.. - David Poole (1993) (Correct)
Decision-Theoretic Defaults - Poole (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC