SYRCLAD: Une architecture de résolveurs de problèmes permettant d'expliciter des connaissances de classification, reformulation et résolution

Revue d'Intelligence Artificielle

Volumn 13, Issue 2, 1999, Pages 225-282

  Guin Duclosson, Nathalie ^a  

^a UNIVERSITÉ LYON 1   (France)

Author keywords

Classification based reasoning; ITS; Model of a problem; Problem solving

Indexed keywords

EID: 0346933152     PISSN: 0992499X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (29)

1. ANTIBI A., Etude sur l'enseignement de méthodes de démonstration. Enseignement de la notion de limite: réflexions, propositions. Thèse d'état de l'Université Paul Sabatier de Toulouse, 27 juin 1988, Chapitre 5.
2. BRIAND J., L'énumération dans le mesurage des collections. Un dysfonctionnement dans la transposition didactique. Thèse de l'université de Bordeaux I (spécialité didactique des mathématiques), 14 décembre 1993.
3. BRACHMAN R.J., Schmolze J.G., «An overview of the KL-ONE knowledge representation system», Cognitive Science 9(2), April-June 1985, p. 171-276.
4. e RFIA, Paris, 1994, Tome 2, p. 293-303.
5. CHI M., FELTOVICH P., GLASER R., «Categorization and representation of physics problems by experts and novices», Cognitive Science 5, 1981, p. 121-152.
6. CLANCEY W.J., «Heuristic classification», Artificial Intelligence 27, 1985, p. 289-350.
7. DUBOIS J.-G., «Une systématique des configurations combinatoires simples», Educational Studies in Mathematics 15, 1984, p.37-57.
8. ELIO R., SCHARF P., «Modeling novice-to-expert shifts in problem-solving strategy and knowledge organization», Cognitive Science 14, 1990, p. 579-639.
9. FISCHBEIN E. et GROSSMAN A., «Schemata and intuitions in combinatorial reasoning», Educational Studies in Mathematics 34, 1997, p. 27-47.
10. GICK M., HOLYOAK K.J., «Analogical problem solving», Cognitive Psychology 12, 1980, p. 306-355.
11. GICK M., HOLYOAK K.J., «Schema induction and analogical transfer», Cognitive Psychology 15, 1983, p. 1-38.
12. GRENIER D., «Savoirs mis en jeu dans les problèmes de combinatoire», GR CNRS Didactique - Groupe "savoirs et connaissances", Colloque GDR-INRP Différents types de savoirs et leurs articulations, Lyon, 12-13 décembre 1994.
13. GUIN N., Résolution d'exercices de dénombrement par reconnaissance de leur classe. Rapport interne du LAFORIA 94/23, octobre 1994.
14. GUIN N., GIROIRE H., TISSEAU G., «Le classement de problèmes: une méthode de résolution pour le module expert d'un EIAO. Application aux problèmes de dénombrement», EIAO tome 2, actes des quatrièmes journées EIAO de Cachan (D. Guin, J.-F. Nicaud, D. Py éds.), Eyrolles, 1995, p. 113-124.
15. GUIN N., «Utiliser une classification pour résoudre et décomposer des problèmes», Actes de RFIA'98, 20-22 janvier 1998, Clermont-Ferrand, volume III, p.135-144.
16. GUIN N., Reformuler et classer un problème pour le résoudre. L'architecture SYRCLAD et son application à quatre domaines. Thèse de l'université Paris VI, 12 décembre 1997, Thèse LIP6 1998/002.
17. NAPOLI A., VOLLE P., Une introduction aux logiques terminologiques. Rapport du CRIN n° 93-R-033, novembre 1993.
18. NEWEL A., «The Knowledge Level», Artificial Intelligence 18, 1982, p. 87-127.
19. NICAUD J.-F., «Modélisation en EIAO, les modèles d'APLUSIX», Recherches en Didactique des mathématiques 14(1.2), 1994, p. 67-112.
20. NIGRO J.-M., La réalisation et la conception d'un générateur automatique de commentaires: le système GénéCom. Application au jeu du Tarot. Thèse de l'université Paris 6, 12 janvier 1995.
21. PAQUETTE G., Métaconnaissance dans les environnements d'apprentissage. Thèse de l'Université du Maine, Le Mans, octobre 1991.
22. PITRAT J., Métaconnaissance, futur de l'intelligence artificielle. Hermès, 1990.
23. RECHENMANN F., FONTANILLE P., UVIETTA P., Shirka, système de gestion de bases de connaissances centrées-objet, manuel d'utilisation, INRIA Rhône-Alpes, 1990.
24. RECHENMANN F., ROUSSEAU B., «A development shell for knowledge-based systems in scientific computing», Expert Systems for Numerical Computing, E.N. Houstis, J.R. Rice eds, Elsevier science Publishers, New-York USA, 1992, p. 157-173.
25. RENKL A., «Learning from worked-out examples: a study on individual differences», Cognitive Science 21 (1), 1997, p. 1-29.
26. ROGALSKI M., «Les concepts de l'EIAO sont-ils indépendants du domaine? L'exemple d'enseignement de méthodes en analyse», Recherches en Didactiques des Mathématiques 14 (1.2), 1994, p. 43-66.
27. SEROUSSI B., MORICE V., «Problem-solving expertise acquisition: a computational model», Revue d'intelligence artificielle 7(2), 1993, p. 223-273.
28. TISSEAU G., Modélisation à partir d'un énoncé informel: Le système Modelis. Application à des exercices de thermodynamique. Thèse de l'université Paris VI, 29 juin 1990.
29. WILLAMOWSKI J., Modélisation de tâches pour la résolution de problèmes en coopération système-utilisateur. Thèse de l'université Joseph Fourier - Grenoble I, 6 avril 1994.