---
title: "Semantically Guided Theorem Proving for Diagnosis Applications"
authors:
  - "Peter Baumgartner"
  - "Peter Fröhlich"
  - "Ulrich Furbach"
  - "Wolfgang Nejdl"
doi: ""
url: "https://ijcai.org/proceedings/1997/68"
pdf: "https://ijcai.org/proceedings/1997/0068.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "460-464"
track: "Diagnosis and Qualitative Reasoning"
keywords:
---

# Semantically Guided Theorem Proving for Diagnosis Applications

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 460-464.

## Abstract

In this paper we. demonstrate how general purpose automated theorem proving techniques can be used to solve realistic model-based diagnosis problems. For this we modify a model generating tableau calculus such that a model of a correctly behaving device can be used to guide the search for minimal diagnoses. Our experiments show that our general approach is competitive with specialized diagnosis systems.