Proof Explanation in the DR-DEVICE System

Abstract

Abstract. Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Defeasible preferences for intelligible pervasive applications to enhance eldercare

“…This section presents a method we employ from Bassiliades et al [5,7], to extract meaningful explanations from reasoning of defeasible preferences. The aim is to generate some of the explanation types recommended by [10], such as what, why, why not and How to, etc, as shown in Figure 3, to explain to users the outcome of a preference evaluation.…”

“…In order to generate this why not explanation from the evaluation of MobileCall_Pref, the model employs the explanation methods discussed in Bassiliades et al [5] and Antoniou et al [7], which are capable of generating XML schema for proof trace to explain the reasoning of defeasible preferences. The proof trace shown in figure 4 is an extension of RuleML's 0.91 schema that provides explanation for why the conclusion UseUMTSVoip(Video) is not defeasibly provable (−∂p).…”