On the construction of hierarchic models

One of the main problems in the field of model-based diagnosis of technical systems today is finding the most useful model or models of the system being diagnosed. Often, a model showing the physical components and the connections between them is all that is available. As systems grow larger and larger, the run-time performance of diagnostic algorithms decreases considerably when using these detailed models. A solution to this problem is using a hierarchic model. This allows us to first diagnose the system using an abstract model, and then use this solution to guide the diagnostic process using a more detailed model. The main problem with this approach is acquiring the hierarchic model. We give a generic hierarchic diagnostic algorithm and show how the use of certain classes of hierarchic models can increase the performance of this algorithm. We then present linear time algorithms for the automatic construction of these hierarchic models, using the detailed model and extra information about cost of probing points and invertibility of components

Beyond rules: The next generation of expert systems

The PARAGON Representation, Management, and Manipulation system is introduced. The concepts of knowledge representation, knowledge management, and knowledge manipulation are combined in a comprehensive system for solving real world problems requiring high levels of expertise in a real time environment. In most applications the complexity of the problem and the representation used to describe the domain knowledge tend to obscure the information from which solutions are derived. This inhibits the acquisition of domain knowledge verification/validation, places severe constraints on the ability to extend and maintain a knowledge base while making generic problem solving strategies difficult to develop. A unique hybrid system was developed to overcome these traditional limitations

COMBINED DEEP AND SHALLOW KNOWLEDGE IN A UNIFIED MODEL FOR DIAGNOSIS BY ABDUCTION

Fault Diagnosis in real systems usually involves human expert’s shallow knowledge (as pattern causes-effects) but also deep knowledge (as structural / functional modularization and models on behavior). The paper proposes a unified approach on diagnosis by abduction based on plausibility and relevance criteria multiple applied, in a connectionist implementation. Then, it focuses elicitation of deep knowledge on target conductive flow systems – most encountered in industry and not only, in the aim of fault diagnosis. Finally, the paper gives hints on design and building of diagnosis system by abduction, embedding deep and shallow knowledge (according to case) and performing hierarchical fault isolation, along with a case study on a hydraulic installation in a rolling mill plant.shallow knowledge, diagnosis, flow systems

Combined Deep and Shallow Knowledge in a Unified Model for Diagnosis by Abduction

Fault Diagnosis in real systems usually involves human expert’s shallow knowledge (as pattern causes-effects) but also deep knowledge (as structural / functional modularization and models on behavior). The paper proposes a unified approach on diagnosis by abduction based on plausibility and relevance criteria multiple applied, in a connectionist implementation. Then, it focuses elicitation of deep knowledge on target conductive flow systems – most encountered in industry and not only, in the aim of fault diagnosis. Finally, the paper gives hints on design and building of diagnosis system by abduction, embedding deep and shallow knowledge (according to case) and performing hierarchical fault isolation, along with a case study on a hydraulic installation in a rolling mill plant.Faulty Diagnosis, abduction, plausibility criteria, relevant criterion

Formal nursing terminology systems: a means to an end

In response to the need to support diverse and complex information requirements, nursing has developed a number of different terminology systems. The two main kinds of systems that have emerged are enumerative systems and combinatorial systems, although some systems have characteristics of both approaches. Differences in the structure and content of terminology systems, while useful at a local level, prevent effective wider communication, information sharing, integration of record systems, and comparison of nursing elements of healthcare information at a more global level. Formal nursing terminology systems present an alternative approach. This paper describes a number of recent initiatives and explains how these emerging approaches may help to augment existing nursing terminology systems and overcome their limitations through mediation. The development of formal nursing terminology systems is not an end in itself and there remains a great deal of work to be done before success can be claimed. This paper presents an overview of the key issues outstanding and provides recommendations for a way forward

Building and Refining Abstract Planning Cases by Change of Representation Language

ion is one of the most promising approaches to improve the performance of problem solvers. In several domains abstraction by dropping sentences of a domain description -- as used in most hierarchical planners -- has proven useful. In this paper we present examples which illustrate significant drawbacks of abstraction by dropping sentences. To overcome these drawbacks, we propose a more general view of abstraction involving the change of representation language. We have developed a new abstraction methodology and a related sound and complete learning algorithm that allows the complete change of representation language of planning cases from concrete to abstract. However, to achieve a powerful change of the representation language, the abstract language itself as well as rules which describe admissible ways of abstracting states must be provided in the domain model. This new abstraction approach is the core of Paris (Plan Abstraction and Refinement in an Integrated System), a system in which abstract planning cases are automatically learned from given concrete cases. An empirical study in the domain of process planning in mechanical engineering shows significant advantages of the proposed reasoning from abstract cases over classical hierarchical planning.Comment: See http://www.jair.org/ for an online appendix and other files accompanying this articl