Représentation des connaissances et raisonnement automatique
Définition
La représentation des connaissances et le raisonnement automatique font partie de l'intelligence artificielle symbolique. La représentation des connaissances incorpore certains résultats de la psychologie sur la façon dont les humains résolvent les problèmes et représentent les connaissances. Le raisonnement automatique intègre des principes de la logique pour automatiser divers types de raisonnement, tels l'application de règles ou les relations d'ensembles et de sous-ensembles.
Les exemples de formalisme de représentation des connaissances symboliques comprennent les réseaux sémantiques, les représentations par cadres sémantiques, les règles et les ontologies. Les exemples de raisonnement automatique comprennent les moteurs d'inférence, les démonstrateurs de théorèmes et les classificateurs.
Français
représentation des connaissances et raisonnement automatique
Anglais
Knowledge representation and reasoning
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
