The Diagnosis Frontend of the dlv system

TLDR

The system’s kernel language extends disjunctive logic programming with integrity constraints and supports frontends for several advanced knowledge representation formalisms. This paper presents the Diagnosis Frontend of dlv, a knowledge representation system being developed at the Technische Universität Wien. The frontend implements both abductive and consistency‑based diagnosis over DLP theories, translating diagnostic problems into disjunctive logic programs whose stable models correspond to diagnoses, and considers generic, single‑error, and subset‑minimal diagnoses for each modality. We demonstrate the frontend by encoding several diagnosis problems and provide reductions for six diagnostic reasoning scenarios.

Abstract

This paper presents the Diagnosis Frontend of dlv, which is a knowledge representation system under development at the Technische Universitat Wien. The kernel language of the system is an extension of disjunctive logic programming (DLP) by integrity constraintss 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 consistencydbased 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.