The Diagnosis Frontend of the dlv system

Article type: Research Article

Authors: Eiter, Thomas | Faber, Wolfgang | Leone, Nicola | Pfeifer, Gerald^;

Affiliations: Institut für Informationssysteme, Technische Universität Wien, A‐1040 Vienna, Austria E‐mail: eiter@kr.tuwien.ac.at, {faber,leone,pfeifer}@dbai.tuwien.ac.at

Note: [] Corresponding author.

Abstract: This paper presents the Diagnosis Frontend of dlv, which is a knowledge representation system under development at the Technische Universität Wien. The kernel language of the system is an extension of disjunctive logic programming (DLP) by integrity constraints; it offers frontends to several advanced knowledge representation formalisms. The formal model of diagnosis employed in the frontend includes both abductive diagnosis (over DLP theories) and consistency‐based diagnosis. For each of the two diagnosis modalities, generic diagnoses, single error diagnoses, and subset minimal diagnoses are considered. We illustrate the use of the frontend by showing the dlv encodings of several diagnosis problems. Thereafter, we discuss implementation issues. Diagnostic reasoning is implemented on the dlv engine through suitable translations of diagnostic problems into disjunctive logic programs, such that their stable models correspond to diagnoses. For the six kinds of diagnostic reasoning problems emerging from above, such reductions are provided.

Keywords: Disjunctive logic programming, diagnosis, abduction, stable model

Journal: AI Communications, vol. 12, no. 1‐2, pp. 99-111, 1999