Mapcar: A framework to support the elaboration of the conceptual model of a knowledge-based system
Pierre Tchounikine,
Corresponding Author
Pierre Tchounikine
IRIN—Université de Nantes & École Centrale de Nantes, 2, rue de la Houssinière—BP 92208, 44322 Nantes cedex 3, France
IRIN—Université de Nantes & École Centrale de Nantes, 2, rue de la Houssinière—BP 92208, 44322 Nantes cedex 3, FranceSearch for more papers by this authorPierre Tchounikine,
Corresponding Author
Pierre Tchounikine
IRIN—Université de Nantes & École Centrale de Nantes, 2, rue de la Houssinière—BP 92208, 44322 Nantes cedex 3, France
IRIN—Université de Nantes & École Centrale de Nantes, 2, rue de la Houssinière—BP 92208, 44322 Nantes cedex 3, FranceSearch for more papers by this authorFirst published: 07 December 1998
Citations: 3
Abstract
Constructing a knowledge-based system requires the identification of the conceptual primitives and problem-solving strategy that will permit capturing the expertise in an adapted way. This article presents an approach to support the elaboration of such a conceptual model by data abstraction. Our work is motivated by the objective of constructing models that correspond to how experts solve problems, which is required for some applications, as, for example, presenting problem solving in an educational system. We argue that such an objective cannot be tackled by refining a predefined model. We propose to use a prototype reifying the model as a means for its study. We present methodological guides, and an operationalization language that allows the putting into practice of the approach we propose. Examples from different applications illustrate the presentation. © 1997 John Wiley & Sons, Inc.
References
- 1 A. Newell “The knowledge level,” Artif. Intell., 18, 87–127 (1982).
- 2 “ AI-Watch special issue on the EuroKnowledge project,” 4 (8) (1995).
- 3 M. Linster “Integrating conceptual and operational modelling: A case study,” Knowledge Acquisition, 5, 143–171 (1993).
- 4 B. Wielinga, A. Schreiber, and A. Breuker “KADS: A modeling approach to knowledge engineering,” Knowledge Acquisition J., 4(1), 1–162 (1992).
- 5 P. Tchounikine, “ Representing and activating knowledge in educational software for a human instructor-like reasoning-process justification,” in the Proceedings of the International Conference on Advanced Research on Computers in Education (ARCE′90), IFIP, Tokyo, Japan, 1990, pp. 129–134.
- 6 B. Chandrasekaran, “ Generic tasks in knowledge based reasoning: High-level building blocks for expert system design,” in The Proceedings of the 10th IJCAI, Milano, Italy, 1987, pp. 1183–1192.
- 7 L. Steels “Components of expertise,” AI Mag., 11(2), 29–49 (1990).
- 8
W. Karbach and
A. Voss,
“ Model-K for prototyping and strategic reasoning at the knowledge level,” in
Second Generation Expert Systems, (
J. P. David,
J. P. Krivine, and
R. Simmons, Eds.),
Springer-Verlag, Berlin, Germany,
1993,
pp. 721–745.
10.1007/978-3-642-77927-5_30 Google Scholar
- 9 M. Linster “Closing the gap between modelling to make sense and modelling to implement systems,” Int. J. Intell. Syst., 8, 209–230 (1993).
- 10 J. Vanwelkenhuysen and P. Rademakers, “ Mapping a knowledge level analysis onto a computational framework,” in the Proceedings of the European Conference on Artificial Intelligence (ECAI′90), 1990, pp. 661–666.
- 11 D. Fensel and F. van Harmelen, “A comparison of languages which operationalise and formalise KADS models of expertise,” Knowl. Eng. Rev., 9, 105–146 (1994).
- 12 V. Guerrero-Rojo, “ MML, a modelling language with dynamic selection of methods,” in the Proceedings of the Knowledge Acquisition for Knowledge-Based Systems Workshop (Banff′95), Banff, Canada, 1995.
- 13 I. Jacob-Delouis and J. P. Krivine “LISA: Un langage reflexif pour operationaliser les modeles ďexpertise (in french),” Revue ďIntelligence Artificielle, 9(1), 53–88 (1995).
- 14 Z. Istenes and P. Tchounikine “Zola: A language to operationalise conceptual models of reasoning,” J. Computing Inform. (special issue ICCI′96) 2(1), 689–706 (1996).
- 15 P. Tchounikine and C. Choquet, “ Fault diagnosis expert system for robots: A knowledge level prototyping experience,” in the Proceedings of the Seventh International Conference on Software Engineering and Knowledge Engineering (SEKE′95), Rockville-Washington, 1995, pp. 268–274.
- 16 P. Tchounikine “Elaboration of a model of reasoning by prototyping at the knowledge level (in French),” Revue Sciences et Techniques Educatives, 1(4), 483–501 (1994).
- 17 Z. Istenes, P. Tchounikine, and F. Trichet, “ Dynamic selection of tasks and methods as a knowledge level reflective activity,” in Frontiers in Artificial Intelligence and Applications, Artificial Intelligence: Methodology, Systems, Applications (Proceedings of the 7th International Conference AIMSA′96), A. Ramsay, Ed. IOS Press, 1996, pp. 168–177.
- 18 M. J. Elliot, H. T. Bull, C. I. Pulford, N. R. Shadbolt, and W. Smith “Constructive knowledge engineering,” Knowledge Based Systems, 8(5), 259–267 (1995).
- 19 B. R. Gaines, M. L. G. Shaw, and J. B. Woodward “Modeling as framework for knowledge acquisition methodologies and tools,” Int. J. Intell. Syst., 8, 155–168 (1993).
- 20 J. Breuker, “ Reusable components for artificial problem solvers: The common Kads library experience,” in the Proceedings of the IJCAI Workshop on Knowledge Sharing and Information Exchange, Paris, France, 1993.
- 21 J. R. Anderson, C. F. Boyle, A. T. Corbett, and M. W. Lewis “Cognitive modelling and intelligent tutoring,” Artif. Intell., 42, 7–49 (1990).
- 22 J. R. Frederiksen and B. Y. White, “ The avionics job-family tutor: An approach to developing generic cognitive skills within a job-situated context,” in the Proceedings of the International Conference on Artificial Intelligence in Education (AI-Eď93), Edinburgh, Scotland, 1993, pp. 513–520.
- 23 D. E. Kieras, “ What mental model should be taught: Choosing instructional content for complex engineered systems,” in ITS: Lessons Learned, ( J. Psotka, L. D. Massey and S. A. Mutter, Eds.), Lawrence Erlbaum, 1988, pp. 85–111.
- 24 B. Means and S. P. Gott, “ Cognitive task analysis as a basis for tutor development: Articulating abstract knowledge representations,” in ITS: Lessons Learned, ( J. Psotka, L. D. Massey, and S. A. Mutter, Eds.), Lawrence Erlbaum, 1988, pp. 35–57.
- 25 A. Schaafstal and J. M. Schraagen, “ Training of systematic diagnosis: A case study in electronic troubleshooting,” in the Proceedings of the International Conference on Artificial Intelligence in Education, Edinburgh, Scotland, 1993, pp. 529–535.
- 26 R. Winkels and J. Breuker, “ Modelling expertise for educational purposes,” in the Proceedings of the International Conference on Tutoring Systems (ITS′92), Montreal, Canada, 1992, pp. 633–641.
- 27 W. J. Clancey, Knowledge Based Tutoring. The Guidon Program, The MIT Press, Cambridge, MA 1987.
- 28 E. Wenger, Artificial Intelligence and Tutoring Systems, Computational and Cognitive Approaches of the Communication of Knowledge, Morgan Kaufman Publishers Inc., 1987.
- 29 A. Valente, J. Breuker, and B. Bredeweg, “ Integrating modeling approaches in the Common KADS library,” in A. Sloman, D. Hogg, G. Humphreys, A. Ramsay, and D. Partridge, Eds., Prospects for Artificial Intelligence (Proceedings of the AISB′93), IOS Press, Amsterdam, The Nederlands, 1993, 121–130.
- 30 N. Aussenac-Gilles, “ How to combine data abstraction and model refinement: A methodological contribution in MACAO,” in Lecture Notes in Artificial Intelligence (867) ‘Future for Knowledge Acquisition’, L. Steels, G. Schreiber, and W. Van de Velde, Eds., Springer-Verlag, Berlin, Germany, 1994, pp. 262–282.
- 31 K. Sandahl “Transferring knowledge from active expert to end-user environment,” Knowledge Acquisition, 6, 1–22 (1994).
- 32 A. R. Budde, K. Kautz, K. Kuhlenkamp, and H. Zullighoven, Prototyping. An Approach to Evolutionary System Development, Springer-Verlag, Berlin, Germany 1991. 32b M. Reinders, E. Vinkhuyzen, A. Voss, H. Akkermans, J. Balder, B. Bartsch-Sporl, B. Bredeweg, U. Drouven, F. van Harmelen, W. Karbach, Z. Karsen, G. Schreiber, and B. Wielinga “A conceptual modelling framework for knowledge-level reflection,” AI Commun., 4(2/3), 74–87 (1991).
- 33
S. Geldof and
A. Slodzian,
“ From verification to modelling guidelines,” in
Lecture Notes in Artificial Intelligence (867)
‘ A Future for Knowledge Acquisition’:
L. Steels,
G. Schreiber, and
W. Van de Velde, eds.,
Springer-Verlag, Berlin, Germany,
1994,
pp. 226–243.
10.1007/3-540-58487-0_12 Google Scholar
- 34
T. Gruber
“A method for acquiring strategic knowledge,”
Knowledge Acquisition,
1, 255–277
(1989).
10.1016/S1042-8143(89)80014-7 Google Scholar
- 35 C. Paris and Y. Gil, “ EXPECT: Intelligent support for knowledge base refinement,” in the Proceedings of the European Knowledge Acquisition Workshop, Springer-Verlag, Berlin, Germany 1993, pp. 220–236.
- 36 O. Laske, “ On competence and performance notions in expert system design: A critique of rapid prototyping,” in the Proceedings of Les systemes experts et leurs applications, journees internationales ďAvignon (Avignon ′83), Avignon, France, 1983, pp. 257–297.
- 37 F. van Harmelen, B. Wielinga, B. Bredeweg, G. Schreiber, W. Karbach, M. Reinders, A. Vob̃, H. Akkermans, B. Bartsch-Sporl, and E. Vinkhuyzen, “ Knowledge-level reflection,” in Enhancing the Knowledge Engineering Process, Contributions from ESPRIT, B. Le Pape and L. Steel, Eds., Elsevier Science, Amsterdam, The Netherlands, 1992, pp. 175–204.
- 38
W. F. Punch and
B. Chandrasekaran,
“ An investigation of the roles of problem-solving methods in diagnosis,” in
Second Generation Expert Systems,
J. P. David,
J. P. Krivine, and
R. Simmons, Eds.,
Springer-Verlag, Berlin, Germany,
1993,
pp. 673–688.
10.1007/978-3-642-77927-5_28 Google Scholar
- 39 R. Benjamins “Problem-solving methods for diagnosis and their role in knowledge acquisition,” Int. J. Expert Sys.: Res. Appl, 8(2), 93–120 (1995).
- 40 D. Beaubeau, N. Aussenac-Gilles, and P. Tchounikine, Mona au Pays des roles: Operationalisation de modeles conceptuels Mona en Zola (in French), IRIT Internal Report IRIT/96-23-R, Toulouse, France, 1996.
- 41 N. Aussenac-Gilles and N. Matta “Making the method of problem solving explicit with Macao,” Int. J. Human-Computer Stud., 40, 193–219 (1994).
- 42 F. Trichet and P. Tchounikine, “ Des explications pour le concepteur ďun systeme a base de connaissances (in French),” in the Proceedings of the French meeting on explanations, (Journees Explication′96): Sophia-Antipolis, France, 1996, pp. 214–229.
- 43 C. Choquet, P. Tchounikine, and F. Trichet, “ Exploitations pedagogiques ďun modele de raisonnement: Une experience en milieu industriel” (in French). Environnements Interactifs ďApprentissage avec Ordinateurs, Eyrolles, Paris, France, 1995, pp. 101–112.
