« Représentation des connaissances et raisonnement automatique » : différence entre les versions

Version du 30 mai 2019 à 18:08

Domaine

Intelligence artificielle
Représentation des connaissances
Système à base de connaissances

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 n.f.

Anglais

Knowledge representation and reasoning

Source: Claude Coulombe, Datafranca.org

@@ Ligne 16 : / Ligne 16 : @@
 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 formalismes 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.
+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 » : différence entre les versions