Learn 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)
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)
This article introduces a framework for creating rich augmented environments based on a social web of intelligent things and people. We target outdoor environments, aiming to transform a region into a smart environment that can share its cultural heritage with people, promoting itself and its special qualities. Using the applications developed in the(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)
The analysis of time-varying systems is attracting a lot of attention in the model-based diagnosis community. In this paper we propose an approach to the diagnosis of such systems, relying on a component-oriented model; we provide separately a behavioral model, that is, knowledge about the consequences of differentbehavioral modes of the components, and a(More)
In this paper we propose a framework for decentralized model-based diagnosis of complex systems modeled with qualitative constraints and whose models are distributed among their subsystems. We assume that Local Diagnosers are associated with subsystems and are coordinated by a Supervisor which acts as the diagnoser for the complex system. The Local(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)