V. Brusoni L. Console P. Terenziani D. Theseider Dupr'e Dipartimento di...  Home/Search
Context Related
| di.unito.it/~krr/papers/dx96.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unito.it/~dtd/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present an extension of the spectrum of logical definitions 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 different temporal phenomena that can be taken into account in diagnosis and we introduce a modeling language which can capture all such... (Update)
Context of citations to this paper: More
...faulty, or, more generally, its behavior could be time varying. Here we do not consider the temporal dimension see (Brusoni et al. 1998) for the different ways of taking it into account and we mean that the system behaves deterministically in a time interval...
...a lot of attention in the model based reasoning community (see e.g. chapt. 2 of (Hamscher, Console, de Kleer 1992) or (Brusoni et al. 1998; Bylander et al. 1991; de Kleer, Mackworth, Reiter 1992; Lucas 1998) These frameworks have been used to provide a semantics for...
Cited by: More
Modelling Contextual Meta-Knowledge in Temporal Model Based.. - Palma, Marin (2002) (Correct)
Formulating Diagnostic Problem Solving Using an Action.. - Baral, McIlraith, Son (2000) (Correct)
Generating Temporal Decision Trees for Diagnosing.. - Console, Picardi.. (Correct)
Similar documents (at the sentence level):
51.3%: Temporal Model-Based Diagnosis: An Overview From.. - Brusoni, Console, .. (1996) (Correct)
10.1%: A Spectrum of Definitions for Temporal Model-Based.. - Brusoni, Console.. (1998) (Correct)
Active bibliography (related documents): More All
1.4: On the Dimensions of Temporal Model-Based Diagnosis - Console, Dupré (Correct)
0.8: Characterizing Temporal Abductive Diagnosis - Brusoni, Console, Terenziani.. (1996) (Correct)
0.4: Explications Causales - Besnard, Cordier (Correct)
Similar documents based on text: More All
0.3: An Efficient Algorithm for Temporal Abduction - Brusoni, Console, Terenziani, .. (1997) (Correct)
0.3: Merging Indiscriminable Diagnoses: an Approach Based on.. - Torasso, Torta (Correct)
0.2: Qualitative Temporal Behavior Description and Temporal.. - Nejdl, Gamper (1993) (Correct)
Related documents from co-citation: More All
3: A theory of diagnosis from first principles (context) - Reiter - 1987
3: Maintaining knowledge about temporal intervals (context) - Allen - 1983
3: Failure diagnosis using discrete-event models (context) - Sampath, Sengupta et al. - 1996
BibTeX entry: (Update)
Brusoni, V.; Console, L.; Terenziani, P.; and Theseider Dupr'e, D. 1998. A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence (to appear). http://citeseer.ist.psu.edu/article/brusoni98spectrum.html More
@article{ brusoni98spectrum,
author = "Vittorio Brusoni and Luca Console and Paolo Terenziani and Daniele Theseider Dupre",
title = "A Spectrum of Definitions for Temporal Model-Based Diagnosis",
journal = "Artificial Intelligence",
volume = "102",
number = "1",
pages = "39-79",
year = "1998",
url = "citeseer.ist.psu.edu/article/brusoni98spectrum.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
117 the relationship between abduction and deduction - Console, Theseider et al. - 1991
98 The use of design descriptions in automated diagnosis (context) - Genesereth - 1984
82 A spectrum of logical definitions of model-based diagnosis (context) - Console, Torasso
54 Modeling digital circuits for troubleshooting (context) - Hamscher - 1991
52 Model-based monitoring of dynamic systems - Dvorak, Kuipers - 1989
15 Harnessing the power of temporal abstractions in model-based.. - Nejdl, Gamper - 1994
13 Integrating modelbased monitoring and diagnosis of complex d.. (context) - Lackinger, Nejdl - 1991
13 the cooperation between abductive and temporal reasoning in .. (context) - Console, Torasso
12 Reasoning about state from causation and time in a medical d.. (context) - Long - 1983
11 Diagnosing temporal misbehaviour (context) - Friedrich, Lackinger - 1991
10 Temporal matching: Recognizing dynamic situations from discr.. (context) - Nokel - 1989
7 Explanatory diagnoses and their characterization by circumsc.. (context) - Besnard, Cordier - 1994
7 Diagnosing time-varying misbehavior: an approach based on mo.. (context) - Console, Portinale et al. - 1994
7 Model-based (context) - Ng - 1991
7 Qualitative reasoning with deep-level mechanism models for d.. (context) - Pan - 1984
5 Consistency-based diagnosis in physiological domains (context) - Downing - 1992
5 Characterizing temporal abductive diagnosis - Brusoni, Console et al. - 1996
2 and Schafer-Richter (context) - Guckenbiehl - 1990
1 An efficient algorithm for computing temporal abductive diag.. (context) - Mathematics, Intelligence et al. - 1995
1 Dynamic across-time measurement interpretation (context) - diagnoses, Intelligence et al. - 1991
1 and Bertolino (context) - Preist, Eshghi - 1994
1 Later: an efficient (context) - Brusoni, Console et al. - 1997
1 A theory of diagnosis from first principles (context) - abductive, gen- et al. - 1987
1 Diagnostic reasoning based on structure and behavior (context) - Logic, -- - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.unito.it/~dtd/papers/): More
On the Dimensions of Temporal Model-Based Diagnosis - Console, Dupré (Correct)
The Different Roles of Abstraction in Abductive Reasoning - Dupre, Rossotto (Correct)
Characterizing Temporal Abductive Diagnosis - Brusoni, Console, Terenziani.. (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC