Abstract
The works on validation propose solutions to ensure the quality of knowledge based systems. We are interested in the validation of a specific model of knowledge representation: the conceptual graph model. We present a semantic validation of conceptual graphs based on constraints given by an expert. The semantic validation of a knowledge base composed of conceptual graphs consists in checking its quality according to two kinds of constraints. The existential constraints allow one to express knowledge which must be deduced or which must absolutely not be deduced from the knowledge base. The descriptive constraints characterize the properties a conceptual graph must verify in the knowledge base. Descriptive constraints can be minimal or maximal to express the notions of “at least” and “at most”. We introduce the notion of specification which is a combination of constraints linked by logical operators. The validation of a knowledge base is made according to these specifications, by means of a conceptual graph operation: the projection.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bos, C., Botella, B., and Vanheeghe, P. (1997). Modelling and simulating human behaviours with conceptual graphs. In Proceedings of the 5th Int. Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence 1257, pp 275 – 289, Seattle, U.S.A. Springer Verlag.
Chein, M. and Mugnier, M.L. (1992). Conceptual graphs: fundamental notions. Revue d’Intelligence Artificielle, 6(4), pp365–406.
Dibie, J. (1997). Validation des graphes conceptuels. Rapport de stage de DEA, Université Paris I X, Dauphine, Paris, Septembre.
JDibie, J. (1997). Une validation logique des graphes conceptuels. 4 th Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, pp85–88.
Dieng, R. (1997). Comparison of conceptual graphs for modelling knowledge of multiple experts: application to traffic accident analysis. Rapport de recherche 3161, INRIA, Sophia Antipolis.
Haemmerlé, O. (1995). CoGITo: une plate-forme de développement de logiciels sur les graphes conceptuels. PhD thesis, Université Montpellier I I.
Haouche, C. and Charlet, J. (1996). KBS validation: a knowledge acquisition perspective. ECAI, pp433–437.
Hors P. and Rousset, M.V. (1996) Modeling and verifying complex objects: A declarative approach based on description logics. ECAI’96.
Martin, P. and Alpay, L. (1996). Conceptual structures and structured documents. In Proceedings of the 4th Int. Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence 1115, Springer-Verlag, Sydney, Australia, pp 145 – 159.
Mugnier, M.L. and Chein, M. (1996). Représenter des connaissances et raisonner avec des graphes. Revue d’Intelligence Artificielle, 10(1):7–56.
Palmer, G.J. and Craw, S. (1995). Utilising explanation to assist the refinment of knowledge-based systems. Proceedings of the 3rd European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV’95), Chambery, France, pp 201 – 211.
Preece, A. and Zlaterava, N. (1994). A state of the art in automated validation of knowledge-based systems. Expert Systems with Applications, 7(2):151–167.
Rousset, M-C. (1994). Knowledge formal specifications for formal verification: a proposal based on the integration of different logical formalism. European Conference on Artificial Intelligence, pp739–743.
Sowa, J.F. (1984). Conceptual structures: information processing in mind and machine. Addison Wesley Publishing Company.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Dibie-Barthélemy, J., Haemmerlé, O., Loiseau, S. (1999). Constraints for Validation of Conceptual Graphs. In: Vermesan, A., Coenen, F. (eds) Validation and Verification of Knowledge Based Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6916-6_6
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6916-6_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5107-6
Online ISBN: 978-1-4757-6916-6
eBook Packages: Springer Book Archive