Soar (architecture cognitive)

Soar (à l’origine SOAR) est une architecture cognitive symbolique, créée par , Allen Newell, et Paul Rosenbloom à l’Université Carnegie-Mellon. C’est à la fois un point de vue sur la cognition et une implémentation de ce point de vue au travers d’une architecture de programmation pour l’Intelligence artificielle (IA). Depuis ses débuts en 1983 et sa présentation dans un article en 1987, Soar a été largement utilisé par les chercheurs en IA pour modéliser différents aspects du comportement humain. SOAR signifiait à l’origine State, Operator And Result (État, Opérateur Et Résultat) , ce qui reflétait la représentation de la résolution de problèmes comme l’application d’un opérateur à un état pour obtenir un résultat. Selon le projet FAQ, la communauté de développement de Soar ne considère plus Soar comme un acronyme, et ce terme n’est donc plus écrit en majuscules, bien que cela soit toujours représentatif du noyau de l’implémentation. L’objectif principal du projet Soar est de permettre de gérer tout l’éventail des capacités d’un agent intelligent, de la routine la plus banale jusqu’aux problèmes non déterminés les plus difficiles. Pour y parvenir, selon la conception qui sous-tend Soar, il doit être capable de créer des représentations de la connaissance et d’utiliser des formes appropriées de la connaissance (procédurale, déclarative, épisodique, et éventuellement iconique). Soar accéderait alors à un ensemble de mécanismes de l’esprit. Une autre idée sous-jacente à l’architecture Soar est qu’un système symbolique est nécessaire et suffisant pour l’intelligence générale (discussion dite ). Cette hypothèse est connue sous le nom de « système de symboles physiques » (), ou « système formel ». La conception de la cognition qui sous-tend Soar est liée à la théorie psychologique présentée dans l’ouvrage de Allen Newell, Théories unifiées de la cognition. Bien que le but de Soar soit d’aboutir à une intelligence générale, personne n’affirme que ce but ait déjà été atteint.