Daniele Theseider Dupré

Learn More
In this paper we present an extension of the spectrum of logical deenitions of model-based diagnosis introduced in (Console & T orasso 1991b). The extended spectrum considers the case of temporal model-based diagnosis and generalizes the logical characterization of abductive temporal diagnosis presented in (Bru-soni et al. 1996). We distinguish between(More)
BSTRACT n a The aim of this paper is at analyzing from various points of view the relationships betwee bduction and deduction. In particular, we consider a meta-level definition of abduction in l d terms of deduction, similar to various definitions proposed in the literature, and an object-leve efinition in which abductive conclusions are expressed as a(More)
Several artiicial intelligence architectures and systems based on \deep" models of a domain have been proposed, in particular for the diagnostic task. These systems have several advantages over traditional knowledge based systems, but they have a main limitation in their computational complexity. One of the ways to face this problem is to rely on a(More)
Fault management in Web Services composed by individual services from multiple suppliers currently relies on a local analysis, that does not span across individual services , thus limiting the effectiveness of recovery strategies. We propose to address this limitation of current standards for Web Service composition by employing Model-Based Diagnosis to(More)
The automatic generation of decision trees based on off-line reasoning on models of a domain is a reasonable compromise between the advantages of using a model-based approach in technical domains and the constraints imposed by embedded applications. In this paper we extend the approach to deal with temporal information. We introduce a notion of temporal(More)
ÐGenerating abductive explanations is the basis of several problem solving activities such as diagnosis, planning, and interpretation. Temporal abduction means generating explanations that do not only account for the presence of observations, but also for temporal information on them, based on temporal knowledge in the domain theory. We focus on the case(More)
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete models is fundamental to many real-world domains. In this paper we propose a formal theory of causal diagnostic reasoning, dealing with different forms of incompleteness both in(More)