Sherlock II Sherlock II : Environnement de développement dapplications Sherlock II : Editeur...

Sherlock II

Sherlock II : Environnement de développement d’applications

Sherlock II : Editeur d’ontologies

Sherlock II : Aide à la découverte de connaissances

Sherlock II : Résolveur de problèmes

Sherlock II : Niveau « Méta »

Sherlock II

Propriété& Attribut

Contrainte& Schéma Causal

Concept& Relation

^ Objet

ontologie

ontologie lourde

Sherlock II : Editeur d’Ontologies

Notions primitives minimales en représentation des Connaissances de Domaine

Propriétés, Attributs,Contraintes locales

Concept(Hiérarchie)

^ Objet

Propriétés, Attributs

Relation

Schémas causauxContraintes globales

Ontologies lourdes

Sherlock II : Editeur d’Ontologies

concept attribut (d’instance) propriété (de concept)

instance valeurs attribut d’instance

relation d’héritage

Sherlock II : Editeur d’OntologiesConcept

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

attribut domaines : numérique énuméré (liste de valeurs symboliques) booléen chaîne de caractères

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)

Sherlock II : Editeur d’OntologiesRelation

Parti Politique

Organisation

cotisation : numérique...

Syndicat

Humainrevenu : num

adhère à

à jour de cotisation : booléen

Entreprise...

employé parsalaire

Relation descriptive

& attributs de ses réalisations

employé par ( Polo, INSA) - employé par ( Polo, UCBL)employé par (Polo, INSA) § salaire = 100employé par (Polo, UCBL) § salaire = 50

Parti Politique

Organisation

cotisation : numérique...

Syndicat

Humainrevenu : num

adhère à

à jour de cotisation : booléen

Entreprise...

employé parsalaire

& attributs de ses réalisations

employé par ( Polo, INSA) - employé par ( Polo, UCBL)employé par (Polo, INSA) § salaire = 100employé par (Polo, UCBL) § salaire = 50

Droite

parallèle

sécante

<< inverse( parallèle, sécante) >>

perpendiculaire<< symétrique >> <<irréflexive >>

& propriétés de relation prédéfinies et construites

<< perpendiculaire (X, Y) sécante (X, Y) >>

Droite

parallèle

sécante

perpendiculaire<< symétrique >> <<irréflexive >>

contrainte

Permet de dire :« La roue est crevée »Pour« La chambre à air (de la roue) est crevée »

Relation de composition

& métonymie (transmission d’attributs)

la couleur du vélo est celle de son cadre

& métonymie (transmission d’attributs)

Relation de composition

Relation d’appartenance

Génération automatique de la relation

Relation d’appartenance

Génération automatique de type €T : ensemble de T

Ex : Si $s est un Syndicat, défini comme un ensemble de Humain, €$s est l’ensemble des instances de Humain qui sont membres de $s

Sherlock II

AnalogiqueTactique

Réflexe

Modes de résolution de problèmes

Sherlock II : Résolveur de Problèmes

Stratégique

Stratégique (Impératif) : Tâche

Tactique (Déductif) : Règle

Réflexe (EvéntAction) : Démon

Analogique: Schéma de cas

Modes de résolution de problèmes

Réflexes : (événementaction)

Démons « when changed »

Recalcule la catégorie du boxeur à chaque modification de la valeur de son poids

Sherlock II : Résolveur de ProblèmesDémons

Connaissances tactiques(Déductif) : Règle

Sherlock II : Résolveur de ProblèmesRègles

BdRnom

commentaire inhibé

sous-base de

Paramètre

Partie ConclusionPartie Condition

ActionCondition

Base principale

Sous-bases

Liste des règles de la (sous) base sélectionnée

Règlenom

commentairemode de fonctionnement

Règles

Partie « Condition »

Déclarations

(ici 2 variables $X et $Y )

Partie « Conclusion »

Sherlock II : Résolveur de ProblèmesRègles

BdRnom

commentaire inhibé

sous-base de

Paramètre

Partie ConclusionPartie Condition

ActionCondition

Règlenom

commentairemode de fonctionnement

Action sur base de faits

Action derecherche

Action d’entrée/sortie

Action decontrôle

ajouter(fait) ; retirer(fait )blanchir(fait) ; initialiser(fait) ; par défaut(fait)calculer(fait) ; évaluer(formule)affirmer(relation) ; nier(relation) ; supprimer (relation)

trouver(fait) ; prouver(fait) justifier(fait) ; appliquer(pattern)

activer(tache) ; exécuter(programme) libérer(base) ; inhiber(base) ; restaurer(base)sortir ; arrêt

écrire( ) ; présenter( écran | rapport) ; message ( … ) ; déposer(fichier, fait | rapport) purger(fichier) ; consulter(fichier) ; lire(fichier, fait)saisir( ) ; saisirO( )

Règles Sherlock II : Résolveur de Problèmes

Mode : Marche Avantdynamique : propagation de faits connus

{Fait}0 … {Fait}k {Fait}k+1 …

Fait 1

Règle Rk,1 : Si Fait1 et Fait2 Alors Fait 4

Fait 2

Fait 4

Règle Rk,2 : Si Fait2 et Fait3 Alors Fait 4’

Fait 4’ Fait 3

Rk+1,i

Profondeur d’abord

Déclenchement : Nouveau fait ; Libération d’une base de règlesActions Sherlock : Ajouter, Calculer, Affirmer, Nier, Par défaut, Saisir, Lire, Consulter, …

Sherlock II : Résolveur de problèmesMoteur d’inférences

Mode : Marche Arrièredynamique : recherche des conditions de preuve d’un fait inconnu

Rn-1,1

Rn-1,2

{Fait}n-1 + ? B

Fait n-1, 1

Fait n-1, 2

Règle Rn-1,1 : Si … et Faitn-1, 1 Alors B

Règle Rn-1,2 : Si … et Faitn-1, 2 Alors B

? B ? Fait n-1, 1 ? B ? Fait n-1, 2

Déclenchement : Nouveau but (Actions Sherlock : Trouver, Prouver)

Moteur d’inférences

Mode Hypothético-déductifdynamique : justification d’un fait avéré

Rn-1,1 Fait n-1, 1

Déclenchement : Actions Sherlock : Justifier

Règle Rn-1,1 : Si … et Faitn-1, 1 Alors F k

Fait k pourquoi Fait k ?

{Fait}n dont Fk

? Fait n-1, 1

Moteur d’inférences

Raisonnement Analogique :

Principe : compléter un ‘cas’ X en fonction d’une base de cas { cas j } connus

Sherlock II : Résolveur de ProblèmesAnalogie

Base de Cascas 1

cas Xà résoudre

cas ncas 2

1) définir les caractéristiques pertinentes d’un cas (attributs ai) et leur poids

‘distance’ d(cas X,cas j)

2) définir la fonction d’adaptationattribut par attribut

adaptation ‘horizontale’ (aiX = f(aij))

adaptation ‘verticale’ (via le cas le plus proche)

définition des attributs conservés dans le schéma

Schéma

Analogie

définition du poids des attributs

‘distance’ d(cas X,cas j)

définition des modalités d’adaptation des attributs

Usage par programmation :

Action Sherlock : Appliquer ( nom schéma, nom instance)

Usage manuel

Analogie

Exemple

base de cas :

liste de pays avec une description de leur drapeau

données

Adaptation horizontale : « pays le plus proche »

Adaptation verticale : Majorité« couleur la plus fréquente »

Connaissances impératives : Tâches

Sous-tâches Tâche principale

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

Contrôle de la RésolutionContrôle de la Résolution au niveau Tâche

Méthode = description de la séquence d’actionsà effectuer à l’appel de la tâche

Contrôle de la Résolution au niveau Tâche

Action

Tâchenomsous-tâche de

Action simple

Conditionnelle Itérative

Action sur base de faits

Action derecherche

Action d’entrée/sortie

Action decontrôle

{ condition } action{ condition } action | action

[ condition ] action

Séquence

( action , action , … )

Contrôle de la RésolutionContrôle de la Résolution au niveau Tâche

activer (tâche)….

stratégie de recherche d’un attribut(booléen ou énuméré)

Contrôle de la Résolution au niveau Domaine 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)

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 ( )

Contrôle de la Résolution au Niveau Méta

Mode déclaratif : Méta-RèglesPartie « Déclarations » de la méta-règle‘ règle utilisée ’ ’

Sherlock II

Les concepts du domaine (Individu, Entreprise, Droite, …)en tant qu’instances de la métaclasse²Concept, leurs relations en tantqu’instances de la métaclasse ²Relation, etc…

Les tâches participant à larésolution en tant qu’instancesde la métaclasse ²Tâche, les règles en tant qu’instances de la métaclasse ²Règle , etc…

Tous les éléments d’une base deconnaissances sont accessibles au niveau « méta » :

Sherlock II : Niveau Méta

Les notions du niveau méta sont rangées dans des métamodèles organisés en couches :

Niveau 1 :

Accès aux primitives de représentation des connaissances de Résolution.

Niveau 1 :

Accès aux primitives de représentation des connaissances de Résolution.et au Modèle

Niveau 2 :

Niveau 1 + accès aux primitives de représentation des connaissances de Domaine.

Sherlock II

Base de cas « Connaissances » induites

FOURNIR LES STATISTIQUES SUR LES CAS

(100% des cas) couleur = orange => Irlande(100% des cas) couleur = bleu ciel => Luxembourg(100% des cas) nb bandes = 9 => Grèce(100% des cas) type = doubles bandes croisées => GB(100% des cas) motif = couronne => Liechtenstein(100% des cas) motif = croissant => Turquie…

BUT : PROPOSER UN ENSEMBLE DES REGLES DE DECISION (M.Ar)

Valeur à couvrir : France :- type = bandes verticales et bleu parmi couleur

Valeur à couvrir : Allemagne :- noir parmi couleur et type = bandes horizontales

Valeur à couvrir : Belgique :- noir parmi couleur et type = bandes verticales

Valeur à couvrir : Luxembourg :- bleu ciel parmi couleur

BUT : PROPOSER L’ARBRE OPTIMAL DE DISCRIMINATION (M.Av)

Si bleu parmi couleur Alors Si type = bandes horizontales Alors Si avec motif = vrai Alors Si nb bandes = 3 Alors Si croix parmi motif Alors Slovaquie Sinon Croatie Sinon Si blanc parmi couleur Alors Grèce Sinon Liechtenstein Sinon Si blanc parmi couleur Alors Hollande Sinon Roumanie Sinon Si type = bandes croisées Alors …

Sherlock II

Connaissances

Choix du MétaModèle initial

Nouvelle Base

Connaissances

DTDFeuillede Style

Représentation/Codage des connaissances

Modèle (.KB) ou MétaModèle (.MKB)

Export

Import

Connaissances

Import/Export de modèleset métamodèles

Exécution KB

Traces

faitsmoteur

Objets ‘dynamiques’

Bases de règles ‘dynamiques’

Lancement de la résolution

Paramètres d’exécution

Fichier des Instances créées au lancementde l’exécution

Fichiers des Bases de Règles chargéesavant l’exécution de la Tâche Principale

Traitement des incohérences survenues à l’exécution

Actions à effectuer à la finde la Tâche Principale

Sherlock II Sherlock II : Environnement de développement dapplications Sherlock II : Editeur...

Documents

Sherlock Holmes â€“ An expert's view of expertise

Architecture du projet. ANR CONTINT - WP3 2 CONTINT : WP3 Positionnement dans le projet : Conception dapplications mobiles Configurations dapplications

Développement dapplications web Authentification, session

Développement Rapide dApplications Web avec.NET « Mon premier site »

CPL : Alternative ou Complémentarité ? marc.pichaud@devolo.fr / 06.83.87.81.47marc.pichaud@devolo.fr EXEMPLES DAPPLICATIONS PROFESSIONNELLES

ASP.NET Développement Rapide DApplications Web Avec.NET

TVA : champs dapplication. Plan I -TVA et ses champs dapplications 1) Les opérations soumises à la TVA 2) Les opérations non soumises à la TVA II -Exercices

brirsa.files.wordpress.com · Web view2020. 3. 31. · Sherlock Holmes. Arthur Conan Doyle. Sherlock. Holme. s. Arthur Conan Doyle. Sherlock. Holme. s. Arthur Conan Doyle. Sherlock

Le problème final - Recueil Les mémoires de Sherlock Holmes

Arthur Conan Doyle - Sherlock Holmes Sherlock Holmes1s2lambert.free.fr/ebooks/Doyle/flamme d'argent.pdf · « Silver Blaze, dit-il, est un descendant d’Isonomy et il possède un

Ecologie Industrielle Positionnement et Exemples dapplications Laurent DAOUD Janvier 2012

Sherlock Holmes 8 l Heritier Disparu

SharePoint 2013 - nous sommes tous des Sherlock Holmes

Mise en-scène Sherlock Jr

Nous réussissons les projets dapplications collaboratives et sociales. Depuis 2005,

Webzine d'études et d'actualités sur l'univers de Sherlock ... · Webzine d'études et d'actualités sur l'univers de Sherlock Holmes Sommaire Sherlock Holmes, un héros trans-genres

Nouvelles aventures de Sherlock Holmes

Souvenirs de Sherlock Holmes - Ebooks gratuitsbeq.ebooksgratuits.com/vents-word/Doyle-souvenirs.doc · Web viewSouvenirs de Sherlock Holmes BeQ Arthur Conan Doyle Souvenirs de Sherlock

ASP.NET un peu plus loin… Développement Rapide dApplications Web avec.NET

Développement dapplications web Initiation à la sécurité 1