Exposé d’article IFT-66529 – Ingénierie des connaissances Présenté par « A library of system-derived problem-solving methods for planning » A. Valente, V.R. Benjamins, L.N. De Barros (1998) Présenté par Stéphane Schvartz À Pr. Nicole Tourigny Université Laval Département d’informatique et de génie logiciel 05 février 2003

Plan de la présentation Introduction Rôles de connaissances Méthodes de Résolution de Problème (MRP) pour la planification Conclusion

Introduction Plusieurs librairies de MRP existantes pour la planification. Pas de synthèse claire sur leur utilisation ni leur applicabilité. Analyse des méthodes de planification. Librairie de MRP pour la planification: rôles de connaissances; MRP.

Rôles de connaissances 1/2 State description Plan Model Meta-planning knowledge World description Plan description State changes State change data Plan assessment knowledge Plan structure Plan composition Plan elements Plan data Figure 1: quelques rôles statiques en planification Rôles de connaissances: L’analyse des modèles du domaine devrait être basée sur les rôles que les connaissances jouent dans la résolution de pb Caractérisent les principaux types de connaissances et permettent donc de mieux comprendre la façon dont les connaissances sont structurées = rôles statiques Ces rôles fournissent une base pour décrire quels types de connaissances une méthode de planification utilise. Description des connaissances qui sont des inputs ou des outputs des tâches = rôles dynamiques

Rôles de connaissances 2/2 Rôles dynamiques: état courant; but; plan: étapes du plan; contraintes d’ordonnancement; contraintes sur les variables liées; contraintes auxiliaires. conflit.

MRP: planification 1/2 Éléments de base Tâches: inputs + outputs + but. Structure de tâches: décomposition hiérarchique. Structures de contrôle. Modèles du domaine: structures des éléments des connaissances du domaine dans les MRP. Hypothèses: doivent être validées pour que la structure de tâche puisse être utilisée.

MRP: planification 2/2 Planning Propose refinement Propose-critique-modify Critique plan Modify plan Propose-I Critique-I Causal-link based Ordering selection MTC-based Interaction critique Consistency critique Constraint propagation Test for unachieved goals Propose expansion Select goal Linear select Random select Smart select Smart propose Decomposition propose Goal achievement propose Agenda-based goal-test Current-state goal-test MTC-based goal-test Figure 2: structure de décomposition tâche-méthode pour la planification

Conclusion 1/2 Librairie de MRP avec leurs hypothèses. Hypothèses: décrivent les conditions d’applicabilité des MRP sur les connaissances du domaine. Rôles de connaissances: aident à comprendre la façon dont les connaissances sont ou doivent être structurées. Index sur les modèles du domaine utilisés pour jouer les rôles.

Conclusion 2/2 TIN A et Par-KAP: outils de support pour le processus d’acquisition des connaissances: Trouver des planificateurs adaptés à partir des caractéristiques des connaissances du domaine (hypothèses). Étant donné un planificateur, définir les hypothèses qui réfèrent au domaine.

Questions ?