SE03 - DÉPARTEMENT SYSTÈMES INFORMATIQUES FORMELS &...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: DÉPARTEMENT SYSTÈMES INFORMATIQUES FORMELS & INTELLIGENTS SYSTÈMES EXPERTS - Notes de cours Editions : 2008 Cycle ingénieur - Deuxième annnée Maria Malek Table des matières 1 Technologie des systèmes experts 4 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Structure et fonctionnement d’un système expert . . . . . . . . . . . . . . . . . . . . 4 1.3 Domaines d’application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.4 Problèmes adaptés aux systèmes experts . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.5 Processus d’ingénierie de connaissance . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.6 Acquisition de connaissance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 Systèmes à base de règles de productions 8 2.1 Exemple d’une modélisation par règle. . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2 Règles et moteur d’inférence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2.1 Le chaînage arrière : raisonnement guidé par le but . . . . . . . . . . . . . . . 9 2.2.2 Le chaînage avant : raisonnement guidé par les données . . . . . . . . . . . . 12 2.3 Petite comparaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.4 Les stratégies de contrôle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3 Le raisonnement incertain 17 3.1 La théorie de Bayes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3.1.1 Le moteur d’inférence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.2 Les facteurs de certitude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.3 Les ensembles flous . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.4 La théorie de Dempster -Shafer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 4 Représentation de connaissances 30 4.1 Les langages de représentation de connaissances . . . . . . . . . . . . . . . . . . . . . 30 4.2 Aspects de la représentation de connaissances . . . . . . . . . . . . . . . . . . . . . . 31 4.3 Les réseaux sémantiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.3.1 Limitations de la représentation logique par rapport à l’expression des humains 32 4.3.2 Théorie d’associations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.3.3 Besoin de standardisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 4.4 Les graphes conceptuels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4.4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4.5 Types, individus et noms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4.5.1 Hiérarchie de types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 1 TABLE DES MATIÈRES Page 2 4.5.2 Généralisation et spéation . . . . . . . . . . . . . . . . . . . . . . . . . .Généralisation et spéation ....
View Full Document

This note was uploaded on 12/10/2010 for the course GLT 123 taught by Professor Kurtmitgoal during the Spring '10 term at Paris Tech.

Page1 / 39

SE03 - DÉPARTEMENT SYSTÈMES INFORMATIQUES FORMELS &...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online