Exemple d'une simulation pour l'apprentissage de prolog

4387 mots 18 pages
Exemple d'une simulation argumentée pour l'apprentissage de Prolog Dessalles, J-L. & Meyers, P. (1993). "Exemple d'une simulation argumentée pour l'apprentissage de Prolog". In M. Baron, R. Gras & J-F. Nicaud (Eds), Environnements interactifs d'apprentissage avec ordinateur . Paris : Eyrolles, 147-157. Exemple d'une simulation argumentée pour l'apprentissage de PrologJean-Louis Dessalles
Telecom-Paris - 46 rue Barrault - 75634 Paris Cedex 13
…afficher plus de contenu…

voiture(Revenus, 10) :-
Revenus >= 4000, Revenus < 10000 .voiture(Revenus, 30) :-
Revenus >= 4000, Revenus >= 10000 .
Ce programme est inefficace pour plusieurs raisons : il comporte des buts redondants dans les clauses 1 et 3, et l'aspect déterministe du programme n'est pas pris en considération (par ex. un cut peut être introduit en clause 1 pour éviter un appel inutile des clauses suivantes).
L'interprète Prolog ne peut pas mettre clairement en évidence le manque d'efficacité du programme. Il peut simplement montrer que le programme a un comportement anormal, mais il ne peut pas relier ceci à une faute conceptuelle éventuelle sur le fait, par exemple, qu'il y a backtracking et que le programme peut donner plusieurs solutions, ou encore sur la signification des cuts, etc. C'est en cela que l'intervention de savant 3 peut être
…afficher plus de contenu…

Les difficultés pédagogiques résident essentiellement dans la bonne perception de la pertinence des arguments que la machine oppose à l'étudiant. Nous avons cherché à copier les mécanismes argumentatifs que l'on peut observer dans les conversations naturelles [dessalles 1992b]. Toutefois, il n'est pas certain que l'effet logique souhaité d'un argument soit toujours perçu par l'étudiant. Par exemple, celui-ci doit comprendre les raisons qui poussent la machine à s'étonner (cf. extrait 2). Il s'agit là d'un problème non trivial sur lequel nous travaillons. En revanche, l'amélioration de la forme des arguments (pour éviter la monotonie de l'extrait 1) ne semble pas constituer une difficulté

en relation

  • commentaire pensée sur l'interprétation de la nature Diderot
    1374 mots | 6 pages
  • Droit du travail l3 amphi dauphine
    15522 mots | 63 pages
  • Aps metalux
    329 mots | 2 pages
  • Courir à la maternelle
    1844 mots | 8 pages
  • Vouloirs staisfaire tous ses désirs, est ce une bonne règle de vie?
    1113 mots | 5 pages
  • LA REGLE a 24 divisions
    945 mots | 4 pages
  • Crpe oral de sport
    2051 mots | 9 pages
  • Éco bts com
    1531 mots | 7 pages
  • Dissertations
    1112 mots | 5 pages
  • 1 Ère commerce
    1064 mots | 5 pages
  • Situation d'encadrement
    1111 mots | 5 pages
  • Fontenelle
    625 mots | 3 pages
  • Dissertation
    2801 mots | 12 pages
  • Rapport de stage
    2770 mots | 12 pages
  • Le principe de faveur
    1634 mots | 7 pages