Représentation de la Connaissance RC
Sorry, this activity is currently hidden
Topic outline
-
-
Forum
-
-
-
Ce cours Constitue une introduction pour la matière RC. On présente :
- Quelques définitions de l'IA et ses domaines d'application
- Le besoin d'utiliser un formalisme pour la représentation des connaissance
- La logique classique d'ordre 0 est le formalisme le plus simple (avec des limites) pour formaliser la connaissance humaine
-
-
-
présentation du formalisme de représentation de connaissance logique des prédicats
les formes normales
l'unification
démonstration par refutation
programme logique
-
-
-
File
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-