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

source : Claude Coulombe, Datafranca.org

Réf: Ift Ulaval