Abstract. This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, and a graphical user interface to provide an integrated toolset for the development of model-based diagnosis applications. The framework has been used for representing a number of application domains. We present the AD2L language, the main user language for the system geared towards use by non-specialists, and discuss use of DiKe in various domains.
This paper describes ARTEX, a knowledge based system developed for quality assurance and fault localization in audio routing systems. Our system covers a large class of routing systems which may be flexibly configured. ARTEX uses an object-oriented model to represent the generic concepts and individual configurations. Fault localization strategies are realized by methods associated with objects and by heuristic rules focusing the diagnostic search.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.