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)
The notion of explanation is basilar in many human behaviors and indeed in many elds (such as philosophy or psychology) there is a long tradition in the study of such a notion. In particular, reasoning towards explanation is a basic task in many of the problem solving activities investigated by the AI community. For example, it is the core of diagnostic(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)
Distributed software systems would benefit from autonomous fault management capabilities, but current practice is only based on handling exceptions without attempts at identifying causes for them. This paper is a step toward Web Services with autonomous diagnostic capabilities. It provides a novel context of application for model-based diagnosis, a context(More)
In the state of the art on the ramification problem, it is acknowledged that ramifications of actions are not logical consequences of state constraints and require explicit representation through causal laws. Yet, causal laws are still tightly coupled with state constraints in that their syntactic form is derived from state constraints or in that they(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)