La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

IFT-66529 – Ingénierie des connaissances Exposé darticle « A library of system-derived problem-solving methods for planning » A. Valente, V.R. Benjamins,

Présentations similaires


Présentation au sujet: "IFT-66529 – Ingénierie des connaissances Exposé darticle « A library of system-derived problem-solving methods for planning » A. Valente, V.R. Benjamins,"— Transcription de la présentation:

1 IFT – Ingénierie des connaissances Exposé darticle « 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 dinformatique et de génie logiciel 05 février 2003

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

3 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.

4 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

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

6 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.

7 MRP: planification 2/2 Planning Propose refinement Propose-critique-modify Critique plan Modify plan Propose-I Critique-ICausal-link based Ordering selection MTC-based Interaction critique Consistency critique Constraint propagation Causal-link based MTC-based 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

8 Conclusion 1/2 Librairie de MRP avec leurs hypothèses. Hypothèses: décrivent les conditions dapplicabilité 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.

9 Conclusion 2/2 TIN A et Par-KAP: outils de support pour le processus dacquisition 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.

10 Questions ?

11


Télécharger ppt "IFT-66529 – Ingénierie des connaissances Exposé darticle « A library of system-derived problem-solving methods for planning » A. Valente, V.R. Benjamins,"

Présentations similaires


Annonces Google