Abstract
In this paper, we present CERISE, a workbench for cyclic acquisition of knowledge.
Our approach is based on the following features:
The origin of this approach is to be found in the KADS modelisation.
This approach is complete because it guides the expert during the acquisition process right to the expression of knowledge rules.
Moreover, it is twice cyclic:
-
an “internal” acquisition cycle is supported by a progressive refinement of the knowledge model;
-
an “external” cycle, made possible by the operationnalization of CERISE, is supported by the validation of the model on real data.
Lastly, this approach is checked, in order to preserve the internal coherence of various knowledge models along the acquisition process.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
B.J. Wielinga, A. Th. Schreiber, J.A. Breuker: KADS: a modelling approach to knowledge engineering. In Knowledge Acquisition, p.5–53, Vol.4, March 1992.
R. de Hoog, R. Martil, B. Wielinga, R. Taylor, C. Bright: The Common KADS model set. ESPRIT Project P5248 KADS-II, Document Id. KADS-II/WP I II/RR/UvA/018/3.2. April 1992.
F. Van Harmelen, J. Balder: (ML)2: A formal language for KADS models of expertise. In knowledge Acquisition, p.127–161, Vol.4, March 1992.
D.L. Parnas, P.C. Clement: A Rational Design Process: how and why to fake it. IEEE Transactions on Software Engineering, vol. SE-12, n∘2, Feb. 1986, p.251–257.
M. Linster: Linking modeling to make sense and modeling to implement systems in an operational environment. In T. Wetter, K.D Althoff, J. Boose, B. Gaines, M. Linster, and F. Schmalhofers, editors, EKAW92, LNAI, Heidelberg, January 1992.
L. Steels: Components of Expertise. AI Magazine, Summer 1990
W. Karbach, M. Linster, A. Voss: Models, methods, roles and tasks: many labels_one idea? Knowledge Acquisition (1990) 2, p. 279–299.
B. Chandrasekaran: Generic tasks in knowledge-based reasoning: high level building blocks for expert system design. IEEE Expert, Automn 1986. p. 23–30.
M.A. Musen: Automated Generation of Model-Based Knowledge-Acquisition Tools, Pitman Publishing, London, 1989.
L. Eshelman: MOLE: A Knowledge-Acquisition Tool for Cover-and-Differentiate Systems. Sandra Marcus editor. Kluwer Academic Publishers, 1988.
B.J. Wielinga, A. Th. Schreiber, J.A. Breuker: Models of Expertise. European Conference of Artificial Intelligence (ECAI 86), 1986.
P. Lévine and J.-CH Pomerol: Knowledge Representation by Schemata in Financial Expert Systems. Theory and Decision 27 (1989) 147–161
M. Suwa, A. Scott, E. Shortliffe: An approach to verifying Completeness and Correctness in a Rule-Based Expert System. In the AI Magazine Fall 1982, p.16–21.
T.A. N'Guyen, W.A. Perkins, T.J. Laffay, D. Pecora: Checking an Expert System Knowledge Base for Consistency and Completeness. In the Proceedings of IJCAI'85, p.375–378.
G. Ravi Prakash, E. Subrahmanian, H.N. Mahabala: A Methodology for Systematic Verification of OPS5-Based AI Applications. In the Proceedings of UCAI'91, Vol.1, p.3–8.Sidney, Australia. 1991.
S. Loiseau: Refinement of Knowledge Bases Based on Consistency. In the Proceedings of ECAI'92, p.845–849. Vienna, Austria.
P. Meseguer: Incremental Verification of Rule-Based Expert Systems. In the Proceedings of ECAI'92, p.840–844. Vienna, Austria.
C. Vicat, P. Brezillon, C. Nottola: Knowledge validation in the building of a knowledge-based system. Proceedings of EUROVAV'93. Palma. Spain.
R. Enand, G.S. Kahn, R.A. Mills: A Methodology for Validating Large Knowledge-Bases. Proceedings of the 3rd AAAI Knowledge Acquisition for Knowledge-Based Systems Workshop, p.5.1–5.11, Banff, November, 1988.
I. Benbasat, J.S Dhaliwal: The validation of knowledge acquisition: methodology and techniques, in Third European Workshop on Knowledge Acquisition for Knowledge-Based Systems, p.60–69, Paris, July 1989. EKAW.
D. Canamero, S. Geldof: Coupling Modeling and Validation in COMMET. 4èmes Jounées d'Acquisition des Connaissances, 29 mars–2 avril 1993, Saint-Raphael, France.
F. Brassier, J.Y. Lapicque, A. Rouge: Vital Quality Approach and Vital Verification and Validation Methodology. Esprit II Project P5365, Document reference: DD121, April 1992.
P. Lafon: Méthodes de Vérification de Bases de Connaissances. E.N.P.C. Thesis. December 91. France.
S. Xanthakis, L. Maesano, A. Le Gall, E. Rabaux: Application de l'analyse du flot de données pour la vérification d'un modèle conceptuel KADS. Journées Francophones de la Validation et de la Vérification des Systèmes à Base de Connaissances, Dourdan, Avril 1992. France.
T. Williams, K. Parker: Design for testability: a survey. IEEE Transactions on computers, Vol 31, n∘1, 1982
D. Porter: An inference structure for use in the fraud assessment domain. Proceedings of 2nd KADS User Meeting. Munich, 17–18 february 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vicat, C., Busac, A., Ganascia, JG. (1993). CERISE: A cyclic approach for knowledge acquisition. In: Aussenac, N., Boy, G., Gaines, B., Linster, M., Ganascia, J.G., Kodratoff, Y. (eds) Knowledge Acquisition for Knowledge-Based Systems. EKAW 1993. Lecture Notes in Computer Science, vol 723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57253-8_57
Download citation
DOI: https://doi.org/10.1007/3-540-57253-8_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57253-4
Online ISBN: 978-3-540-47996-3
eBook Packages: Springer Book Archive