---
title: "Representing Diagnostic Knowledge for Probabilistic Horn Abduction"
authors:
  - "David Poole"
doi: ""
url: "https://ijcai.org/proceedings/1991/166"
pdf: "https://ijcai.org/proceedings/1991/0166.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "1129-1136"
track: "Qualitative Reasoning"
keywords:
---

# Representing Diagnostic Knowledge for Probabilistic Horn Abduction

David Poole

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 1129-1136.

## Abstract

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 straight-forward implementations using branch and bound search with either logic-programming 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 model-based knowledge, with and without faults, and with and without non-intermittency assumptions. It is also shown how this representation can represent any probabilistic knowledge representable in a Bayesian belief network.