Abstract FR:

Sysife est un systeme qui aide a valider des systemes a bases de connaissances sachant resoudre des problemes de conception sur modele, c'est-a-dire des problemes ou l'objet a concevoir repond a un modele structurel pre-determine de telle sorte qu'ils peuvent se resoudre par une recherche heuristique dans un espace de solutions defini par un ensemble de contraintes. L'aide apportee par sysife consiste a mettre en evidence des defauts de completude et de robustesse de la base de connaissances. La completude est definie par la possibilite d'assigner une valeur a tout attribut necessaire, et la robustesse, non par l'inexistence d'incoherence, mais par l'aptitude de la bc a contourner les echecs qui apparaissent inevitablement dans la recherche heuristique d'une solution. Sysife propose deux types de verifications: une analyse statique, peu couteuse mais limitee par l'indecidabilite du probleme et une experimentation ou il engendre des exercices qu'il tente ensuite de resoudre,un echec mettant en evidence un defaut de la bc. Le module d'experimentation est construit selon une architecture tripartite constituee d'un eleve, d'un examinateur et d'un jury. Au centre de cette architecture, la notion d'exercice difficile definit la dialectique d'un examen: l'eleve doit resoudre l'exercice et l'examinateur doit faire en sorte qu'il n'y arrive pas. Chacun, lorsqu'il echoue, doit reviser sa copie ou montrer au jury que sa tache est impossible. Dans ce dernier cas, celui-ci peut conclure a un dysfonctionnement de la bc qui merite d'etre signale a l'expert. L'experimentation repose sur deux modeles: le modele qualitatif des dependances permet de representer statiquement l'effet dynamique des connaissances a valider. Le modele des etapes fournit une representation uniforme et structuree des taches de l'experimentation. Sa principale originalite reside dans la repartition des taches sur differents niveaux d'abstraction. Il permet ainsi de distinguer les taches d'execution, ou le travail s'effectue, des (meta--)taches de reflexion ou il est analyse, critique et, eventuellement revise