Explaining reasoning in description logics release_bua7b25b3jc7bfadw5xq46fvaq

by Deborah L. McGuinness

Published by No Publisher Supplied.



Knowledge-based systems, like other software systems, need to be debugged while being developed. In addition, systems providing "expert advice" need to be able to justify their conclusions. Traditionally, developers have been supported during debugging by tools which offer a trace of the operations performed by the system (e.g., a sequence of rule firings in a rule-based expert system) or, more generally by an explanation facility for the reasoner. Description Logics, formal systems developed to reason with taxonomies or classification hierarchies, form the basis of several recent knowledge-based systems but do not currently offer such facilities. In this thesis, we explore four major issues in explaining the conclusions of procedurally implemented deductive systems, concentrating on a specific solution for a class of description logics. First, we consider how to explain a highly optimized procedural implementation in a declarative manner. We begin with a formal proof-theoretic foundation for explanation and we illustrate our approach using examples from our implementation in the CLASSIC knowledge representation system. Next, we consider the issue of handling long, complicated deduction chains. We introduce methods designed to break up description logic queries and answers into small, manageable pieces, and we show how these are used in our approach and how they support automatically generated explanations of followup questions. Next, we consider the problem of explaining negative deductions. We provide a constructive method for explanation based on generating counter-examples. Finally, we address the issue of limiting both object presentation and explanation. We offer a meta-language for describing interesting aspects of complicated objects and use this language to limit the amount of information that should be presented or explained. The work in this thesis has been motivated by design and application work on a description logic-based system and a significant portion of our work has been implemented for CLASSIC [...]
In text/plain format

Archived Files and Locations

application/pdf  1.0 MB
rucore.libraries.rutgers.edu (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   1996
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: f3d56bda-aaa1-470f-a37d-d497c40a5cfd