1 / 74

Sherlock II

Sherlock II. Sherlock II : Editeur d’ontologies. Sherlock II : Résolveur de problèmes. Sherlock II : Niveau « Méta ». Sherlock II : Aide à la découverte de connaissances. Sherlock II : Environnement de développement d’applications. Sherlock II. Sherlock II : Editeur d’ontologies.

gasha
Download Presentation

Sherlock II

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Sherlock II Sherlock II : Editeur d’ontologies Sherlock II : Résolveur de problèmes Sherlock II : Niveau « Méta » Sherlock II : Aide à la découverte de connaissances Sherlock II : Environnement de développement d’applications

  2. Sherlock II Sherlock II : Editeur d’ontologies Sherlock II : Résolveur de problèmes Sherlock II : Niveau « Méta » Sherlock II : Aide à la découverte de connaissances Sherlock II : Environnement de développement d’applications

  3. Sherlock II : Editeur d’Ontologies Notions primitives minimales en représentation des Connaissances de Domaine Contrainte & Schéma Causal ontologielourde Propriété & Attribut ontologie Concept & Relation ^ Objet

  4. Sherlock II : Editeur d’Ontologies Schémas causaux Contraintes globales Propriétés, Attributs, Contraintes locales Propriétés, Attributs Concept (Hiérarchie) Relation ^ Objet Ontologieslourdes

  5. relation d’héritage concept attribut (d’instance) propriété (de concept) instance valeurs attribut d’instance Sherlock II : Editeur d’Ontologies Concept

  6. Sherlock II : Editeur d’Ontologies Concept attribut avec facettes domaine, (ici numérique) valeur initiale, valeur par défaut, stratégie de recherche, démon d’évaluation, actions après modification, interface d’entrée/sortie

  7. Sherlock II : Editeur d’Ontologies Concept attribut domaines : numérique énuméré (liste de valeurs symboliques) booléen chaîne de caractères

  8. Sherlock II : Editeur d’Ontologies Concept

  9. Sherlock II : Editeur d’Ontologies Concept

  10. Sherlock II : Editeur d’Ontologies Relation relation * relation descriptive dotée d’attributs de propriétés * héritage (sorte de) * composition (partie de), et métonymie (transmission d’attributs) * appartenance (membre de) association (lien entre instances)

  11. adhère à Humain revenu : num Organisation cotisation : numérique ... Relation descriptive & attributs de ses réalisations à jour de cotisation : booléen employé par salaire Parti Politique Syndicat Entreprise ... employé par ( Polo, INSA) - employé par ( Polo, UCBL) employé par (Polo, INSA) § salaire = 100 employé par (Polo, UCBL) § salaire = 50

  12. adhère à Humain revenu : num Organisation cotisation : numérique ... Relation descriptive & attributs de ses réalisations à jour de cotisation : booléen employé par salaire Parti Politique Syndicat Entreprise ... employé par ( Polo, INSA) - employé par ( Polo, UCBL) employé par (Polo, INSA) § salaire = 100 employé par (Polo, UCBL) § salaire = 50

  13. Relation descriptive parallèle Droite << inverse( parallèle, sécante) >> sécante perpendiculaire << symétrique >> <<irréflexive >> & propriétés de relation prédéfinies et construites

  14. parallèle Droite sécante contrainte << perpendiculaire (X, Y)  sécante (X, Y) >> perpendiculaire << symétrique >> <<irréflexive >>

  15. Relation de composition & métonymie (transmission d’attributs) Permet de dire : « La roue est crevée » Pour « La chambre à air (de la roue) est crevée »

  16. Relation de composition & métonymie (transmission d’attributs) la couleur du vélo est celle de son cadre

  17. Relation d’appartenance Génération automatique de la relation

  18. Relation d’appartenance Génération automatique de type €T : ensemble de T Ex : Si $sest un Syndicat, défini comme un ensemble de Humain, €$s est l’ensemble des instances de Humain qui sont membres de $s

  19. Sherlock II Sherlock II : Editeur d’ontologies Sherlock II : Résolveur de problèmes Sherlock II : Niveau « Méta » Sherlock II : Aide à la découverte de connaissances Sherlock II : Environnement de développement d’applications

  20. Sherlock II : Résolveur de Problèmes Modes de résolution de problèmes Stratégique Analogique Tactique Réflexe

  21. Sherlock II : Résolveur de Problèmes Modes de résolution de problèmes Stratégique (Impératif) : Tâche Réflexe (EvéntAction) : Démon Tactique (Déductif) : Règle Analogique : Schéma de cas

  22. Sherlock II : Résolveur de Problèmes Démons Réflexes : (événementaction) Démons« when changed » Recalcule la catégorie du boxeur à chaque modification de la valeur de son poids

  23. Sherlock II : Résolveur de Problèmes Règles Connaissances tactiques (Déductif) : Règle

  24. Sherlock II : Résolveur de Problèmes Règles Règle nom commentaire mode de fonctionnement BdR nom commentaire inhibé sous-base de Partie Condition Partie Conclusion Paramètre Condition Action Base principale Liste des règles de la (sous) base sélectionnée Sous-bases

  25. Sherlock II : Résolveur de Problèmes Règles Déclarations (ici 2 variables $X et $Y ) Partie « Condition » Partie « Conclusion »

  26. Sherlock II : Résolveur de Problèmes Règles Règle nom commentaire mode de fonctionnement BdR nom commentaire inhibé sous-base de Partie Condition Partie Conclusion Paramètre Condition Action Action sur base de faits Action de recherche Action d’ entrée/sortie Action de contrôle ajouter(fait) ; retirer(fait ) blanchir(fait) ; initialiser(fait) ; par défaut(fait) calculer(fait) ; évaluer(formule) affirmer(relation) ; nier(relation) ; supprimer (relation) écrire() ; présenter( écran | rapport) ; message ( … ) ; déposer(fichier, fait | rapport) purger(fichier) ; consulter(fichier) ; lire(fichier, fait) saisir( ) ; saisirO( ) activer(tache) ; exécuter(programme) libérer(base) ; inhiber(base) ; restaurer(base) sortir ; arrêt trouver(fait) ; prouver(fait) justifier(fait) ; appliquer(pattern)

  27. Rk+1,i Fait 4 Fait 4’ Sherlock II : Résolveur de problèmes Moteur d’inférences Mode : Marche Avant dynamique : propagation de faits connus {Fait}0 …  {Fait}k {Fait}k+1  … Fait 1 Rk,1 Fait 2 Rk,2 Fait 3 Règle Rk,1 : Si Fait1 et Fait2 Alors Fait 4 Règle Rk,2 : Si Fait2 et Fait3 Alors Fait 4’ Profondeur d’abord Déclenchement : Nouveau fait ; Libération d’une base de règles Actions Sherlock : Ajouter, Calculer, Affirmer, Nier, Par défaut, Saisir, Lire, Consulter, …

  28. Sherlock II : Résolveur de Problèmes Moteur d’inférences Mode : Marche Arrière dynamique : recherche des conditions de preuve d’un fait inconnu {Fait}n-1 + ? B Rn-1,1 Fait n-1, 1 B Fait n-1, 2 Rn-1,2 ? B ? Fait n-1, 1 Règle Rn-1,1 : Si … et Faitn-1, 1 Alors B ? B ? Fait n-1, 2 Règle Rn-1,2 : Si … et Faitn-1, 2 Alors B Déclenchement : Nouveau but (Actions Sherlock : Trouver, Prouver)

  29. Sherlock II : Résolveur de Problèmes Rn-1,1 Fait n-1, 1 Moteur d’inférences Mode Hypothético-déductif dynamique : justification d’un fait avéré {Fait}n dont Fk F Fait k pourquoi Fait k? Règle Rn-1,1 : Si … et Faitn-1, 1 Alors F k  ? Fait n-1, 1 Déclenchement : Actions Sherlock : Justifier

  30. Sherlock II : Résolveur de Problèmes Analogie Raisonnement Analogique : Principe : compléter un ‘cas’ X en fonction d’une base de cas { cas j } connus

  31. Sherlock II : Résolveur de Problèmes Analogie Base de Cas cas 1 cas 2 cas n cas X à résoudre 1) définir les caractéristiques pertinentes d’un cas (attributs ai) et leur poids  ‘distance’ d(cas X,cas j) adaptation ‘horizontale’ (aiX = f(aij)) 2) définir la fonction d’adaptation attribut par attribut adaptation ‘verticale’ (via le cas le plus proche)

  32. Sherlock II : Résolveur de Problèmes Analogie Schéma définition des attributs conservés dans le schéma

  33. Sherlock II : Résolveur de Problèmes Analogie définition du poids des attributs  ‘distance’ d(cas X,cas j)

  34. Sherlock II : Résolveur de Problèmes Analogie définition des modalités d’adaptation des attributs

  35. Usage manuel Sherlock II : Résolveur de Problèmes Analogie Usage par programmation : Action Sherlock : Appliquer ( nom schéma, nom instance)

  36. Sherlock II : Résolveur de Problèmes Analogie Exemple base de cas : liste de pays avec une description de leur drapeau

  37. Sherlock II : Résolveur de Problèmes Analogie données ? ? Adaptation horizontale : « pays le plus proche »

  38. Sherlock II : Résolveur de Problèmes Analogie Adaptation verticale : Majorité « couleur la plus fréquente »

  39. Sherlock II : Résolveur de Problèmes Contrôle de la Résolution Contrôle de la Résolution au niveau Tâche Connaissances impératives : Tâches Tâche principale Sous-tâches

  40. Sherlock II : Résolveur de Problèmes Contrôle de la Résolution Contrôle de la Résolution au niveau Tâche Tâche = Flux de Connaissances puis Méthode de Résolution

  41. Sherlock II : Résolveur de Problèmes Contrôle de la Résolution Contrôle de la Résolution au niveau Tâche Tâche = Flux de Connaissances puis Méthode de Résolution Méthode = description de la séquence d’actions à effectuer à l’appel de la tâche

  42. Sherlock II : Résolveur de Problèmes Contrôle de la Résolution Contrôle de la Résolution au niveau Tâche Tâche = Flux de Connaissances puis Méthode de Résolution Tâche nom sous-tâche de Action Action simple Itérative Séquence Conditionnelle {condition}action {condition}action|action Action sur base de faits Action de recherche Action d’ entrée/sortie Action de contrôle [condition]action ( action, action , … ) activer (tâche) ….

  43. Sherlock II : Résolveur de Problèmes Contrôle de la Résolution Contrôle de la Résolution au niveau Domaine stratégie de recherche d’un attribut (booléen ou énuméré) 1 2

  44. Sherlock II : Résolveur de Problèmes Contrôle de la Résolution Contrôle de la Résolution au niveau Domaine stratégie de recherche d’un attribut (numérique ou chaîne) 1 2 3

  45. Sherlock II : Résolveur de Problèmes Contrôle de la Résolution Contrôle de la Résolution au niveau Règle Les règles d’une base inhibée ne sont pas exploitées par le moteur d’inférences. cf Actions : inhiber( ) et libérer ( )

  46. Sherlock II : Résolveur de Problèmes Contrôle de la Résolution Contrôle de la Résolution au Niveau Méta Mode déclaratif : Méta-Règles Partie « Déclarations » de la méta-règle ‘ règle utilisée ’ ’

  47. Sherlock II Sherlock II : Editeur d’ontologies Sherlock II : Résolveur de problèmes Sherlock II : Niveau « Méta » Sherlock II : Aide à la découverte de connaissances Sherlock II : Environnement de développement d’applications

  48. Sherlock II : Niveau Méta Tous les éléments d’une base de connaissances sont accessibles au niveau « méta » : Les concepts du domaine (Individu, Entreprise, Droite, …) en tant qu’instances de la métaclasse ²Concept, leurs relations en tant qu’instances de la métaclasse ²Relation, etc… Les tâches participant à la résolution en tant qu’instances de la métaclasse ²Tâche, les règles en tant qu’instances de la métaclasse ²Règle , etc…

More Related