Knowledge-based support in Non-Destructive Testing for health monitoring of aircraft structures

Maintenance manuals include general methods and procedures for industrial maintenance and they contain information about principles of maintenance methods. Particularly, Non-Destructive Testing (NDT) methods are important for the detection of aeronautical defects and they can be used for various kinds of material and in different environments. Conventional non-destructive evaluation inspections are done at periodic maintenance checks. Usually, the list of tools used in a maintenance program is simply located in the introduction of manuals, without any precision as regards to their characteristics, except for a short description of the manufacturer and tasks in which they are employed. Improving the identification concepts of the maintenance tools is needed to manage the set of equipments and establish a system of equivalence: it is necessary to have a consistent maintenance conceptualization, flexible enough to fit all current equipment, but also all those likely to be added/used in the future. Our contribution is related to the formal specification of the system of functional equivalences that can facilitate the maintenance activities with means to determine whether a tool can be substituted for another by observing their key parameters in the identified characteristics. Reasoning mechanisms of conceptual graphs constitute the baseline elements to measure the fit or unfit between an equipment model and a maintenance activity model. Graph operations are used for processing answers to a query and this graph-based approach to the search method is in-line with the logical view of information retrieval. The methodology described supports knowledge formalization and capitalization of experienced NDT practitioners. As a result, it enables the selection of a NDT technique and outlines its capabilities with acceptable alternatives

Using conceptual graphs for clinical guidelines representation and knowledge visualization

The intrinsic complexity of the medical domain requires the building of some tools to assist the clinician and improve the patient’s health care. Clinical practice guidelines and protocols (CGPs) are documents with the aim of guiding decisions and criteria in specific areas of healthcare and they have been represented using several languages, but these are difficult to understand without a formal background. This paper uses conceptual graph formalism to represent CGPs. The originality here is the use of a graph-based approach in which reasoning is based on graph-theory operations to support sound logical reasoning in a visual manner. It allows users to have a maximal understanding and control over each step of the knowledge reasoning process in the CGPs exploitation. The application example concentrates on a protocol for the management of adult patients with hyperosmolar hyperglycemic state in the Intensive Care Unit

A Pure Graph-Based Solution to the SCG-1 Initiative

Abstract. This paper answers the SCG-1 initiative. The room allocation problem provided has been solved in a generic and automatic way. The solution is based on a totally declarative formal model. Basic constructs are simple graphs and the fundamental operation for doing reasonings is the graph morphism known as projection. The other formal constructs are rules and constraints defined in terms of simple graphs. The modeling framework built upon the formal model allows one to describe a problem with asserted facts, rules representing implicit knowledge about the do-main, validity constraints and rules transforming the world. A prototype implementing this framework has been built upon the tool CoGITaNT. It has been used to test our modelization of the room allocation problem.

Incremental Lifecycle Validation Of Knowledge-based Systems Through Commonkads

This dissertation introduces a novel validation method for knowledge-based systems (KBS). Validation is an essential phase in the development lifecycle of knowledge-based systems. Validation ensures that the system is valid, reliable and that it reflects the knowledge of the expert and meets the specifications. Although many validation methods have been introduced for knowledge-based systems, there is still a need for an incremental validation method based on a lifecycle model. Lifecycle models provide a general framework for the developer and a mapping technique from the system into the validation process. They support reusability, modularity and offer guidelines for knowledge engineers to achieve high quality systems. CommonKADS is a set of models that helps to represent and analyze knowledge-based systems. It offers a de facto standard for building knowledge-based systems. Additionally, CommonKADS is a knowledge representation-independent model. It has powerful models that can represent many domains. Defining an incremental validation method based on a conceptual lifecycle model (such as CommonKADS) has a number of advantages such as reducing time and effort, ease of implementation when having a template to follow, well-structured design, and better tracking of errors when they occur. Moreover, the validation method introduced in this dissertation is based on case testing and selecting an appropriate set of test cases to validate the system. The validation method defined makes use of results of prior test cases in an incremental validation procedure. This facilitates defining a minimal set of test cases that provides complete and effective system coverage. CommonKADS doesn’t define validation, verification or testing in any of its models. This research seeks to establish a direct relation between validation and lifecycle models, and introduces a validation method for KBS embedded into CommonKAD

Sustentabilidad de los agroecosistemas pampeanos : análisis cualitativo y cuantitativo de la provisión de servicios de los ecosistemas

La conversión de ecosistemas naturales en sistemas agrícolas ha promovido un creciente interés por la sustentabilidad de los agroecosistemas, pudiendo ser evaluada a través de su capacidad de proveer servicios de los ecosistemas (SE). El abordaje de esta temática se realizó a partir del desarrollo de un modelo conceptual representando, de manera cualitativa, el conjunto de variables que determinan la provisión de ocho SE (Balance de C del suelo, Balance de N del suelo, Mantenimiento de la estructura del suelo, Balance hídrico en el suelo, Control de emisión de N2O, Regulación de adversidades bióticas, Control de contaminación del agua subterránea, Mantenimiento de la riqueza de especies) en Región Pampeana. La parametrización de cuatro sectores (Balance de C y N del suelo, Control de emisión de N2O, Control de contaminación del agua subterránea) desprendidos del modelo conceptual se realizó mediante una metodología probabilística denominada Redes Bayesianas, en la cual se vislumbran de manera clara y sencilla el conocimiento y la incertidumbre inherentes al funcionamiento de los agroecosistemas. Posteriormente, la aplicación (y cuantificación) de dichos modelos en tres zonas agrícolas pampeanas con distintas características agro-ecológicas permitió establecer los niveles de provisión de los SE seleccionados. Los aportes originales más destacados de esta tesis fueron los siguientes: 1) presencia de tres relaciones negativas (trade-offs) y dos positivas (sinergias) entre SE; 2) ausencia de un patrón diferencial de influencia de variables ambientales y variables productivas sobre la provisión de SE tanto desde un punto de vista cualitativo como cuantitativo; y 3) nivel de provisión de SE seleccionados, en términos probabilísticos, mayor al 50 por ciento salvo en el caso de Balance de N del suelo (que no superó el valor de 20 por ciento). El enfoque analítico aquí desarrollado puede ser de utilidad para 1) evaluar la sustentabilidad de los agroecosistemas pampeanos desde una dimensión ecológica, y/o 2) asistir a los stakeholders en la toma de decisiones con el objetivo de llevar a cabo estrategias sustentables de uso de la tierra

Actes des 29es Journées Francophones d'Ingénierie des Connaissances, IC 2018

International audienc

A semantic validation of conceptual graphs

sous collection Lecture Notes in Artificial Intelligenceeds : Marie Laure Mugnier et Michel Cheinabsen

A semantic validation of conceptual graphs

The research works on knowledge validation aim at enhancing the quality of knowledge bases. The conceptual graph model is a knowledge representation model which belongs to the family of the semantic networks. We give a solution to validate semantically a knowledge base expressed in terms of conceptual graphs. The semantic validation of a knowledge base consists in checking that the knowledge base respects a set of constraints given by an expert. We propose to express these constraints in terms of conceptual graphs. Two categories of constraints are introduced: the existential constraints which enable one to represent pieces of knowledge that must or must not exist in the knowledge base and the descriptive constraints which enable one to describe how some pieces of knowledge must be represented in the knowledge base. The checking of these constraints by a knowledge base is done by means of the projection operation which is the ground operation of the conceptual graph model

A semantic validation of conceptual graphs

sous collection Lecture Notes in Artificial Intelligenceeds : Marie Laure Mugnier et Michel Cheinabsen