Présentation

Ce module présente les systèmes à base de connaissances et leurs applications possibles. Beaucoup de tels systèmes sont basés sur la logique formelle pour laquelle il existe plusieurs types qui seront également présentés. Le module fournit ensuite les fondements de la logique formelle, montre comment interpréter les expressions logiques et comment évaluer efficacement les expressions logiques dans un environnement de bases de données. Les systèmes à base de connaissances ont connu une sorte de renaissance avec le web sémantique. Après avoir montré comment les idées des systèmes à base de connaissances ont vu le jour, le module montre également comment le web sémantique fonctionne et ce qu'il vise à atteindre.

contenu

1. Systèmes à base de connaissances: Introduction
2. Logique pour les bases de connaissances
3. Modèles logiques et systèmes déductifs
4. Programmation logique
5. Complexité de la logique
6. Sémantique des datalogs
7. Implémentation des datalogs
8. Datalogs en algèbre relationnelle
9. Déduction en incertitude
10. Systèmes experts
11. Le web sémantique
12. Vers les ontologies
13. Web sémantique 2

Retour à INFORMATIQUE|Liste des cours|UNIVERSITE|FORMATION PROFESSIONNELLE