Daniele Theseider Dupré

Learn More
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 logical(More)
In this paper we present an extension of the spectrum of logical de nitions of model-based diagnosis introduced in (Console & Torasso 1991b). The extended spectrum considers the case of temporal model-based diagnosis and generalizes the logical characterization of abductive temporal diagnosis presented in (Brusoni et al. 1996). We distinguish between di(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)
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 modelbased diagnosis, a context(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 realworld domains. In this paper we propose a formal theory of causal diagnostic reasoning, dealing with different forms of incompleteness both in(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)
The problem of view updating in databases consists in modifying the extension of view relations (i.e., relations defined in terms of “base” ones) transforming only the content of the extensional database, i.e., the extensional representation of base relations. This task is non-deductive in nature and its relationships with non-monotonic reasoning, and(More)