File
chapitre 1 représentation en formalisme logique classique Partie 1 Logique propositionnelle (d'ordre 0)
Completion requirements
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