This paper presents a prescriptive account of diagnostic problem solving, or diagnosis, in quality and process control. This paper identifies a general strategy, named branch-and-prune, whose manifestations can be found in disciplines such as medical diagnosis, troubleshooting of devices, and model-based diagnosis in artificial intelligence. The work aims to offer a clear conceptualization of this strategy, based on the notions of structures for the search space, and constraints to the cause's nature. The idea is to treat the search space of candidate explanations as a tree structure, in which general and high-level causal directions are branched into more specific and detailed explanations. Constraints eliminate all but a few branches (pru...
Model based diagnosis is concerned with finding defects in technical devices. The research in this f...
This paper argues that automated knowledge acquisition for diagnosis has had limited success in both...
To determine why something has stopped working, it is useful to know how it was supposed to work in ...
This paper presents a prescriptive account of diagnostic problem solving, or diagnosis, in quality a...
grantor: University of TorontoAutomated diagnosis has long been a problem of interest to t...
We describe a system that reasons from first principles, i.e., using knowledge of structure and beha...
Many real world problems can be expressed as optimisation problems. Solving such problems means to f...
Prior to Raymond Reiter's article 'A Theory of Diagnosis from First Principles', approaches to struc...
This paper presents examples of the processes people use in generating qualitative solutions to comp...
International audienceDiagnosis is the process of identifying or determining the nature and root cau...
This paper studies the problem of learning diagnostic policies from training examples. A diagnostic ...
I have developed a methodology for knowledge representation and reasoning for agents working in expl...
I have developed a methodology for knowledge representation and reasoning for agents working in expl...
Abstract. Most problems studied in artificial intelligence possess some form of structure, but a pre...
International audienceThis paper deals with the choice of abstractions for stating hierarchical diag...
Model based diagnosis is concerned with finding defects in technical devices. The research in this f...
This paper argues that automated knowledge acquisition for diagnosis has had limited success in both...
To determine why something has stopped working, it is useful to know how it was supposed to work in ...
This paper presents a prescriptive account of diagnostic problem solving, or diagnosis, in quality a...
grantor: University of TorontoAutomated diagnosis has long been a problem of interest to t...
We describe a system that reasons from first principles, i.e., using knowledge of structure and beha...
Many real world problems can be expressed as optimisation problems. Solving such problems means to f...
Prior to Raymond Reiter's article 'A Theory of Diagnosis from First Principles', approaches to struc...
This paper presents examples of the processes people use in generating qualitative solutions to comp...
International audienceDiagnosis is the process of identifying or determining the nature and root cau...
This paper studies the problem of learning diagnostic policies from training examples. A diagnostic ...
I have developed a methodology for knowledge representation and reasoning for agents working in expl...
I have developed a methodology for knowledge representation and reasoning for agents working in expl...
Abstract. Most problems studied in artificial intelligence possess some form of structure, but a pre...
International audienceThis paper deals with the choice of abstractions for stating hierarchical diag...
Model based diagnosis is concerned with finding defects in technical devices. The research in this f...
This paper argues that automated knowledge acquisition for diagnosis has had limited success in both...
To determine why something has stopped working, it is useful to know how it was supposed to work in ...