ajouts semaine 4
This commit is contained in:
François Pelletier
parent
56bcbca2b3
commit
282d338c91
5 changed files with 79 additions and 12 deletions
BIN
pdf/README.pdf
BIN
pdf/README.pdf
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
91
semaine04.md
91
semaine04.md
|
|
@ -11,6 +11,7 @@ header-includes:
|
|||
Questions:
|
||||
|
||||
- Faire de l'inférence sur les propriétés d'une instance d'un objet à l'intérieur de celui-ci?
|
||||
- Est-ce qu'on peut considérer comme du "Forward chaining" le fait de chercher le bon schéma pour contenir les informations qu'on a acquis?
|
||||
|
||||
Remarques:
|
||||
|
||||
|
|
@ -22,7 +23,7 @@ Remarques:
|
|||
Année: 1995
|
||||
Source: [](https://pdfs.semanticscholar.org/214a/8830b8714de184e4abc18b0dfa8565d40340.pdf)
|
||||
|
||||
> The use of this hybrid approach integrates the power of organizing data objects in a class hierarchy and reasoning about the objects through user pre-defined logical associations. This advantage accounts for many popular expert system developing software, such as ADS, ART, EXSYS EL, KAPPA-PC, KBMS, Nexpert Object, Level5 Object, ProKappa, ReMind, which combine some sort of frame-based representation with a rule-based inference engine.
|
||||
> The use of this hybrid approach integrates the power of organizing data objects in a class hierarchy and reasoning about the objects through user pre-defined logical associations. This advantage accounts for many popular expert system developing software, such as ADS, ART, [EXSYS EL](http://www.exsys.com/), KAPPA-PC, KBMS, Nexpert Object, Level5 Object, ProKappa, ReMind, which combine some sort of frame-based representation with a rule-based inference engine.
|
||||
|
||||
|
||||
## Artificial Intelligence: A modern Approach Section 10.6 - Russell and Norvig
|
||||
|
|
@ -234,8 +235,38 @@ Source: Livre papier original que je possède.
|
|||
|
||||
## Luger 8.3.1 Introduction to Model-Based Reasoning
|
||||
|
||||
- Une raison pour penser au raisonnement basé sur les schémas est l'absence d'explications en dehors du contenu des règles dans un système expert à base de règles.
|
||||
- Limité à la connaissance de l'expert humain qui construit les règles.
|
||||
- Caractéristiques d'un système à base de schémas:
|
||||
- Modèle: Analyse en profondeur de la structure et des fonctionnalités sur sujet étudié.
|
||||
- Données: lecture de signaux externes, acquis par un processus d'entrée sortie, par des "démons" ou des senseurs.
|
||||
- Premières utilisations: éducation et diagnostic de problèmes simples (composante défectueuse)
|
||||
- Un ensemble de comportements prédits est intégré au schéma.
|
||||
- Plusieurs systèmes à base de connaissances utilisent tout de même des règles pour décrire le modèle et représenter les données. D'autres utilisent un modèle objet avec des classes, des attributs et des méthodes. **commentaire:** le modèle objet est une évolution de la vision de Minsky avec les schémas et les terminaux.
|
||||
- Principaux exemples dans le domaine du contrôle industriel: moteurs diesel, systèmes de propulsion, schémas électriques et électroniques
|
||||
|
||||
### Exemple de l'opérateur arithmétique
|
||||
|
||||
Trois étapes de raisonnement:
|
||||
- Génération de l'hypothèse
|
||||
- Test de l'hypothèse
|
||||
- Discrimination de l'hypothèse
|
||||
|
||||
**note:** Très près de la méthode scientifique, du raisonnement du scientifique lors d'une expérimentation
|
||||
|
||||
### Enjeux
|
||||
|
||||
- Nécessite une grande phase d'acquisition de connaîssances.
|
||||
- Résulte en des programmes lourds, qui seraient moins efficaces et performants que les systèmes experts à base de règles.
|
||||
- **note:** Probablement une raison pourquoi cette approche a été moins populaire lors de son développement avec la capacité limitée des systèmes de l'époque
|
||||
|
||||
### Exemple de la NASA
|
||||
|
||||
- Système Livingstone
|
||||
- Calcul propositionnel en remplacement du calcul des prédicats utilisés dans les systèmes à base de schémas.
|
||||
- Système réactif
|
||||
- Gestionnaire de configurations: configuration la plus optimale selon les entrées de senseurs reçues qui garde le même objectif initial.
|
||||
- Mode d'opération normal et mode de gestion d'échecs
|
||||
|
||||
## Lecture de notes de cours
|
||||
|
||||
|
|
@ -243,27 +274,63 @@ Source: Livre papier original que je possède.
|
|||
|
||||
Référence: [Milos Hauskrecht - CS 2740 Knowledge Representation - Lecture 11](https://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class11.pdf)
|
||||
|
||||
Principales utilisations:
|
||||
|
||||
- Embellir une description approximative avec des valeurs par défaut et des valeurs implicites.
|
||||
- Maintenir la consistance
|
||||
- Utiliser les valeurs calculées pour dériver des propriétés explicites
|
||||
- Éviter des calculs inutiles
|
||||
|
||||
Application:
|
||||
- Suivi des modifications d'une base de données
|
||||
Paradigme:
|
||||
- déclaratif et procédural
|
||||
Inférence:
|
||||
- Via des procédures, peuvent être contrôlées avec précision
|
||||
Différences avec OOP:
|
||||
- Contrôle par instantiation, héritage et déclencheurs
|
||||
- OOP: Les objets envoient des messages.
|
||||
|
||||
### Lecture 2
|
||||
|
||||
Référence: [John A. Bullinaria, 2003 - AITA : Frame Based Systems](http://www.cs.bham.ac.uk/~jxb/AITA/w6s3.pdf)
|
||||
|
||||
## Exemple: Monitoring de moteurs diesel
|
||||
### Lecture 3
|
||||
|
||||
[Negnevitsky](https://staff.informatics.buu.ac.th/~krisana/975352/handout/Lecture06.pdf)
|
||||
|
||||
Deux types de méthodes associées à chacun des terminaux:
|
||||
- Suite à un changement (WHEN CHANGED):
|
||||
- Souvent un ensemble de règles (démons)
|
||||
- Méthodes peuvent être plus complexes
|
||||
- Quand un attribut est manquant (WHEN NEEDED):
|
||||
- Nécessaire pour la résolution d'un problème
|
||||
|
||||
Inférence:
|
||||
- Le but est établi par les méthode
|
||||
- La connaissance est dans les schémas
|
||||
- Les règles jouent un rôle auxiliaire
|
||||
|
||||
Comment déveloper un système expert à base de schémas:
|
||||
1. Spécifier le problème et la portée du système
|
||||
1. Déterminer les classes et les attributs
|
||||
1. Définir les instances
|
||||
1. Définir les affichages
|
||||
1. Définir les méthodes WHEN CHANGED et WHEN NEEDED et les démons.
|
||||
1. Définir les règles
|
||||
1. Évaluer et étendre le système
|
||||
## Outils
|
||||
|
||||
### KL-ONE
|
||||
- KL-ONE
|
||||
- CLIPS
|
||||
- Construction de frames dans CLIPS:
|
||||
- [COOL Object System](http://www.cs.oswego.edu/~odendahl/coursework/isc320/notes/jackson/22/schema.html)
|
||||
|
||||
- Protégé
|
||||
- Référence: [Site web du logiciel Stanford Protégé](http://protege.stanford.edu/)
|
||||
- Article: [Frame-based systems: Protege (Bioinformatics)](http://what-when-how.com/bioinformatics/frame-based-systems-protege-bioinformatics/)
|
||||
|
||||
|
||||
### CLIPS
|
||||
|
||||
|
||||
|
||||
### Protégé
|
||||
|
||||
Référence: [Site web du logiciel Stanford Protégé](http://protege.stanford.edu/)
|
||||
Article: [Frame-based systems: Protege (Bioinformatics)](http://what-when-how.com/bioinformatics/frame-based-systems-protege-bioinformatics/)
|
||||
- Knowledge.NET
|
||||
- Site web: [Knowledge.NET](http://www.knowledge-net.ru/en/documents.htm)
|
||||
|
||||
### Exemple de réseau sémantique et raisonnement avec Protégé et les données
|
||||
Loading…
Reference in a new issue