Craig Boutilier, Verónica Becher  Home/Search
Context Related
| cs.ubc.ca/spider/ce...aij95abduct.ps.gz cs.ubc.ca/spider/ce...aij95abduct.ps.gz toronto.edu/~cebly/...aij95abduct.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/cebly/papers (more) From: cs.ubc.ca/spider/cebly/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a model of abduction based on the revision of the epistemic state of an agent. Explanations must be sufficient to induce belief in the sentence to be explained (for instance, some observation), or ensure its consistency with other beliefs, in a manner that adequately accounts for factual and hypothetical sentences. Our model will generate explanations that nonmonotonically predict an observation, thus generalizing most current accounts, which require some deductive relationship... (Update)
Context of citations to this paper: More
...among the possible explanations for a fact can also be captured by the use of probabilistic information. Boutilier and Becher [ Boutilier and Becher, 1995 ] propose a semantic framework and a logical speci cation of abduction that capture the spirit of these probabilistic...
...2 ; ff i such that ff 1 is a reason for ff 2 , ff 2 is a reason for ff 3 , ff i is a reason for ff 1 . Boutilier and Becher [9] pursue a similar argument. They maintain three reasons for adopting such an approach over a more traditional abductive view of...
Cited by: More
Enhancing Model Checking in Verification by AI Techniques - Buccafurri, Eiter.. (1999) (Correct)
Computational 'Consilience' as - Theory (Correct)
Cognitive Robotics: On the Semantic Knife-edge - Witkowski, Shanahan, Santos.. (Correct)
Active bibliography (related documents): More All
0.8: Iterated Revision and Minimal Change of Conditional Beliefs - Boutilier (1996) (Correct)
0.5: Abduction to Plausible Causes: An Event-based Model of Belief.. - Boutilier (1994) (Correct)
0.5: Model-Based Diagnosis Of Complex, Continuous Mechanisms - Throop (1991) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Toward a Logic for Qualitative Decision Theory - Boutilier (1992) (Correct)
0.2: Interpolation As Explanation - Hintikka, Halonen (Correct)
0.1: Iterable AGM Functions - Areces, Becher (1999) (Correct)
Related documents from co-citation: More All
7: Abduction versus Closure in Causal Theories (context) - Konolige - 1992
7: A Logical Framework for Default Reasoning (context) - Poole - 1988
6: Inference to the best explanation (context) - Harman - 1965
BibTeX entry: (Update)
C. Boutilier and V. Becher, `Abduction as belief revision', Artificial Intelligence, 77(1), 43--94, (1995). http://citeseer.ist.psu.edu/boutilier95abduction.html More
@techreport{ boutilier93abduction,
author = "Craig Boutilier and Veronica Becher",
title = "Abduction As Belief Revision",
number = "TR-93-23",
year = "1993",
url = "citeseer.ist.psu.edu/boutilier95abduction.html" }
Citations (may not include all citations):1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
458 A theory of diagnosis from first principles (context) - Reiter - 1987
286 Interpretation as abduction - Hobbs, Stickel et al. - 1990
253 A logical framework for default reasoning (context) - Poole - 1988
224 preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
189 Diagnosing multiple faults (context) - de Kleer, Williams - 1987
149 the logic of theory change: Partial meet contraction and rev.. (context) - on, ardenfors et al. - 1985
135 The Logic of Scientific Discovery (context) - Popper - 1959
129 What does a conditional knowledge base entail (context) - Lehmann - 1989
128 Diagnostic reasoning based on structure and behavior (context) - Davis - 1984
119 All I know: A study in autoepistemic logic (context) - Levesque - 1990
117 Preferred subtheories: An extended logical framework for def.. (context) - Brewka - 1989
110 Toward a logic for qualitative decision theory - Boutilier - 1994
107 Foundations of assumption-based truth maintenance systems: P.. (context) - Reiter, de Kleer - 1987
103 Prediction is deduction but explanation is abduction - Shanahan - 1989
98 The use of design descriptions in automated diagnosis (context) - Genesereth - 1984
91 Artificial Intelligence (context) - Ginsberg - 1986
90 Explanation and prediction: An architecture for default and .. - Poole - 1989
82 A spectrum of logical definitions of model-based diagnosis (context) - Console, Torasso - 1991
81 Normality and faults in logic-based diagnosis - Poole - 1989
66 A knowledge level account of abduction (context) - Levesque - 1989
65 Abduction versus closure in causal theories (context) - Konolige - 1992
62 Two modellings for theory change (context) - Grove - 1988
60 The Logic of Conditionals (context) - Adams - 1975
46 An approach to default reasoning based on a first-order cond.. (context) - Delgrande - 1988
45 A logical framework for depiction and image interpretation (context) - Reiter, Mackworth - 1989
37 Focusing on probable diagnoses (context) - de Kleer - 1991
35 Revision sequences and nested conditionals (context) - Boutilier - 1993
32 Unifying default reasoning and belief revision in a modal fr.. (context) - Boutilier - 1994
29 Choosing observations and actions in model-based diagnosis/r.. (context) - Friedrich, Nejdl - 1992
24 Nonmonotonic inference based on expectations - ardenfors, Makinson - 1994
22 Abduction as belief revision - Boutilier, Becher - 1993
18 Journal of Philosophy (context) - Lewis - 1973
13 Representing diagnostic knowledge for probabilistic horn abd.. (context) - Poole - 1991
12 Using default and causal reasoning in diagnosis (context) - Konolige - 1992
12 Topics in Conditional Logic (context) - Nute - 1980
10 Revision by conditional beliefs (context) - Boutilier, Goldszmidt - 1993
9 Philosophy of Natural Science (context) - Hempel - 1966
8 A calculus of pragmatic obligation - Pearl - 1993
8 Random House (context) - Quine, Ullian et al. - 1970
7 A critique of Yoav Shoham's theory of causal reasoning (context) - Galton - 1991
7 Inaccessible worlds and irrelevance: Preliminary report (context) - Boutilier - 1991
7 the logic of relevance (context) - ardenfors - 1978
7 Modal logics with linear alternative relations (context) - Segerberg - 1970
5 Nonmonotonic reasoning and causation: Comment (context) - Simon - 1991
4 Epistemic entrenchment in autoepistemic logic (context) - Boutilier - 1992
4 The probability of a possibility: Adding uncertainty to defa.. (context) - Boutilier - 1993
2 Peirce's Philosophy of Science: Critical Studies in his Theo.. (context) - Rescher - 1978
2 and Raymond Reiter (context) - de Kleer, Mackworth - 1990
2 Rank-based systems: A simple approach to belief revision (context) - Goldszmidt, Pearl - 1992
1 On experiments for hypothetical reasoning - McIlraith, Reiter - 1991
1 American Philosophical Quarterly (context) - van Fraassen, of - 1977
1 the consistency of defeasible databases (context) - Goldszmidt, Pearl - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ubc.ca/spider/cebly/papers.html): More
Context-Specific Independence in Bayesian Networks - Boutilier, Friedman.. (1996) (Correct)
Planning, Learning and Coordination in Multiagent Decision.. - Boutilier (1996) (Correct)
Belief Revision with Unreliable Observations - Boutilier, Friedman, Halpern (1998) (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