Intelligence Artificielle NFP106 Anne 2010-2011

Fondements de la mthodologie
Mthodologie KADS : "Knowledge Aquisition and Design System" !! issue des Projets ESPRIT P1098, P3178 et P2548 !! but : analyse et conception de systmes base de connaissances (SBC) Rfrence : Scrheiber G., Wielinga B. & Breuker J., "A principled approach to knowledge-based system development", Academic Press 1993 (partiellement traduit dans: Ph. Martin INRIA RR 2179) Concepteur d'un SBC : !!!confront une performance "experte" visible et objective!: !! acteur (collectif) dans l'entreprise ou l'organisation, capable de l'effectuer !! processus de traitement de l'information ni visible ni objectif : !! support par comptence jamais formalise ni mme formule (exprience)
F.-Y. Villemin 2010" 2"

KADS
F.-Y. Villemin (f-yv@cnam.fr)!
http://deptinfo.cnam.fr

Niveau connaissance
A. Newell (1982-1990) propose niveau suprieur au niveau programme :
Niveau connaissance (knowledge level) caractris par : !! objet du traitement ou connaissance composants : ensemble des buts ensemble des interactions (entres/sorties) !! corpus de connaissances !! loi de comportement: principe de rationalit : "le systme slectionne une action s'il possde la connaissance qu'un de ses buts peut tre atteint au moyen de l'excution de l'action" Systme dcrit au niveau connaissance comme un agent rationnel dot: !! de fins (l'ensemble des buts) !! de moyens physiques d'interaction avec le monde extrieur (l'ensemble des interactions) !! des comptences (le corpus de connaissances) liant fins et moyens selon principe de rationalit
F.-Y. Villemin 2010" 3"

Expos de la mthodologie
Les modles "connaissances" et "oprationnel" de KADS :
Experts Agent rationnel Explique le comportement Modle de connaissances de KADS Description de l'agent rationnel

Niveau connaissance Niveau programme Systme informatique Systme expert

F.-Y. Villemin 2010"

Spcifie la structure

Description du systme informatique Modle oprationnel de KADS

4"

Le cycle de vie
Modle des connaissances : ! produit coopration par l'ingnieur des connaissances et l'expert dcompose en trois sous-activits distinctes et corrles :

Processus d'acquisition des connaissances

" Cinq niveaux d'interprtation des connaissances :

Connaissances documentes

Documents d'expertise

Encyclopdie des connaissances

connaissances

F.-Y. Villemin 2010"

5"

F.-Y. Villemin 2010"

6"

Cycle de vie de KADS

Diffrents modles de KADS : !!!capturer et reprsenter le savoir-faire (mmoire collective) !!!comprhension du problme rel de l'organisation et de ses besoins
modle d' application modle de tche

Modles de KADS
Modle de l'organisation dcrit : !!!environnement du SBC (avant et aprs introduction) !!!interactions (au niveau humain ou social) avec les utilisateurs !!!spcification : !!objectif du manager !!rle du ou des experts !!types d'utilisateurs et leurs besoins !!utilisations du SBC Modle d'application dfinit : !!!problme rsoudre !!!utilit d'un SBC !!!fonction du SBC !!!contraintes techniques (langage, systme d'exploitation, performance)
F.-Y. Villemin 2010" 8"

Modle d' Expertise

modle de coopration

modle fonctionnel

F.-Y. Villemin 2010"

7"

Modles de KADS
Modle de tches : !! spcifie comment la fonction est dcompose par l'expert en tches et sous-tches !! indique les entres-sorties des tches et les agents internes ou externes les excutant Modle de coopration : !! recense les tches de transferts entre le systme et son environnement !! prcise ainsi les rles respectifs (qui fait quoi) Modle d'Expertise : !! utilise le modle de tches !! dcrit le comportement et le type de connaissances ncessaires au systme !!modle de la connaissance de l'expert !!joue le rle de spcifications fonctionnelles !!permet de communiquer entre concepteur(s) et expert(s)
F.-Y. Villemin 2010" 9"

Modles de KADS
Modle Conceptuel est la runion des : !! Modle fonctionnel : !!dcrit objets, comportements et oprations ncessaires au SBC !!architecture fonctionnelle du SBC !!intervenir reprsentation des connaissances (langage d'implantation) !! Modle de conception dtaille : !!spcification en un systme efficace et utilisable

F.-Y. Villemin 2010"

10"

Modle de tches
(1) identifier tche globale (2) dcomposer en diffrentes sous-tches !!arbre ET/OU (3) identifier interdpendances !!rseau de dpendance de donnes (4) attribuer sous-tches des "agents" (systmes ou type d'utilisateurs) !!tenir compte des comptences des utilisateurs !!limitations des dpendances !!exploitation des comptences Interactions :

Modle de coopration
!! moyens d'interaction avec l'environnement la disposition de l'agent rationnel !! limites (de fiabilit, prcision) Entres : caractrises par le type d'objet peru Actions : caractrises par l'objet de l'action et la transformation effectue
Perception Entre Rponse Interaction Sortie Action Action physique Requte Rponse
12"

Requte

Message

F.-Y. Villemin 2010"

11"

F.-Y. Villemin 2010"

Modle de coopration
Dfinit tches de transfert Prcise : !! qui a l'initiative de l'change (utilisateur ou systme) !! le type d'change : "information", "connaissance", "talent"
recevoir-de Systme!!!Utilisateur obtenir-de Systme!!!Utilisateur fournir- Systme!!!Utilisateur prsenter- Systme!!!Utilisateur

Modle de coopration
Trois types d'objets transfrs :
!! L'information : tats spcifiques du monde rel ou conceptuel : des donnes (valeur de variables, description de structure) des tats de problmes des tats internes ou mentaux (intention, valuation, histoire ou tat actuel de la rsolution, processus de communication) !! La connaissance : gnrique buts!!!explication ou enseignement !! Le talent : but!!!!instruire l'autre agent sur la faon d'excuter une sous-tche Objets des interactions (objets concrets) !!!dpart de la conceptualisation du domaine

sens du transfert

l'initiative de

Cinquime type de tche de transfert : "ngocier"

F.-Y. Villemin 2010"

13"

F.-Y. Villemin 2010"

14"

Modlisation de l'expertise
Reprsentation intermdiaire de l'expertise structur en quatre niveaux :

Niveau stratgie
Stratgie #!art du choix
!! dtermine buts poursuivis pour rsoudre un problme !! tats de l'environnement souhaits par l'agent rationnel !! fins explicites de l'action de l'agent rationnel !! dfinit le contexte de rsolution de problmes !! dcrit : dcomposition des buts par un graphe ET/OU nuds (#!buts) peuvent tre annots : par rgles de choix (buts disjonctifs) par rgles de relaxation (buts conjonctifs) et/ou des poids pour dfinir leur importance des buts entre eux relations entre buts liens entre ces buts et les tches de rsolution pour accomplir actions !! documente relations entre buts externes et buts issus de la dcomposition
16"

F.-Y. Villemin 2010"

15"

F.-Y. Villemin 2010"

Niveau stratgie
Exemple de graphe ET/OU de buts Buts atomiques et rgles lis des tches (niveau tche)
But-principal ET Rgle de relaxation SI test1 (cas) ALORS RELAXER Sous-but-1

Exemple
La gestion des personnels dans la Fonction Publique trs complexe, mais trs rglemente
Les personnels d'un tablissement public sont : groups: !par catgorie (A, B, C) !par grade !par chelon (dans le grade) nots (chaque anne, par leur responsable hirarchique) A chaque chelon correspond : un indice exprim (nombre de points) une dure (en mois)

Sous-but-1

Sous-but-2 OU

Rgle de choix SI test1 (cas) ALORS Sous-but-2-1 SINON Sous-but-2-2 Sous-but-2-2

Sous-but-2-1

ET Sous-but-3
F.-Y. Villemin 2010" 17" F.-Y. Villemin 2010" 18"

Exemple:
Chaque anne un certain nombre d'agents changent d'chelon (dure atteinte dans lanne) Un tableau d'avancement des personnels est tablie par la commission paritaire #!listes des agents avec :
!! nouvel chelon !! bonification !! date (rtroactive) d'effet du changement d'chelon !! anciennet dans le nouvel chelon
!!!avancement !!!avancement !!!avancement !!!avancement !!!avancement

Exemple
Cinq types (en gnral) de bonification par chelon (en nombre de points) :
sur moyenne (pas de bonification) intermdiaire maximum intermdiaire intermdiaire minimum minimum (plus avantageux)

Les modes de dtermination de l'avancement se font en fonction :

!! de !! du !! de !! de !! du la catgorie (A, B, C) grade lchelon la note de l'agent type de bonification

A chacun des 5 types de bonification :

!!!une note mini !!!une note maxi !!!des rgles administratives

Exemple de rgle administrative :

SI un agent a dj bnfici d'avancements minima au cours des deux chelons prcdents ALORS ne pas proposer lagent pour un avancement minimum
20"

F.-Y. Villemin 2010"

19"

F.-Y. Villemin 2010"

Exemple
Stratgie :
Tableaux d'avancement Si date de changement d'chelon dans l'anne Alors avancement Sinon bonification

Niveau tche
Tche # unit de calcul en rsolution des problmes
!! expression des rgularits dans la dmarche de rsolution des problmes !! explicite comment contrler les infrences lmentaires pour atteindre un but !! dcomposable en sous-tches !! dcrit les actions effectuer pour attendre les buts

ou

Bonification

Changement d'chelon

et
Si nb bonification mini ! tiers et agent avec 2 bonifications mini Alors retirer bonification mini

Trois types de (sous-)tches :

!! primitive: contrle sur une infrence lmentaire !! compose (tche qui contient sous-tches) !!rcursivit possible (mais viter) !! de transfert : exige interaction avec agent externe (utilisateur) !!spcifies dans modle de coopration

Date d'effet

Anciennet

F.-Y. Villemin 2010"

21"

F.-Y. Villemin 2010"

22"

Niveau tche
Corps dune tche # description : !but # tat espr (concept avec des attributs spcifiques) !des infrences (primitives du langage des tches) accomplir !de la mthode utilise pour raliser tche # graphe de contrle dcrivant contraintes de prcdence respecter !!dcrit par : ! des rgles et leur contrle (chanage arrire et/ou avant, etc.) des algorithmes (contrle classique : affectation, choix et itration) Structure de tche: !tests, arguments des tches et termes de contrle # mta-classes !gnricit, non redondance !!notions de : ! tches gnriques (Chandrasekaran) ! structures dinfrence (Clancey) !!Les tches considres par KADS forment le modle dinterprtation

Exemple: tche
tche: partitionner !/*partition dun groupe*/! but: dterminer les lments du groupe relevant dune mme classe de dcision;! termes de contrle:! modle-du-systme = classification abstraite dun groupe;! norme = critres pour lappartenance une classe de dcision;! cart = critres pour le changement de classe de dcision;! groupe = ensemble des lments du groupe non encore examins; ! partition = ensemble densembles des lments lis une classe de dcision;! structure de tche: partitionner (groupe ! partition)! structure dinfrence: valuation(modle-du-systme ! classede-dcision)! spcifier (modle-du-systme ! norme);! tant que groupe " faire! retirer (groupe ! lment);! abstraire (lment ! lment-abstrait);! comparer (lment-abstrait, norme, cart ! classe-dedcision);! intgrer (partition, lment, classe-de-dcision ! partition)! fait;!
F.-Y. Villemin 2010" 24"

F.-Y. Villemin 2010"

23"

Exemple: tche
tche: classer les agents !/*suivant le type de bonification*/! but: dterminer les agents du groupe pouvant avoir un mme type de bonification;! termes de contrle:! modle-de-bonification = gestion des personnels en termes de bonification;! rgles(-de-bonification) = critres pour recevoir un type de bonification;! cart = quota (et autres dispositions) li un type de bonification;! groupe = ensemble des lments du groupe non encore examins; ! tableau = ensemble densembles des lments lis une type de bonification;! structure de tche: classer-les-agents (groupe ! tableau)! structure dinfrence: valuation(modle-de-bonification ! type de bonification)! spcifier (modle-de-bonification ! norme);! tant que groupe " faire! retirer (groupe ! agent);! abstraire (agent ! note, anciennet);! comparer (note, anciennet, rgles, cart ! type de bonification);! intgrer (tableau, agent, type de bonification ! tableau)! fait;!
F.-Y. Villemin 2010" 25"

Structures d'infrence
Analyse de systme Identification Classification simple Diagnostic : diagnostic de fautes simples diagnostic de fautes multiples classification heuristique diagnostic systmatique recherche de causes valuation (monitoring) Prdiction : prdiction de comportement prdiction de valeurs Modification du systme : rparation contrle de la rparation
F.-Y. Villemin 2010"

La librairie des modles d'interprtation de KADS

Synthse de systme Conception : conception par transformation conception par raffinage: conception par raffinage simple conception par raffinage successif Configuration Planification Modlisation

26"

Niveau infrence
Sparation difficile entre : domaine, infrences, mcanismes de rsolution Niveau infrence mentionne : !! infrences (drivation d'information depuis d'autres informations) !! tche de rsolution de problmes que l'on dsire faire reprsenter graphiquement par structures d'infrences !!rseau statique : pas d'ordre d'excution (pourquoi, mais ni quand ni comment) Structure d'infrences : combinaison de source de connaissances Source de connaissances (SC) : !! dcrit comment une relation du domaine peut tre utilise pour raliser des actions (dcomposer, assembler, classifier, comparer) !! infrence lmentaire (indivisible) (peut tre vue comme simple procdure sur domaine) !! excution contrle explicitement au niveau tche !! a des "mta-classes" ou "rles" pour arguments d'entre et de sortie ("rles" # pointeurs de concepts du domaine, objets et relations)! !! a des oprateurs # noms daction (mthodes ou procdures, ensembles de rgles)
F.-Y. Villemin 2010" 27"

Exemple
Structure dinfrence "Evaluation"
Donnes du cas Modle du systme

Abstraire

Ecart

Spcifier

Description abstraite du cas

Comparer

Norme

Rle! Oprateur!
F.-Y. Villemin 2010"

Classes de dcision

28"

Exemple
Structure dinfrence "Evaluation" instancie
Agent Modle de bonification

Niveau domaine
Connaissance statique du domaine indpendamment de son utilisation : !!concepts du domaine: savoirs gnriques ou instances, proprits avec valeurs possibles !!relations entre concepts: liens de spcialisation, de composition, d'appartenance, de relations spatiales !!relations entre proprits de concept: liens de causalit, d'association ou de relations fonctionnelles, liens temporels concepts quantifiables : quantit, dimension concepts de diagnostic : vidences, hypothses, causes, actions concepts des tches de conception : plans, spcifications, structures, contraintes Domaine mdical : concepts!!!dsordres, causes de ces dsordres, symptmes qu'ils entranent, donnes de laboratoires relations!!!liens causaux entre causes et symptmes ou entre causes et dsordres
29" F.-Y. Villemin 2010" 30"

Abstraire

Quota (et autres dispositions)

Spcifier

Note, anciennet

Comparer

Rgles de bonification

Type de bonification

F.-Y. Villemin 2010"

Rsum de KADS
Lister les buts Etablir les limites de l'expertise Lister les interactions Dcomposer les buts en graphe ET/OU Dfininir le contexte de rsolution Dfinir les rgles de dpendance du contexte Identifier les problmes Choisir les modles d'interprtation Construire le modle d'expertise Instancier les modles d'interprtation Valider/adapter les tches Valider/adapter les structures d'infrences Instancier les oprateurs Dfinir les contraintes sur les oprateurs Instancier les rles types Dfinir les objets abstraits Raffiner les objets du domaine Dfinir les relations abstraites Raffiner les concepts et les relations Stratgie Domaine

} } } }

Stratgie

Tches

Infrence

Infrence Domaine

Domaine

F.-Y. Villemin 2010"

31"