Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Dynamic Domain Abstraction Through Meta-diagnosis
| |
|
Dynamic Domain Abstraction Through Meta-diagnosis
Johan de Kleer1 
| (1) |
Palo Alto Research Center, 3333 Coyote Hill Road, Palo Alto, CA 94304, USA |
Abstract
One of the most powerful tools designers have at their disposal is abstraction. By abstracting from the detailed properties
of a system, the complexity of the overall design task becomes manageable. Unfortunately, faults in a system need not obey
the neat abstraction levels of the designer. This paper presents an approach for identifying the abstraction level which is
as simple as possible yet sufficient to address the task at hand. The approach chooses the desired abstraction level through
applying model-based diagnosis at the meta-level, i.e., to the abstraction assumptions themselves.
Keywords Abstraction - diagnosis - qualitative reasoning - model-based reasoning
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|