Product Design, Manufacturing & Innovation Resources
Maison » Modèles cognitifs symboliques

Modèles cognitifs symboliques

1950
  • Allen Newell
  • Herbert A. Simon
Laboratoire de recherche en psychologie cognitive analysant des modèles cognitifs symboliques.

(Image générée à titre d'illustration uniquement)

Les modèles cognitifs symboliques reposent sur le principe que la cognition est un calcul impliquant la manipulation de symboles. Ces modèles utilisent des représentations explicites de haut niveau, telles que des propositions, des schémas et des règles (par exemple, des instructions SI-ALORS), pour simuler des processus de pensée structurés comme le raisonnement logique, l'utilisation du langage et la résolution de problèmes. Ils constituent la base de l'intelligence artificielle classique, souvent appelée « IA à l'ancienne » (IA-A).

Le concept fondamental de la modélisation symbolique est l'hypothèse du système de symboles physiques, formulée par Newell et Simon. Selon cette hypothèse, un système physique (comme un ordinateur ou un cerveau) fait preuve d'intelligence si et seulement s'il s'agit d'un système de symboles physiques. Un tel système contient des symboles (ou motifs) et des processus capables de créer, de modifier et de combiner ces symboles en structures complexes. La pensée est ainsi perçue comme une forme de manipulation de symboles selon un ensemble de règles.

En pratique, ces modèles représentent souvent un problème comme un « espace de problèmes » contenant un ensemble d'états possibles. Le modèle utilise ensuite des algorithmes de recherche (comme l'analyse moyens-fins) guidés par des heuristiques pour trouver un chemin d'un état initial à un état final. Les connaissances sont explicitement encodées et interprétables. Par exemple, un système expert de diagnostic médical contiendrait une vaste base de données de règles « SI symptôme ALORS maladie ». Cette approche est performante pour les domaines logiques bien définis, mais elle peine à gérer l'ambiguïté, le bruit et les tâches de reconnaissance de formes, domaines où les modèles connexionnistes excellent.

UNESCO Nomenclature: 6105
Psychologie expérimentale

Taper

Système abstrait

Perturbation

Fondamentaux

Usage

Créneau/spécialité

Précurseurs

  • la logique formelle développée par Frege, Russell et Whitehead
  • Les travaux d'Alan Turing sur le calcul et la machine de Turing
  • théorie de l'information par Claude Shannon
  • premiers développements des langages de programmation informatique

Applications

  • systèmes experts en médecine et en finance
  • le programme de résolution de problèmes généraux (GPS)
  • systèmes de production comme ACT-R et SOAR
  • démonstration automatisée de théorèmes
  • systèmes précoces de compréhension du langage naturel

Brevets:

NA

Idées d'innovations potentielles

En raison du trafic généré par les robots de scraping, actuellement supérieur à 40 000 par jour, ce contenu est réservé aux membres de la communauté.
> Connexion < ou > Registre < (100% gratuit) pour y accéder, ainsi qu'à tous les autres contenus et outils à accès restreint.

Lié à : modélisation symbolique, hypothèse du système de symboles physiques, Allen Newell, Herbert A. Simon, règles de production, systèmes experts, GOFAI, sciences cognitives, logique, résolution de problèmes.

Contexte historique

1950
1990
1990
1941
1986
1990
2000

(si la date est inconnue ou non pertinente, par exemple « mécanique des fluides », une estimation arrondie de son émergence notable est fournie)

Inventions, innovations et principes techniques connexes

Les images en pleine résolution et les téléchargements sont uniquement disponibles, et 100% gratuits, pour les membres inscrits.