---
title: "Model-Based Diagnosis using Causal Networks"
authors:
  - "Adnan Darwiche"
doi: ""
url: "https://ijcai.org/proceedings/1995/28"
pdf: "https://ijcai.org/proceedings/1995/0028.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "211-218"
track: "Automated Reasoning"
keywords:
---

# Model-Based Diagnosis using Causal Networks

Adnan Darwiche

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, pages 211-218.

## Abstract

This paper rests on several contributions. First , we introduce the notion of a consequence, which is a boolean expression that characterizes consistency-based diagnoses. Second, we introduce a basic algorithm for computing consequences when the system description is structured using a causa l network. We show that if the ca usal network has no undirected cycles, then a consequence has a linear size and can be computed in linear time. Fin ally, we show that diagnoses characterized by a consequence and meeting some preference criterion can be extracted from the consequence in time linear in its size. A dual set of results is provided for abductive diagnosis.