Représentation des connaissances

Dire ce qui est vrai sous une forme qu’une machine peut manipuler : logique, ontologies, et une inférence que l’on peut vérifier plutôt que déduire de poids.

3 éléments

Parcours (1)

Logique et représentation des connaissances

L’autre tradition de l’intelligence artificielle : représenter ce qu’un système sait par des phrases vraies ou fausses, et en dériver ce qui doit suivre - avec des garanties qu’un modèle appris ne peut pas offrir.

Encyclopédie (1)

Logique du premier ordre

Un langage formel pour représenter la connaissance en termes d’objets, de leurs propriétés et relations, et de quantification sur ceux-ci.

Articles (1)

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.

Thèmes liés

Mathématiques Statistique Probabilité Optimisation Théorie de l'information Programmation Intelligence artificielle Apprentissage automatique Apprentissage profond Apprentissage par renforcement Traitement du langage naturel Vision par ordinateur IA générative Recherche et planification Théorie des jeux