Probabilistic Horn abduction and Bayesian networks

Artificial Intelligence

Volumn 64, Issue 1, 1993, Pages 81-129

  Poole, David ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; PROBABILITY;

BAYESIAN NETWORKS; EVIDENTIAL REASONING; PROBABILISTIC HORN ABDUCTION; PROBABILISTIC KNOWLEDGE;

ARTIFICIAL INTELLIGENCE;

EID: 0027702434     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(93)90061-F     Document Type: Article

References (65)

1. Acyclic programs
2. Lp a logic for representing and reasoning with statistical knowledge
3. A transformational approach to negation in logic programming
4. Construction of belief and decision networks
5. A semantics for probabilistic quantifier-free first-order languages, with particular application to story understanding
6. Probabilistic semantics for cost based abduction
7. Negation as failure
8. On the relationship between abduction and deduction
9. General diagnosis by abductive inference
10. An assumption-based TMS
11. Characterizing diagnoses
12. Diagnosing multiple faults
13. Diagnosis with behavioral modes
14. Methodological simplicity in expert system construction: the case for judgments and reasoned assumptions
15. Reasoning about action in first-order logic
16. The use of design descriptions in automated diagnosis
17. Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning
18. Nonmonotonic logic and temporal projection
19. An introduction to algorithms for inference in belief nets
20. Interpretation as abduction
21. A dynamic approach to probabilistic inference using Bayesian networks
22. Bayesian updating in causal probabilistic networks by local computations
23. Abduction versus closure in causal theories
24. Assumptions beliefs and probabilities
25. Local computations with probabilities on graphical structures and their application to expert systems
26. Reasoning foundations of medical diagnosis
27. Argument systems: a uniform basis for nonmonotonic reasoning
28. Defeat among arguments a system for defeasible inference
29. Defeasible decisions: what the proposal is and isn't
30. Some philosophical problems from the standpoint of artificial intelligence
31. Towards solving the multiple extension problem: combining defaults and probabilities
32. Non-monotonic negation in probabilistic deductive databases
33. Empirical probabilities in monadic deductive databases
34. Distributed revision of composite beliefs
35. Embracing causality in default reasoning
36. Defeasible reasoning
37. A logical framework for default reasoning
38. Representing knowledge for logic-based diagnosis
39. Explanation and prediction an architecture for default and abductive reasoning
40. Normality and faults in logic-based diagnosis
41. A methodology for using a default and abductive reasoning system
42. Representing diagnostic knowledge for probabilistic Horn abduction
43. Representing Bayesian networks within probabilistic Horn abduction
44. Logic programming, abduction and probability
45. Search for computing posterior probabilities in Bayesian networks
46. Theorist: a logical reasoning system for defaults and diagnosis
47. What is the most likely diagnosis?
48. On the mechanization of abductive logic
49. An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions
50. Equality and domain closure in first order data bases
51. A theory of diagnosis from first principles
52. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression
53. Foundations of assumption-based truth maintenance systems: preliminary report
54. A logical framework for depiction and image interpretation
55. Thinking backwards for knowledge acquisition
56. Prediction is deduction, but explanation is abduction
57. A new algorithm for finding MAP assignments to belief networks
58. Quantitative deduction and its fixpoint theory