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.

[1]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[2]  Edward H. Shortliffe,et al.  An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..

[3]  Jonathan Lee,et al.  A high-level Petri nets-based approach to verifying task structures , 2002 .

[4]  Walton A. Perkins,et al.  Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.

[5]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[6]  Rokia Missaoui,et al.  The Representation of Semantic Constraints in Conceptual Graph Systems , 1997, ICCS.

[7]  David Genest.  Extension du modèle des graphes conceptuels pour la recherche d'informations , 2000 .

[8]  Marie-Laure Mugnier,et al.  Characterization and Algorithmic Recognition of Canonical Conceptual Graphs , 1993, ICCS.

[9]  Alun Preece,et al.  State of the art in automated validation of knowledge-based systems☆ , 1994 .

[10]  Philippe Martin,et al.  Conceptual Structures and Structured Documents , 1996, ICCS.

[11]  M. Mugnier,et al.  Représenter des connaissances et raisonner avec des graphes , 1996 .

[12]  Rose Dieng.  Comparison of Conceptual Graphs for Modelling Knowledge of Multiple Experts , 1996, ISMIS.

[13]  Bill Keller,et al.  Formalisms for grammatical knowledge representation , 1992, Artificial Intelligence Review.

[14]  Marie-Laure Mugnier,et al.  Positive Nested Conceptual Graphs , 1997, ICCS.

[15]  Svetla Boytcheva,et al.  Conceptual Graphs Self-tutoring System , 2003, ICCS.

[16]  Bernard Botella,et al.  Modelling and Simulating Human Behaviours with Conceptual Graphs , 1997, ICCS.

[17]  Jean-François Baget,et al.  Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints , 2011, J. Artif. Intell. Res..

[18]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[19]  Jean-Pierre H. Laurent.  Proposals for a Valid Terminology in KBS Validation , 1992, ECAI.

[20]  Allen Ginsberg.  Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.

[21]  David Genest,et al.  A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note) , 1998, ICCS.

[22]  E. Tansley,et al.  Using ontology to validate conceptual models , 2003, CACM.

[23]  Jan Treur,et al.  A semantical perspective on verification of knowledge , 2002, Data Knowl. Eng..

[24]  Alon Y. Halevy,et al.  Verification of Knowledge Bases Based on Containment Checking , 1998, Artif. Intell..

[25]  Marie-Laure Mugnier,et al.  Sound and Complete Forward and backward Chainingd of Graph Rules , 1996, ICCS.

[26]  Michel Wermelinger.  A Different Perspective on Canonicity , 1997, ICCS.

[27]  Béatrice Duval,et al.  Validation and Reparation of Knowledge Bases , 2002, ISMIS.

[28]  Marie-Laure Mugnier,et al.  On generalization/specialization for conceptual graphs , 1995, J. Exp. Theor. Artif. Intell..

[29]  Wei-Tek Tsai,et al.  Verification and Validation of Knowledge-Based Systems , 1999, IEEE Trans. Knowl. Data Eng..

[30]  Marie-Christine Rousset,et al.  On the consistency of knowledge bases: the COVADIS system , 1988, Comput. Intell..

[31]  Stéphane Loiseau.  Refinement of Knowledge Bases Based on Consistency , 1992, ECAI.

[32]  Jean Charlet,et al.  KBS Validation: A Knowledge Acquisition Perspective , 1996, ECAI.

[33]  Michel Leclère.  Les connaissances du niveau terminologique du modèle des graphes conceptuels : construction et exploitation , 1995 .

[34]  Alun D. Preece,et al.  Foundation and application of knowledge base verification , 1994, Int. J. Intell. Syst..

[35]  Juliette Dibie-Barthélemy.  Validation et réparation des graphes conceptuels , 2000 .

[36]  Marie-Christine Rousset.  Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms , 1994, ECAI.

[37]  Ollivier Haemmerlé,et al.  A Semantic Validation of Conceptual Graphs , 1998, ICCS.

[38]  Marie-Christine Rousset,et al.  Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics , 1996, ECAI.

[39]  Marc Ayel.  Protocols for Consistency Checking in Expert System Knowledge Bases , 1988, ECAI.

[40]  Paul McKevitt,et al.  Integration of natural language and vision processing: grounding representations , 1996 .

[41]  Olivier Guinaldo,et al.  A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test , 1995, ICCS.

[42]  Pedro Meseguer,et al.  Verification of Multi-Level Rule-Based Expert Systems , 1991, AAAI.

[43]  Keith E. Williamson,et al.  Inconsistency and redundancy checking for quasi-first-order-logic knowledge bases , 1993 .

[44]  Ollivier Haemmerlé,et al.  Integration of Heterogeneous, Imprecise and Incomplete Data: An Application to the Microbiological Risk Assessment , 2003, ISMIS.