10 min de lectureLogique et connaissances
La logique et la représentation des connaissances
Raisonner sur ce qui doit être vrai : modèles et conséquence logique déroulés par énumération exhaustive, correction et complétude, pourquoi la logique propositionnelle épuise son pouvoir expressif, et là où la logique du premier ordre prend le relais.
Représentation des connaissancesIntelligence artificielle