Franz Lackinger and Wolfgang Nejdl. Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. IEEE Expert, pages 33--40, February 1993.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....tasks enumerated above are mostly done off line. However, in industrial applications it is of utmost importance that diagnosis and monitoring are done on line. An increasing number of research work is reported in using qualitative reasoning for these two domains [Dav84] dKW87] DK91] Ng91] LN93] 1.2 Approaches There are three basic approaches in the field of qualitative reasoning. In the following section, these approaches are shortly presented. The descriptions concentrate on the ontologies of the approaches, their representations of structure, and their methods for deriving system ....

....the chosen qualitative reasoning method must only support the simulation task in the domains of monitoring and diagnosis. The approach of qualitative simulation has its strength exactly in this area. Especially the algorithm QSIM has already been applied in many monitoring and diagnosis systems [LN93] Ng91] DK91] Thr91] Has90] QSIM has some drawbacks which prevent it from a wider application in industrial environments. The main problem is that current QSIM implementations lack in runtime performance. Models of only low to medium complexity can be simulated within reasonable execution ....

Franz Lackinger and Wolfgang Nejdl. Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. IEEE Expert, pages 33--40, February 1993.

....in both static as well as dynamic systems. In dynamic systems, the parameters of the system change over time. Hence, the behavior also changes over time. Examples for model based diagnosis in static systems are [dKW87] Dav84] Model based diagnosis in dynamic systems is demonstrated in [DK91] LN93] Ng91] SM95] Besides diagnosis, major tasks of model based reasoning are: monitoring, design, planning and explanation [Kui94] 1.2 Qualitative Reasoning Qualitative reasoning (QR) is concerned with representing and reasoning with incomplete knowledge about physical systems. This reasoning ....

....the model so that the model predictions continue to track observations. This is the paradigm of diagnosis as model modification [DK91] Since qualitative simulation does not deal with model building, the QSim representation must be extended to be able to modify models. This is demonstrated in [LN93] Ng91] Dvo92] There is a plan to integrate the qualitative simulation paradigm into the long term research project Distributed Real Time Expert System for Fault Diagnosis in Technical Processes of the Institute for Technical Informatics at the Graz University of Technology [GW90] BGM 91] ....

[Article contains additional citation context not shown here]

Franz Lackinger and Wolfgang Nejdl. Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. IEEE Expert, 8(1):33--40, February 1993.

....preference levels enables modeling of a variety of problems including default reasoning, belief revision and model based reasoning. It has been implemented as a Prolog interpreter and tested on a spate of examples, namely the representation of diagnosis strategies in model based reasoning systems ([19, 26, 43, 23]) In [18] we compare REVISE with a number of diagnostic and knowledge update systems, including [14] and [74] Compared to other approaches, which are based on specific systems and specific extensions of these systems such as [23] REVISE has big advantages in declarativity, and is built upon on ....

Franz Lackinger and Wolfgang Nejdl. DIAMON: A model-based troubleshooter based on qualitative reasoning. IEEE Expert, 1993.

....simulation is sound but incomplete. The qualitative simulation paradigm is mainly used in applications where a detailed description of a physical system is not required or even not known. Major application areas of qualitative simulation are design, monitoring, and fault diagnosis [2] 17] [7]. At the Graz University of Technology, a distributed expert system for fault diagnosis in technical processes is developed [16] In this embedded system, several local expert systems are tightly coupled with a technical process (e.g. a modular production system) and are supervised by a global ....

....constraint filter and form all states. The kernel functions are essential in calculating one simulation step, and they normally dominate the overall runtime of QSim. Furthermore, several model based fault diagnosis and monitoring systems do not require the functionality of the whole simulator [2] [7]. These systems are based on the QSim kernel functions. Figure 2 presents an overview of the hierarchical structure of the QSim kernel functions. The constraint check functions (CCFs) are primitive kernel functions and check the local consistency of individual tuples. For each constraint type ....

Franz Lackinger and Wolfgang Nejdl. Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. IEEE Expert, 8(1):33--40, February 1993.

....the basic functionality of qualitative simulation and it dominates the runtime of the overall algorithm [9] Table 1 presents the runtime ratios of kernel functions, global filters, and initial processing. Several model based fault diagnosis and monitoring systems use qualitative simulation [6][1] These systems normally do not require the functionality of the entire simulator basically, Qsim kernel functions are sufficient. 3 Qsim computer architecture Developing new computer architectures is a complex and challenging task. In this paper only the design of a part of the entire ....

Franz Lackinger and Wolfgang Nejdl. Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. IEEE Expert, pages 33--40, February 1993.

....this specialized computer architecture are restricted to kernel functions. Kernel functions are essential in calculating one simulation step, and they normally dominate the runtime of the complete simulator. Several model based fault diagnosis and monitoring systems use qualitative simulation [2] [6]. These systems do not require the functionality of the whole simulator. However, QSim kernel functions are required. Figure 1 presents an overview of the kernel functions, which are hierarchically structured. The constraint check functions (CCFs) are primitive kernel functions but they dominate ....

Franz Lackinger and Wolfgang Nejdl. Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. IEEE Expert, pages 33--40, February 1993.

....this specialized computer architecture are restricted to kernel functions. Kernel functions are essential in calculating one simulation step, and they normally dominate the runtime of the complete simulator. Several model based fault diagnosis and monitoring systems use qualitative simulation [1] [7]. These systems do not require the functionality of the whole simulator. However, QSim kernel functions are required. Figure 2 presents an overview of the kernel functions. These functions are hierarchically structured and are analyzed in the following two chapters. The constraint check functions ....

Franz Lackinger and Wolfgang Nejdl. Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. IEEE Expert, pages 33--40, February 1993.

....framework. It is powerful enough to express a wide variety of problems including various nonmonotonic reasoning and belief revision strategies and more application oriented knowledge such as diagnostic strategies in modelbased reasoning systems ( de Kleer, 1991, Friedrich and Nejdl, 1992, Lackinger and Nejdl, 1993, Dressler and Bottcher, 1992] We start, in Section 2, by reviewing the well founded semantics with explicit negation and two valued contradiction removal [Pereira et al. 1993b] which supplies the basic semantics for REVISE. We then introduce in Section 3 the concept of preference levels ....

Franz Lackinger and Wolfgang Nejdl. DIAMON: A model-based troubleshooter based on qualitative reasoning. IEEE Expert, February 1993.

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