RAND Corporation<\/a> \u00e0 Santa Monica. Financ\u00e9e par l’arm\u00e9e de l’air am\u00e9ricaine, cette institution rassemblait les esprits les plus novateurs de l’\u00e9poque pour explorer les applications strat\u00e9giques de la th\u00e9orie des jeux, de la logistique et des ordinateurs programmables naissants. Newell, Simon et Shaw ont imm\u00e9diatement compris que les machines de von Neumann ne devaient pas \u00eatre cantonn\u00e9es \u00e0 des op\u00e9rations arithm\u00e9tiques fastidieuses, mais pouvaient servir d’instruments universels pour manipuler des symboles et simuler le raisonnement logique humain.<\/p>\n1.2 De la Logic Theorist au General Problem Solver (GPS)<\/h3>\n
L’acte de naissance pratique de cette approche computationnelle de l’esprit s’est mat\u00e9rialis\u00e9 sous la forme de la Logic Theory Machine<\/em> (ou Logic Theorist<\/em>), programm\u00e9e entre 1955 et 1956. Pr\u00e9sent\u00e9e au s\u00e9minaire fondateur de Dartmouth \u00e0 l’\u00e9t\u00e9 1956 \u2014 \u00e9v\u00e9nement unanimement consid\u00e9r\u00e9 comme l’acte officiel d’inauguration du champ de l’intelligence artificielle \u2014, la machine de Newell et Simon fut capable de d\u00e9montrer de mani\u00e8re totalement autonome 38 des 52 th\u00e9or\u00e8mes fondamentaux de logique propositionnelle figurant dans le chapitre deux des Principia Mathematica<\/em> de Bertrand Russell et Alfred North Whitehead. Fait remarquable, le programme parvint m\u00eame \u00e0 trouver une d\u00e9monstration du th\u00e9or\u00e8me 2.85 sensiblement plus concise et \u00e9l\u00e9gante que celle propos\u00e9e initialement par les deux c\u00e9l\u00e8bres logiciens britanniques, suscitant l’admiration stup\u00e9faite de Russell lui-m\u00eame.<\/p>\nN\u00e9anmoins, en d\u00e9pit de ce triomphe spectaculaire, la Logic Theorist portait en elle des limites intrins\u00e8ques que ses concepteurs se sont empress\u00e9s de souligner. Le syst\u00e8me \u00e9tait profond\u00e9ment inf\u00e9od\u00e9 \u00e0 la syntaxe et aux r\u00e8gles d’inf\u00e9rence sp\u00e9cifiques du calcul propositionnel. Ses op\u00e9rateurs de manipulation \u00e9taient taill\u00e9s sur mesure pour d\u00e9river des expressions logiques, et son organisation proc\u00e9durale ne pouvait \u00eatre transpos\u00e9e directement \u00e0 des probl\u00e8mes d’une autre nature sans une r\u00e9\u00e9criture int\u00e9grale du code source. Les concepteurs comprirent que pour percer le myst\u00e8re de l’intelligence g\u00e9n\u00e9rale, ils devaient imp\u00e9rativement s’\u00e9manciper des caract\u00e9ristiques idiosyncratiques d’un domaine formel particulier afin d’isoler les lois universelles de la r\u00e9solution de probl\u00e8mes.<\/p>\n
C’est de ce constat d’insuffisance qu’est n\u00e9 le projet du General Problem Solver<\/strong> en 1957. L’objectif assign\u00e9 au GPS \u00e9tait sans pr\u00e9c\u00e9dent dans l’histoire des sciences : concevoir une architecture logicielle capable de s\u00e9parer formellement les m\u00e9canismes g\u00e9n\u00e9raux de raisonnement et de contr\u00f4le heuristique des connaissances sp\u00e9cifiques propres \u00e0 chaque domaine de probl\u00e8me. Newell et Simon poursuivaient une ambition ouvertement universelle : construire un m\u00e9tamod\u00e8le simulant les m\u00e9canismes psychologiques g\u00e9n\u00e9raux d\u00e9ploy\u00e9s par un individu humain lorsqu’il est confront\u00e9 \u00e0 une t\u00e2che in\u00e9dite, pour laquelle il ne poss\u00e8de aucun algorithme pr\u00e9\u00e9tabli ni aucune expertise routini\u00e8re pr\u00e9alable. Le GPS devait mod\u00e9liser l’intelligence en situation d’incertitude et de d\u00e9couverte heuristique, l\u00e0 o\u00f9 l’humain fait preuve d’une plasticit\u00e9 adaptative qu’aucun programme n’avait encore approch\u00e9e.<\/p>\n1.3 La m\u00e9taphore de l’esprit comme syst\u00e8me de traitement de symboles physiques<\/h3>\n
Au-del\u00e0 de l’ing\u00e9nierie algorithmique, le GPS constitue la manifestation concr\u00e8te d’un engagement ontologique majeur formalis\u00e9 ult\u00e9rieurement par Newell et Simon : l’Hypoth\u00e8se des Syst\u00e8mes de Symboles Physiques<\/strong> (Physical Symbol Systems Hypothesis<\/em>, ou PSSH). Cette th\u00e8se, articul\u00e9e avec \u00e9clat lors de leur conf\u00e9rence conjointe pour le Prix Turing de l’ACM en 1975, stipule qu’\u00ab un syst\u00e8me de symboles physiques poss\u00e8de les moyens n\u00e9cessaires et suffisants pour g\u00e9n\u00e9rer une action intelligente \u00bb. Cette affirmation philosophique audacieuse \u00e9tablit une \u00e9quivalence structurelle fonctionnelle entre l’esprit biologique et l’ordinateur num\u00e9rique : tous deux appartiennent \u00e0 la classe des syst\u00e8mes physiques capables de mat\u00e9rialiser, de transformer et d’interpr\u00e9ter des symboles.<\/p>\nSelon cette hypoth\u00e8se, les symboles ne sont pas de simples \u00e9tiquettes arbitraires ou des abstractions vaporeuses, mais des configurations physiques identifiables au sein d’un m\u00e9dium mat\u00e9riel \u2014 qu’il s’agisse de d\u00e9charges neuronales dans le cortex c\u00e9r\u00e9bral ou de transistors semi-conducteurs polaris\u00e9s dans une m\u00e9moire de travail \u00e9lectronique. Un syst\u00e8me de symboles physiques est constitu\u00e9 d’un ensemble discret de motifs symboliques susceptibles d’\u00eatre assembl\u00e9s pour former des structures de donn\u00e9es complexes. Ces structures peuvent \u00eatre lues, copi\u00e9es, modifi\u00e9es, reli\u00e9es et effac\u00e9es par une machinerie d’op\u00e9rations \u00e9l\u00e9mentaires. Ce qui garantit l’ancrage de la s\u00e9mantique et la pertinence de l’action, c’est la propri\u00e9t\u00e9 de d\u00e9signation : un symbole ou une structure de symboles peut d\u00e9signer un objet du monde ext\u00e9rieur ou une sous-routine interne, permettant \u00e0 la manipulation syntaxique interne de demeurer en ad\u00e9quation causale avec la r\u00e9alit\u00e9 empirique repr\u00e9sent\u00e9e.<\/p>\n
D\u00e8s lors, l’ordinateur num\u00e9rique moderne cesse d’\u00eatre per\u00e7u comme une gigantesque machine \u00e0 calculer num\u00e9rique pour devenir un outil d’exp\u00e9rimentation psychologique d’une rigueur absolue. Pour Newell et Simon, l’\u00e9criture d’un programme informatique tel que le GPS \u00e9quivaut \u00e0 la formulation d’une th\u00e9orie psychologique formelle, non ambigu\u00eb et directement falsifiable au sens de Karl Popper. Contrairement aux th\u00e9ories formul\u00e9es en langage naturel, souvent satur\u00e9es d’impr\u00e9cisions s\u00e9mantiques et de pr\u00e9suppos\u00e9s implicites, une th\u00e9orie computationnelle doit \u00eatre enti\u00e8rement sp\u00e9cifi\u00e9e pour s’ex\u00e9cuter. Si le programme s’ex\u00e9cute avec succ\u00e8s et r\u00e9plique de mani\u00e8re fid\u00e8le les \u00e9tapes interm\u00e9diaires, les h\u00e9sitations et les erreurs manifest\u00e9es par des sujets humains r\u00e9solvant le m\u00eame probl\u00e8me, la th\u00e9orie psychologique sous-jacente acquiert une puissance explicative in\u00e9gal\u00e9e.<\/p>\n
2. Les fondements th\u00e9oriques de l’architecture cognitive du GPS<\/h2>\n
L’architecture du General Problem Solver repose sur une conception profond\u00e9ment novatrice de ce qu’est un \u00ab probl\u00e8me \u00bb et de la mani\u00e8re dont un organisme cognitif appr\u00e9hende son environnement d\u00e9cisionnel. Avant d’examiner ses proc\u00e9dures de calcul, il est n\u00e9cessaire de comprendre la th\u00e9orie sous-jacente de la cognition que Newell et Simon ont \u00e9labor\u00e9e pour soutenir leur \u00e9difice technique.<\/p>\n
2.1 D\u00e9finition structurelle d’un probl\u00e8me selon Newell et Simon<\/h3>\n
Dans l’optique de la psychologie cognitive naissante, un probl\u00e8me ne se d\u00e9finit pas par la complexit\u00e9 math\u00e9matique intrins\u00e8que de son \u00e9nonc\u00e9, mais par la structure de la situation dans laquelle se trouve plong\u00e9 l’agent cognitif. Newell et Simon \u00e9noncent qu’un agent fait face \u00e0 un v\u00e9ritable probl\u00e8me lorsqu’il d\u00e9sire atteindre un certain \u00e9tat du monde, qu’il a conscience de son point de d\u00e9part actuel, mais qu’il ne dispose d’aucune s\u00e9quence d’actions m\u00e9moris\u00e9e ou d’aucun algorithme direct imm\u00e9diatement disponible pour franchir la distance qui les s\u00e9pare. La situation de probl\u00e8me \u00e9merge donc de l’existence d’une discontinuit\u00e9 fonctionnelle entre un \u00e9tat initial et un \u00e9tat-but.<\/p>\n
Cette approche th\u00e9orique conduit \u00e0 \u00e9tablir une dichotomie fondamentale entre deux grandes cat\u00e9gories de situations :<\/p>\n
\n- Les probl\u00e8mes bien d\u00e9finis (Well-Defined Problems) :<\/strong> Ces probl\u00e8mes se caract\u00e9risent par un ensemble rigoureusement born\u00e9 de composantes. L’\u00e9tat initial est d\u00e9crit sans \u00e9quivoque possible, les crit\u00e8res d’atteinte de l’\u00e9tat-but sont parfaitement explicites et v\u00e9rifiables, et l’ensemble des op\u00e9rateurs l\u00e9gitimes permettant de transformer un \u00e9tat en un autre est exhaustivement d\u00e9limit\u00e9 par des r\u00e8gles immuables. Des jeux formels comme les \u00e9checs, le jeu de dames ou la cryptarithm\u00e9tique constituent des illustrations typiques de probl\u00e8mes bien d\u00e9finis.<\/li>\n
- Les probl\u00e8mes mal d\u00e9finis (Ill-Defined Problems) :<\/strong> Dans ce cas, les conditions de d\u00e9part peuvent \u00eatre floues, les crit\u00e8res d’\u00e9valuation de la solution finale sont subjectifs ou incertains, et les actions envisageables ne sont pas pr\u00e9d\u00e9finies de fa\u00e7on close. Concevoir une \u0153uvre d’art, arbitrer une crise g\u00e9opolitique ou formuler une th\u00e9orie scientifique rel\u00e8vent de cette typologie complexe.<\/li>\n<\/ul>\n
Le GPS a \u00e9t\u00e9 sp\u00e9cifiquement d\u00e9velopp\u00e9 pour mod\u00e9liser la r\u00e9solution des probl\u00e8mes bien d\u00e9finis. Newell et Simon ont insist\u00e9 sur le r\u00f4le primordial de la repr\u00e9sentation interne<\/em> : la difficult\u00e9 d’un probl\u00e8me d\u00e9pend intimement de la mani\u00e8re dont l’agent le conceptualise. Deux formulations math\u00e9matiquement isomorphes d’un m\u00eame probl\u00e8me peuvent g\u00e9n\u00e9rer des niveaux de charge cognitive radicalement diff\u00e9rents chez le r\u00e9solveur humain, selon que la repr\u00e9sentation mentale adopt\u00e9e rend les invariants structurels imm\u00e9diatement accessibles ou, au contraire, obscurcit les contraintes fondamentales r\u00e9gissant les transitions entre \u00e9tats.<\/p>\n2.2 L’espace du probl\u00e8me (Problem Space Theory)<\/h3>\n
Le socle th\u00e9orique le plus influent d\u00e9velopp\u00e9 par Allen Newell et Herbert Simon est sans doute la Th\u00e9orie de l’Espace du Probl\u00e8me<\/strong> (Problem Space Theory<\/em>). Pour surmonter une situation probl\u00e9matique, l’agent cognitif ne peut se contenter d’interagir aveugl\u00e9ment avec l’environnement physique ; il doit obligatoirement construire une projection symbolique interne de cet environnement : l’espace du probl\u00e8me. Ce concept formalise le processus de recherche sous une optique topologique et combinatoire rigoureuse.<\/p>\nL’espace du probl\u00e8me est formellement appr\u00e9hend\u00e9 comme un graphe orient\u00e9 dont les n\u0153uds repr\u00e9sentent des configurations symboliques d’\u00e9tats d’information, et dont les ar\u00eates repr\u00e9sentent des transformations appliqu\u00e9es \u00e0 ces \u00e9tats par l’interm\u00e9diaire d’op\u00e9rateurs autoris\u00e9s. La structure globale de cet espace se d\u00e9compose comme suit :<\/p>\n
\n- L’\u00e9tat initial :<\/strong> La structure de donn\u00e9es symboliques d\u00e9crivant la configuration de d\u00e9part de l’environnement ou du syst\u00e8me cognitif.<\/li>\n
- L’ensemble des \u00e9tats interm\u00e9diaires :<\/strong> Toutes les configurations informationnelles transitoires accessibles par l’application successive de transitions valides.<\/li>\n
- L’\u00e9tat-but (ou ensemble d’\u00e9tats cibles) :<\/strong> La configuration finale caract\u00e9ris\u00e9e par la pr\u00e9sence de traits d\u00e9sir\u00e9s ou la satisfaction de pr\u00e9dicats logiques sp\u00e9cifiques.<\/li>\n
- Le syst\u00e8me d’op\u00e9rateurs :<\/strong> Un ensemble d’actions g\u00e9n\u00e9ratrices ou d’instructions internes capables de modifier la topologie d’un \u00e9tat pour engendrer un \u00e9tat successeur.<\/li>\n<\/ul>\n
Face \u00e0 cet univers de possibilit\u00e9s, la r\u00e9solution d’un probl\u00e8me se ram\u00e8ne conceptuellement \u00e0 un processus de navigation orient\u00e9e<\/em> \u00e0 travers un graphe combinatoire. Cependant, dans la tr\u00e8s grande majorit\u00e9 des cas non triviaux, la taille brute de l’espace du probl\u00e8me est gigantesque, voire quasi infinie : le nombre de chemins possibles cro\u00eet de mani\u00e8re exponentielle avec la profondeur de l’arbre de recherche. L’agent cognitif ne peut en aucun cas se livrer \u00e0 un parcours exhaustif sous peine d’\u00e9puisement computationnel. L’espace du probl\u00e8me est donc contraint par des heuristiques s\u00e9lectives dont le but est d’\u00e9laguer drastiquement les branches non prometteuses afin de guider le syst\u00e8me vers la trajectoire optimale ou satisfaisante.<\/p>\n2.3 Composantes fonctionnelles du syst\u00e8me GPS<\/h3>\n
Pour mat\u00e9rialiser cette th\u00e9orie de l’espace du probl\u00e8me sous la forme d’un automate fonctionnel, Newell, Shaw et Simon ont con\u00e7u pour le GPS une architecture logicielle hautement modulaire, pr\u00e9figurant avec une incroyable lucidit\u00e9 les mod\u00e8les ult\u00e9rieurs de la m\u00e9moire humaine d\u00e9velopp\u00e9s par la psychologie cognitive (notamment le mod\u00e8le d’Atkinson et Shiffrin ou celui d’Alan Baddeley).<\/p>\n
L’architecture cognitive du GPS s’articule autour de trois composantes fonctionnelles ma\u00eetresses :<\/p>\n
\n- La m\u00e9moire de travail (Working Memory) :<\/strong> Elle contient l’\u00e9tat actif du syst\u00e8me, la pile des buts et sous-buts hi\u00e9rarchiquement ordonn\u00e9s en cours de traitement, ainsi que la description instantan\u00e9e de l’\u00e9tat actuel et de l’\u00e9tat vis\u00e9. Ses capacit\u00e9s sont computationnellement limit\u00e9es pour refl\u00e9ter la finitude de l’attention et de la r\u00e9tention humaine \u00e0 court terme.<\/li>\n
- La m\u00e9moire \u00e0 long terme (Long-Term Memory) :<\/strong> Elle fait office de r\u00e9pertoire permanent des connaissances du domaine. Elle stocke la d\u00e9finition formelle de l’ensemble des op\u00e9rateurs disponibles, leurs conditions pr\u00e9alables de d\u00e9clenchement, leurs effets transformateurs, ainsi que la table de connexions associant heuristiquement les types de diff\u00e9rences aux op\u00e9rateurs pertinents.<\/li>\n
- L’interpr\u00e9teur de contr\u00f4le (Executive Control Unit) :<\/strong> Ce moteur de traitement s\u00e9quentiel applique un cycle ininterrompu d’\u00e9valuation et de d\u00e9cision. Il compare les structures de donn\u00e9es pr\u00e9sentes en m\u00e9moire de travail, consulte les heuristiques stock\u00e9es en m\u00e9moire \u00e0 long terme, g\u00e9n\u00e8re r\u00e9cursivement les sous-objectifs et d\u00e9clenche l’ex\u00e9cution des op\u00e9rateurs physiques ou cognitifs appropri\u00e9s.<\/li>\n<\/ul>\n
L’interaction entre ces modules s’effectue par le biais d’un flux continu de manipulations symboliques. L’interpr\u00e9teur de buts agit comme un chef d’orchestre rigide mais dynamique : il interroge l’\u00e9tat courant, constate une disparit\u00e9 structurelle par rapport au but, sollicite de la m\u00e9moire \u00e0 long terme un op\u00e9rateur susceptible de supprimer cette disparit\u00e9, et si cet op\u00e9rateur ne peut \u00eatre ex\u00e9cut\u00e9 imm\u00e9diatement, empile un nouveau sous-but en m\u00e9moire de travail. Cette tripartition fonctionnelle garantissait une totale s\u00e9paration entre la machinerie de raisonnement universelle et les connaissances locales du domaine, assurant ainsi le statut v\u00e9ritablement \u00ab g\u00e9n\u00e9ral \u00bb revendiqu\u00e9 par le programme.<\/p>\n
3. L’analyse moyens-fins (Means-Ends Analysis) : C\u0153ur proc\u00e9dural du GPS<\/h2>\n
Si la notion d’espace de probl\u00e8me d\u00e9limite le territoire dans lequel le syst\u00e8me \u00e9volue, l’analyse moyens-fins<\/strong> (Means-Ends Analysis<\/em>) constitue le moteur heuristique qui guide la trajectoire du GPS \u00e0 travers ce territoire. Cette m\u00e9thode proc\u00e9durale demeure l’une des contributions les plus c\u00e9l\u00e8bres et les plus influentes de Newell et Simon \u00e0 l’informatique th\u00e9orique et \u00e0 la psychologie du raisonnement.<\/p>\n3.1 Principe fondamental et dynamique r\u00e9cursive<\/h3>\n
L’analyse moyens-fins repose sur un principe intuitif puissant, emprunt\u00e9 \u00e0 la prax\u00e9ologie et \u00e0 la philosophie de l’action : l’action n’est justifi\u00e9e que dans la mesure o\u00f9 elle constitue un moyen proportionn\u00e9 d’atteindre une fin d\u00e9termin\u00e9e. Confront\u00e9 \u00e0 un foss\u00e9 cognitif entre sa situation pr\u00e9sente et la situation d\u00e9sir\u00e9e, le r\u00e9solveur ne cherche pas \u00e0 deviner un chemin complet \u00e0 l’avance, pas plus qu’il n’avance au hasard en esp\u00e9rant croiser la solution par chance. Au lieu de cela, il engage une d\u00e9marche syst\u00e9matique de diagnostic diff\u00e9rentiel et de r\u00e9duction progressive de complexit\u00e9.<\/p>\n
La dynamique fondamentale de l’analyse moyens-fins peut \u00eatre d\u00e9compos\u00e9e en un cycle r\u00e9cursif invariable :<\/p>\n
\n- \u00c9valuation de la distance :<\/strong> L’\u00e9tat courant $S_{actuel}$<\/span> est directement confront\u00e9 \u00e0 l’\u00e9tat-but $S_{but}$<\/span> afin d’extraire l’ensemble des diff\u00e9rences qualitatives et structurelles qui les s\u00e9parent.<\/li>\n
- Priorisation de la diff\u00e9rence :<\/strong> Si plusieurs disparit\u00e9s coexistent, le syst\u00e8me s\u00e9lectionne la diff\u00e9rence la plus substantielle, c’est-\u00e0-dire celle qui est jug\u00e9e la plus critique selon une hi\u00e9rarchie de priorit\u00e9s pr\u00e9\u00e9tablie.<\/li>\n
- Recherche d’un moyen (Op\u00e9rateur) :<\/strong> Le syst\u00e8me interroge sa base de connaissances pour identifier un op\u00e9rateur $Op$<\/span> dont l’application a pr\u00e9cis\u00e9ment pour vocation ou propri\u00e9t\u00e9 d’\u00e9liminer cette diff\u00e9rence sp\u00e9cifique.<\/li>\n
- Condition d’application :<\/strong> Le syst\u00e8me examine si les pr\u00e9conditions n\u00e9cessaires \u00e0 l’ex\u00e9cution de $Op$<\/span> sont r\u00e9unies dans l’\u00e9tat courant. Si elles le sont, $Op$<\/span> est appliqu\u00e9 imm\u00e9diatement, g\u00e9n\u00e9rant un nouvel \u00e9tat courant.<\/li>\n
- Sous-butisation r\u00e9cursive :<\/strong> Si les pr\u00e9conditions de $Op$<\/span> ne sont pas remplies, le syst\u00e8me ne rejette pas l’op\u00e9rateur. Il g\u00e9n\u00e8re un sous-probl\u00e8me subsidiaire : transformer l’\u00e9tat courant de mani\u00e8re \u00e0 rendre possibles les pr\u00e9conditions de $Op$<\/span>. Ce m\u00e9canisme de r\u00e9gression vers l’amont constitue l’essence de la r\u00e9cursivit\u00e9 du GPS.<\/li>\n<\/ol>\n
Cette logique t\u00e9l\u00e9ologique fractionne un probl\u00e8me global d’une complexit\u00e9 insurmontable en une cascade de probl\u00e8mes locaux de dimension bien plus modeste, rendant la t\u00e2che accessible \u00e0 un syst\u00e8me \u00e0 rationalit\u00e9 contrainte.<\/p>\n
3.2 La typologie des buts dans l’analyse moyens-fins<\/h3>\n
Pour op\u00e9rationnaliser cette dynamique r\u00e9cursive sans ambigu\u00eft\u00e9 algorithmique, Newell et Simon ont formalis\u00e9 une ontologie rigoureuse structur\u00e9e autour de trois types fondamentaux d’objectifs cognitifs. Chaque but assign\u00e9 au GPS appartient obligatoirement \u00e0 l’une de ces trois cat\u00e9gories interconnect\u00e9es :<\/p>\n
1. Le but de transformation (Transform Object A into Object B) :<\/strong>
\nCe type de but constitue la finalit\u00e9 supr\u00eame du probl\u00e8me, mais il peut \u00e9galement r\u00e9gir des \u00e9tapes interm\u00e9diaires. Il s’agit de trouver une s\u00e9quence d’op\u00e9rateurs permettant de passer d’un \u00e9tat symbolique donn\u00e9 $A$<\/span> \u00e0 un \u00e9tat cible $B$<\/span>. Pour accomplir ce but, le GPS proc\u00e8de \u00e0 l’\u00e9valuation comparative de $A$<\/span> et de $B$<\/span>. S’il n’existe aucune diff\u00e9rence entre les deux structures, le but est imm\u00e9diatement d\u00e9clar\u00e9 r\u00e9solu avec succ\u00e8s. Dans le cas contraire, la divergence d\u00e9tect\u00e9e engendre un but de second type : un but de r\u00e9duction de diff\u00e9rence.<\/p>\n2. Le but de r\u00e9duction de diff\u00e9rence (Reduce Difference D between Object A and Object B) :<\/strong>
\nL’objectif ici n’est pas de r\u00e9soudre instantan\u00e9ment tout le probl\u00e8me, mais de neutraliser une disparit\u00e9 sp\u00e9cifique identifi\u00e9e, not\u00e9e $D$<\/span>. Le GPS analyse sa table de connaissances heuristiques pour d\u00e9nicher un op\u00e9rateur $Q$<\/span> capable d’affecter positivement $D$<\/span>. Si un op\u00e9rateur potentiel est localis\u00e9, le syst\u00e8me cr\u00e9e imm\u00e9diatement un but de troisi\u00e8me type : un but d’application. Si aucun op\u00e9rateur n’est \u00e9ligible, la tentative \u00e9choue et le GPS tente de s\u00e9lectionner une diff\u00e9rence alternative de moindre priorit\u00e9.<\/p>\n3. Le but d’application (Apply Operator Q to Object A) :<\/strong>
\nCe but consiste \u00e0 ex\u00e9cuter concr\u00e8tement un op\u00e9rateur donn\u00e9 $Q$<\/span> sur un \u00e9tat de d\u00e9part $A$<\/span>. Le syst\u00e8me v\u00e9rifie la compatibilit\u00e9 de $A$<\/span> avec les pr\u00e9conditions formelles requises par $Q$<\/span>. Deux issues sont alors possibles : si $A$<\/span> satisfait pleinement les pr\u00e9conditions, $Q$<\/span> est ex\u00e9cut\u00e9 et produit un nouvel \u00e9tat transitoire $A’ = Q(A)$<\/span>, permettant ainsi au syst\u00e8me de reprendre son but de transformation parent. En revanche, si $A$<\/span> enfreint certaines pr\u00e9conditions, le GPS instancie un nouveau but de transformation : transformer l’\u00e9tat $A$<\/span> en un \u00e9tat interm\u00e9diaire $C$<\/span> satisfaisant les pr\u00e9conditions de $Q$<\/span>.<\/p>\nCette triade de buts forme une boucle ferm\u00e9e et autor\u00e9f\u00e9rentielle : un but de transformation engendre des buts de r\u00e9duction, qui engendrent des buts d’application, lesquels \u00e0 leur tour r\u00e9engendrent des buts de transformation plus locaux. Cette architecture fonctionnelle \u00e9l\u00e9gante permet de naviguer en profondeur dans l’espace du probl\u00e8me tout en maintenant une tra\u00e7abilit\u00e9 rigoureuse de la finalit\u00e9 ultime de l’action engag\u00e9e.<\/p>\n
3.3 Structure algorithmique et arbre de d\u00e9composition<\/h3>\n
D’un point de vue informatique, l’analyse moyens-fins se mat\u00e9rialise sous la forme d’un arbre de d\u00e9composition hi\u00e9rarchique r\u00e9gie par des structures de contr\u00f4le r\u00e9cursives. Le moteur d’inf\u00e9rence manipule une pile d’ex\u00e9cution fonctionnant selon le principe strict du \u00ab dernier entr\u00e9, premier sorti \u00bb (LIFO – Last In, First Out<\/em>). Chaque fois qu’un obstacle \u00e9merge sous la forme d’une pr\u00e9condition non satisfaite, le but en cours est gel\u00e9 et plac\u00e9 en attente sur la pile, tandis que le nouveau sous-but d’adaptation est promu au sommet de la hi\u00e9rarchie attentionnelle.<\/p>\nPour \u00e9viter que le syst\u00e8me ne s’\u00e9gare dans des r\u00e9gressions computationnelles infinies, le GPS int\u00e8gre un ensemble de r\u00e8gles de contr\u00f4le rigoureuses et de m\u00e9canismes de d\u00e9tection de pi\u00e8ges logiques :<\/p>\n
\n- D\u00e9tection des cycles :<\/strong> Le GPS maintient un registre des \u00e9tats historiques d\u00e9j\u00e0 visit\u00e9s au cours de la trajectoire actuelle. Si l’application d’un op\u00e9rateur conduit \u00e0 r\u00e9engendrer un \u00e9tat identique \u00e0 un n\u0153ud anc\u00eatre de la pile, l’op\u00e9ration est imm\u00e9diatement avort\u00e9e pour pr\u00e9venir le bouclage circulaire infini.<\/li>\n
- R\u00e8gle de non-aggravation :<\/strong> Un op\u00e9rateur ne peut \u00eatre valid\u00e9 si son ex\u00e9cution a pour effet collat\u00e9ral d’introduire des diff\u00e9rences de rang hi\u00e9rarchique sup\u00e9rieur \u00e0 celle qu’il est cens\u00e9 \u00e9liminer. Si l’\u00e9limination d’une anomalie mineure d\u00e9truit un composant majeur d\u00e9j\u00e0 laborieusement align\u00e9 avec le but final, l’action est proscrite.<\/li>\n
- Conditions d’arr\u00eat et de retour arri\u00e8re (Backtracking) :<\/strong> Lorsqu’une branche de l’arbre de recherche n’offre aucun op\u00e9rateur \u00e9ligible ou conduit \u00e0 une violation r\u00e9dhibitoire des contraintes globales du domaine, le GPS d\u00e9pile le sous-but st\u00e9rile, constate l’\u00e9chec local et op\u00e8re un retour arri\u00e8re syst\u00e9matique vers le n\u0153ud d\u00e9cisionnel parent le plus proche afin d’explorer une alternative heuristique non encore test\u00e9e.<\/li>\n<\/ul>\n
Cette gestion arborescente conf\u00e8re au GPS une remarquable capacit\u00e9 \u00e0 planifier des s\u00e9quences d’actions coordonn\u00e9es sur plusieurs niveaux de profondeur, tout en conservant une \u00e9conomie de moyens computationnels qui faisait l’admiration des pionniers de l’informatique des ann\u00e9es 1960.<\/p>\n
4. Op\u00e9rateurs, diff\u00e9rences et table de connexions<\/h2>\n
Le fonctionnement m\u00e9canique du GPS repose sur une triade conceptuelle indissociable : les diff\u00e9rences observ\u00e9es, les op\u00e9rateurs applicables et la table de connexions qui tisse le lien heuristique entre les deux premiers \u00e9l\u00e9ments. Cette section d\u00e9cortique le formalisme pr\u00e9cis qui autorise le syst\u00e8me \u00e0 choisir rationnellement l’action ad\u00e9quate sans avoir recours \u00e0 une force brute aveugle.<\/p>\n
4.1 La caract\u00e9risation et l’extraction des diff\u00e9rences<\/h3>\n
La premi\u00e8re phase de l’analyse moyens-fins exige un appareil perceptivo-cognitif interne capable de sonder et de comparer deux structures symboliques afin d’en extraire les disparit\u00e9s morphologiques et s\u00e9mantiques. Cette confrontation structurelle s’op\u00e8re par une routine d’appariement de motifs (pattern matching<\/em>).<\/p>\nSoient deux \u00e9tats repr\u00e9sent\u00e9s sous forme d’arbres syntaxiques ou de listes de symboles : l’\u00e9tat actuel $S_a$<\/span> et l’\u00e9tat cible $S_g$<\/span>. Le module d’\u00e9valuation parcourt de mani\u00e8re synchrone les deux repr\u00e9sentations pour identifier les incompatibilit\u00e9s. Les diff\u00e9rences d\u00e9tect\u00e9es ne sont pas simplement cumul\u00e9es de fa\u00e7on d\u00e9sordonn\u00e9e ; elles sont class\u00e9es et instanci\u00e9es sous la forme d’un vecteur de disparit\u00e9s ordonn\u00e9 hi\u00e9rarchiquement<\/em>. Par exemple, en logique propositionnelle, le syst\u00e8me distingue :<\/p>\n\n- Les diff\u00e9rences d’op\u00e9rateurs principaux (ex. conjonction versus implication).<\/li>\n
- Les diff\u00e9rences de variables ou de constantes atomiques (ex. pr\u00e9sence du symbole $P$<\/span> au lieu de $Q$<\/span>).<\/li>\n
- Les diff\u00e9rences de position ou d’ordre des arguments (ex. $A lor B$<\/span> versus $B lor A$<\/span>).<\/li>\n
- Les diff\u00e9rences de polarit\u00e9 de signe logique (ex. pr\u00e9sence d’une n\u00e9gation $neg$<\/span> exc\u00e9dentaire).<\/li>\n<\/ul>\n
L’aspect le plus d\u00e9cisif de cette caract\u00e9risation r\u00e9side dans l’attribution d’un ordre de pr\u00e9s\u00e9ance imp\u00e9ratif. Newell et Simon ont postul\u00e9 que l’esprit humain ne traite pas toutes les divergences sur un pied d’\u00e9galit\u00e9 : certaines disparit\u00e9s sont profondes et n\u00e9cessitent une r\u00e9organisation globale du syst\u00e8me, tandis que d’autres sont triviales et peuvent \u00eatre r\u00e9solues par un simple ajustement final. Par exemple, si une formule logique poss\u00e8de des variables totalement diff\u00e9rentes de celles requises par le th\u00e9or\u00e8me \u00e0 d\u00e9montrer, il est inutile de s’attarder sur l’inversion d’un signe de parenth\u00e8se tant que les bons symboles n’ont pas \u00e9t\u00e9 introduits dans l’expression. La sensibilit\u00e9 du syst\u00e8me aux traits saillants de son univers symbolique dicte ainsi la focalisation s\u00e9lective de son attention computationnelle.<\/p>\n
4.2 Le r\u00f4le et la d\u00e9finition formelle des op\u00e9rateurs<\/h3>\n
Dans l’architecture du GPS, un op\u00e9rateur<\/strong> n’est pas une simple fonction math\u00e9matique pure, mais une mod\u00e9lisation th\u00e9orique d’une action d\u00e9lib\u00e9r\u00e9e susceptible d’alt\u00e9rer l’univers du probl\u00e8me. Chaque op\u00e9rateur $Op$<\/span> est formellement encadr\u00e9 par trois composantes strictes :<\/p>\n1. Les pr\u00e9conditions d’applicabilit\u00e9 :<\/strong>
\nUn pr\u00e9dicat logique d\u00e9crivant les conditions indispensables que doit imp\u00e9rativement satisfaire l’\u00e9tat courant pour que l’op\u00e9rateur puisse \u00eatre l\u00e9gitimement d\u00e9clench\u00e9 sans violer les lois intrins\u00e8ques de l’univers du probl\u00e8me. Si la pr\u00e9condition n’est pas vraie dans l’\u00e9tat consid\u00e9r\u00e9, l’action est physiquement ou logiquement impossible.<\/p>\n2. La fonction de transition d’\u00e9tat :<\/strong>
\nL’instruction proc\u00e9durale qui explicite la modification structurelle induite par l’action. Cette fonction supprime certains \u00e9l\u00e9ments symboliques de l’\u00e9tat source et en ajoute de nouveaux, modifiant ainsi sa g\u00e9om\u00e9trie informationnelle pour donner naissance \u00e0 un \u00e9tat successeur unique.<\/p>\n3. Le bilan des effets collat\u00e9raux et son co\u00fbt associ\u00e9 :<\/strong>
\nL’application d’un op\u00e9rateur ne se limite que tr\u00e8s rarement \u00e0 l’\u00e9radication chirurgicale de la diff\u00e9rence cibl\u00e9e ; elle engendre presque syst\u00e9matiquement des alt\u00e9rations p\u00e9riph\u00e9riques sur d’autres segments de la structure symbolique. Le syst\u00e8me doit int\u00e9grer ces effets d\u00e9riv\u00e9s pour \u00e9valuer la viabilit\u00e9 globale de l’op\u00e9ration et pond\u00e9rer le co\u00fbt computationnel encouru.<\/p>\nFormellement, un op\u00e9rateur peut \u00eatre d\u00e9fini comme une relation de transition partielle :<\/p>\n
$$Op : S_{in} x\\rightarrow{\\quad} S_{out}$$<\/span><\/p>\nd\u00e9finie si et seulement si $Pracute{e}conditions(Op, S_{in}) = \\mathbf{Vrai}$<\/span>. L’op\u00e9rateur mat\u00e9rialise donc les contraintes causales ou d\u00e9ductives du domaine au sein duquel l’agent tente de r\u00e9soudre son probl\u00e8me.<\/p>\n4.3 La table de connexions (Table of Connections)<\/h3>\n
La Table de Connexions<\/strong> (Table of Connections<\/em>) repr\u00e9sente le c\u0153ur de l’expertise heuristique compil\u00e9e dans le GPS. Sans elle, le syst\u00e8me serait condamn\u00e9 \u00e0 tester aveugl\u00e9ment tous les op\u00e9rateurs disponibles dans l’espoir que l’un d’eux supprime accidentellement la divergence observ\u00e9e, ce qui r\u00e9introduirait le spectre r\u00e9dhibitoire de l’explosion combinatoire.<\/p>\nMat\u00e9riellement, la table de connexions est une matrice \u00e0 double entr\u00e9e reliant de mani\u00e8re univoque l’univers des diff\u00e9rences descriptibles \u00e0 l’ensemble des op\u00e9rateurs d’action. Une case $(D_i, Op_j)$<\/span> de cette matrice contient un indicateur bool\u00e9en ou une valeur de pertinence pr\u00e9cisant si l’op\u00e9rateur $Op_j$<\/span> poss\u00e8de la propri\u00e9t\u00e9 connue de r\u00e9duire ou d’annihiler la diff\u00e9rence formelle de type $D_i$<\/span> :<\/p>\n\n\n\n| Type de Diff\u00e9rence D\u00e9tect\u00e9e ($D$<\/span>)<\/th>\n | Op\u00e9rateur \u00c9ligible 1 ($Op_1$<\/span>)<\/th>\n | Op\u00e9rateur \u00c9ligible 2 ($Op_2$<\/span>)<\/th>\n | Op\u00e9rateur \u00c9ligible 3 ($Op_3$<\/span>)<\/th>\n<\/tr>\n<\/thead>\n\n\nDiff\u00e9rence de variable<\/strong> (symbole absent)<\/td>\n| Applicable<\/td>\n | Non pertinent<\/td>\n | Non pertinent<\/td>\n<\/tr>\n | \nDiff\u00e9rence de connecteur<\/strong> (ex. $land to lor$<\/span>)<\/td>\n| Non pertinent<\/td>\n | Applicable<\/td>\n | Non pertinent<\/td>\n<\/tr>\n | \nDiff\u00e9rence d’ordre des termes<\/strong> ($A, B to B, A$<\/span>)<\/td>\n| Non pertinent<\/td>\n | Non pertinent<\/td>\n | Applicable (Commutativit\u00e9)<\/td>\n<\/tr>\n | \nDiff\u00e9rence de polarit\u00e9<\/strong> (signe n\u00e9gatif)<\/td>\n| Applicable (Double n\u00e9gation)<\/td>\n | Non pertinent<\/td>\n | Applicable<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n Cette table de connexions constitue le filtre qui transmute une qu\u00eate aveugle en une recherche hautement s\u00e9lective<\/em>. Gr\u00e2ce \u00e0 cette m\u00e9moire associative, lorsque le GPS rep\u00e8re une disparit\u00e9 $D_k$<\/span>, il consulte imm\u00e9diatement la ligne correspondante de la table, restreignant instantan\u00e9ment son attention \u00e0 la poign\u00e9e d’op\u00e9rateurs signal\u00e9s comme pertinents. Cette structure cristallise l’exp\u00e9rience accumul\u00e9e ou l’expertise inject\u00e9e par le mod\u00e9lisateur dans le programme. C’est pr\u00e9cis\u00e9ment cette d\u00e9pendance fondamentale qui a conduit de nombreux critiques \u00e0 souligner que le caract\u00e8re \u00ab g\u00e9n\u00e9ral \u00bb du GPS reposait en v\u00e9rit\u00e9 sur une architecture universelle aliment\u00e9e par une matrice d’expertise heuristique \u00e9minemment locale et fa\u00e7onn\u00e9e \u00e0 la main pour chaque univers applicatif.<\/p>\n5. M\u00e9thodologie empirique : Protocoles verbaux et validation psychologique<\/h2>\nPour Newell et Simon, le GPS n’\u00e9tait pas un simple exercice d’algorithmique destin\u00e9 aux laboratoires d’informatique, mais un outil d’investigation destin\u00e9 \u00e0 bouleverser la science de l’esprit. L’une de leurs contributions m\u00e9thodologiques les plus durables \u00e0 la psychologie cognitive moderne a \u00e9t\u00e9 la mise au point d’une d\u00e9marche exp\u00e9rimentale d’une rigueur clinique pour sonder les processus de pens\u00e9e int\u00e9rieurs sans sombrer dans les travers non scientifiques du pass\u00e9.<\/p>\n 5.1 La m\u00e9thode du penser \u00e0 voix haute (Think-Aloud Protocols)<\/h3>\nD\u00e8s la fin du XIXe si\u00e8cle, les pionniers de la psychologie comme Wilhelm Wundt ou Edward Titchener avaient tent\u00e9 d’\u00e9tudier l’esprit par le biais de l’introspectionnisme classique. Cette approche avait toutefois sombr\u00e9 sous les critiques d\u00e9vastatrices des positivistes : demander \u00e0 un sujet de s’auto-analyser r\u00e9trospectivement apr\u00e8s la t\u00e2che modifie le souvenir du processus, introduit des rationalisations a posteriori<\/em> fallacieuses et force le sujet \u00e0 inventer des justifications logiques pour des m\u00e9canismes inconscients. Rejetant \u00e0 la fois l’amn\u00e9sie introspective et le mutisme b\u00e9havioriste, Newell et Simon ont d\u00e9velopp\u00e9 et institutionnalis\u00e9 la m\u00e9thode des protocoles verbaux simultan\u00e9s<\/strong> (Think-Aloud Protocols<\/em>), synth\u00e9tis\u00e9e plus tard dans l’ouvrage magistral de K. Anders Ericsson et Herbert Simon en 1984.<\/p>\nLe protocole exp\u00e9rimental \u00e9tait standardis\u00e9 avec une s\u00e9v\u00e9rit\u00e9 absolue. Les sujets \u2014 souvent des \u00e9tudiants de l’Institut de Technologie Carnegie (devenu l’Universit\u00e9 Carnegie Mellon) \u2014 \u00e9taient assis devant un bureau, isol\u00e9s de toute interf\u00e9rence, et recevaient un probl\u00e8me symbolique in\u00e9dit (par exemple un casse-t\u00eate logique ou une \u00e9nigme de cryptarithm\u00e9tique). La consigne \u00e9tait pr\u00e9cise : le sujet ne devait en aucun cas tenter d’analyser, d’expliquer ou de justifier sa d\u00e9marche pour l’exp\u00e9rimentateur, mais simplement verbaliser de fa\u00e7on continue<\/em> le flux brut des pens\u00e9es qui traversaient sa m\u00e9moire de travail pendant qu’il cherchait la solution.<\/p>\nLes propos \u00e9taient capt\u00e9s sur bande magn\u00e9tique avec une fid\u00e9lit\u00e9 acoustique parfaite. L’\u00e9tape analytique suivante exigeait un travail titanesque : les enregistrements sonores \u00e9taient minutieusement transcrits sous forme de textes int\u00e9graux. L’\u00e9quipe d’exp\u00e9rimentateurs proc\u00e9dait ensuite \u00e0 la segmentation<\/strong> de la transcription en \u00e9nonc\u00e9s atomiques et discrets, correspondant chacun \u00e0 une seule op\u00e9ration mentale ou \u00e0 un seul focus d’attention (\u00ab Je regarde le terme de gauche \u00bb, \u00ab Il y a un moins ici \u00bb, \u00ab Je voudrais supprimer ce R \u00bb, \u00ab Si j’inversais les parenth\u00e8ses… \u00bb). Chaque fragment \u00e9tait ensuite syst\u00e9matiquement encod\u00e9 selon une grille formelle cat\u00e9gorisant le type de but poursuivi, l’op\u00e9rateur convoqu\u00e9 ou la diff\u00e9rence cognitivement relev\u00e9e.<\/p>\n5.2 L’analyse des traces comportementales et construction des graphes<\/h3>\nUne fois les protocoles verbaux cod\u00e9s sous forme d’unit\u00e9s symboliques objectives, Newell et Simon ont introduit un outil analytique et visuel innovant : le Graphe de Comportement du Probl\u00e8me<\/strong> (Problem Behavior Graph<\/em>, ou PBG). Le PBG est une repr\u00e9sentation spatio-temporelle rigoureuse de la trajectoire cognitive singuli\u00e8re emprunt\u00e9e par un individu au cours de son p\u00e9riple \u00e0 travers l’espace du probl\u00e8me.<\/p>\nDans un PBG, chaque \u00e9tat mental interm\u00e9diaire atteint par le sujet est figur\u00e9 par un n\u0153ud discret. Un mouvement vers la droite symbolise l’application d’un op\u00e9rateur qui engendre un nouvel \u00e9tat de connaissance dans le fil de la r\u00e9flexion. Un mouvement vertical vers le bas indique un d\u00e9crochage cognitif : le sujet abandonne temporairement ou d\u00e9finitivement la ligne de raisonnement courante et op\u00e8re un retour en arri\u00e8re<\/em> (backtracking) vers un \u00e9tat de connaissance ant\u00e9rieur situ\u00e9 plus haut dans l’arbre pour r\u00e9amorcer une exploration alternative. Les h\u00e9sitations prolong\u00e9es, les soupirs, les silences et les h\u00e9sitations verbales retranscrits sur la bande magn\u00e9tique fournissaient des indicateurs chronom\u00e9triques pr\u00e9cieux sur les phases de surcharge de la m\u00e9moire de travail ou sur les impasses n\u00e9cessitant une r\u00e9\u00e9valuation strat\u00e9gique globale.<\/p>\nL’apport scientifique d\u00e9cisif r\u00e9sidait dans la confrontation terme \u00e0 terme entre la trace comportementale humaine mat\u00e9rialis\u00e9e par le PBG et le journal d’ex\u00e9cution (la trace computationnelle<\/em>) g\u00e9n\u00e9r\u00e9 de mani\u00e8re totalement d\u00e9terministe par le programme GPS r\u00e9solvant rigoureusement le m\u00eame probl\u00e8me avec les m\u00eames axiomes de d\u00e9part. Newell et Simon ont ainsi pu produire des comparaisons \u00ab pas \u00e0 pas \u00bb stup\u00e9fiantes : le logiciel g\u00e9n\u00e9rait la m\u00eame cascade d’intentions locales, s’arr\u00eatait devant les m\u00eames contradictions structurelles, cr\u00e9ait les m\u00eames sous-buts d’urgence et effectuait ses retours en arri\u00e8re exactement aux m\u00eames points d’inflexion que le sujet humain novice, fournissant la premi\u00e8re d\u00e9monstration empirique qu’un mod\u00e8le computationnel pouvait \u00e9pouser le d\u00e9tail fin de la temporalit\u00e9 de la pens\u00e9e humaine.<\/p>\n5.3 Crit\u00e8res de validit\u00e9 psychologique de la simulation<\/h3>\nCette convergence saisissante a conduit Newell et Simon \u00e0 th\u00e9oriser de nouveaux crit\u00e8res \u00e9pist\u00e9mologiques pour asseoir la validit\u00e9 scientifique de leurs mod\u00e8les computationnels de la cognition. Ils ont notamment d\u00e9fini deux exigences compl\u00e9mentaires :<\/p>\n 1. Le crit\u00e8re de suffisance (Sufficiency Criterion) :<\/strong>
\nPour qu’un mod\u00e8le soit scientifiquement admissible, il ne doit faire appel \u00e0 aucun concept magique ou t\u00e9l\u00e9ologique non formalis\u00e9 (comme \u00ab l’illumination \u00bb, \u00ab le g\u00e9nie intuitif \u00bb ou \u00ab l’\u00e9lan vital \u00bb). Le mod\u00e9lisateur doit imp\u00e9rativement prouver qu’un ensemble ferm\u00e9 et compl\u00e8tement sp\u00e9cifi\u00e9 de r\u00e8gles d’inf\u00e9rence symboliques et d’heuristiques formelles est logiquement suffisant<\/em> pour engendrer, par sa seule dynamique m\u00e9canique, le comportement complexe observ\u00e9 empiriquement chez l’humain.<\/p>\n2. Le crit\u00e8re de fid\u00e9lit\u00e9 chronologique et d’isomorphisme d’erreurs :<\/strong>
\nUn programme d’intelligence artificielle classique vise l’efficacit\u00e9 brute et l’optimalit\u00e9 math\u00e9matique ; il cherche \u00e0 r\u00e9soudre le probl\u00e8me le plus rapidement possible en \u00e9vitant le moindre faux pas. Une simulation cognitive psychologique poursuit l’objectif inverse : elle doit r\u00e9pliquer fid\u00e8lement la nature des erreurs humaines<\/em>, la fr\u00e9quence des h\u00e9sitations, la structure des impasses et l’ordre chronologique exact dans lequel les informations sont trait\u00e9es par le sujet biologique. Si l’humain commet une b\u00e9vue typique en raison de l’invisibilit\u00e9 temporaire d’un op\u00e9rateur, le GPS doit reproduire pr\u00e9cis\u00e9ment cette m\u00eame c\u00e9cit\u00e9 sous des contraintes informationnelles \u00e9quivalentes.<\/p>\nN\u00e9anmoins, Newell et Simon sont demeur\u00e9s particuli\u00e8rement lucides quant aux limites mat\u00e9rielles de cette fid\u00e9lit\u00e9 de simulation. Ils ont document\u00e9 deux divergences fondamentales irr\u00e9ductibles :<\/p>\n \n- La dissym\u00e9trie des capacit\u00e9s mn\u00e9siques :<\/strong> Alors que la machine informatique de l’\u00e9poque disposait d’une m\u00e9moire de travail \u00e9lectronique infaillible capable de conserver des centaines de symboles sans d\u00e9gradation, la m\u00e9moire humaine de travail est dramatiquement born\u00e9e par le c\u00e9l\u00e8bre plafond identifi\u00e9 par George A. Miller<\/a> en 1956 (\u00ab le nombre magique sept, plus ou moins deux \u00bb). Pour pr\u00e9server l’isomorphisme psychologique, les chercheurs ont d\u00fb brider artificiellement les piles de stockage du GPS.<\/li>\n
- La disparit\u00e9 des vitesses de cycle d’horloge :<\/strong> Un processeur \u00e9lectronique ex\u00e9cute ses routines de manipulation en quelques microsecondes, tandis que la transmission synaptique biologique impose un temps de r\u00e9action minimal de 50 \u00e0 100 millisecondes par \u00e9tape \u00e9l\u00e9mentaire de production cognitive, introduisant un foss\u00e9 temporel absolu qu’il convenait de relativiser par des \u00e9chelles normalis\u00e9es.<\/li>\n<\/ul>\n
6. Domaines d’application canoniques et \u00e9tudes de cas<\/h2>\nAfin de prouver la versatilit\u00e9 g\u00e9n\u00e9rale revendiqu\u00e9e par le GPS, Allen Newell et Herbert Simon l’ont soumis \u00e0 une batterie d’\u00e9preuves exp\u00e9rimentales diversifi\u00e9es. Loin de se limiter \u00e0 un exercice stylis\u00e9 de laboratoire, le GPS a \u00e9t\u00e9 confront\u00e9 \u00e0 des probl\u00e8mes embl\u00e9matiques qui ont fa\u00e7onn\u00e9 l’histoire de la psychologie exp\u00e9rimentale et des math\u00e9matiques appliqu\u00e9es.<\/p>\n 6.1 La logique symbolique propositionnelle<\/h3>\nLe premier terrain d’\u00e9lection du GPS fut naturellement la d\u00e9rivation formelle en logique propositionnelle, dans la droite ligne des ambitions de la Logic Theory Machine, mais avec une machinerie enti\u00e8rement r\u00e9\u00e9crite sous l’\u00e9gide de l’analyse moyens-fins. Le probl\u00e8me consiste \u00e0 transformer une expression logique initiale en une expression finale vis\u00e9e, en appliquant exclusivement une collection de douze r\u00e8gles d’\u00e9quivalence et d’inf\u00e9rence (telles que la commutativit\u00e9, l’associativit\u00e9, la distributivit\u00e9, la r\u00e8gle de De Morgan, la contraposition ou le modus ponens<\/em>).<\/p>\nConsid\u00e9rons l’exemple historique \u00e9tudi\u00e9 en d\u00e9tail par Newell et Simon dans leur monographie de 1972 : transformer l’expression $R land (neg P supset Q)$<\/span> en l’expression but finale $(Q lor P) land R$<\/span>. Confront\u00e9 \u00e0 ce d\u00e9fi, le GPS d\u00e9ploie sa cascade d’analyse :<\/p>\n\n- Il compare les deux cha\u00eenes de symboles et d\u00e9tecte imm\u00e9diatement que l’ordre des sous-termes principaux est invers\u00e9 ($R$<\/span> est \u00e0 gauche au d\u00e9part, mais \u00e0 droite \u00e0 l’arriv\u00e9e).<\/li>\n
- La table de connexions indique que l’op\u00e9rateur $Op_1$<\/span> (Commutativit\u00e9 : $A land B to B land A$<\/span>) a pr\u00e9cis\u00e9ment pour effet d’annihiler une diff\u00e9rence d’inversion d’arguments.<\/li>\n
- Le GPS examine les pr\u00e9conditions de $Op_1$<\/span>. L’expression principale \u00e9tant effectivement r\u00e9gie par le connecteur de conjonction $land$<\/span>, l’op\u00e9rateur est applicable sans d\u00e9lai. Il g\u00e9n\u00e8re l’\u00e9tat interm\u00e9diaire : $(neg P supset Q) land R$<\/span>.<\/li>\n
- Le sous-but de transposition du terme $R$<\/span> \u00e9tant acquis, le GPS se concentre sur le terme restant : changer l’implication $(neg P supset Q)$<\/span> en la disjonction $(Q lor P)$<\/span>.<\/li>\n
- Le module d’analyse extrait une double diff\u00e9rence : une diff\u00e9rence de connecteur principal ($supset$<\/span> versus $lor$<\/span>) et une diff\u00e9rence dans l’ordonnancement interne des variables litt\u00e9rales.<\/li>\n
- La table de connexions appelle l’op\u00e9rateur de conversion de l’implication en disjonction : $(A \\supset B) \\equiv (\\neg A lor B)$<\/span>. Le GPS applique la transformation, ce qui donne $(neg neg P lor Q) land R$<\/span>, puis \u00e9limine la double n\u00e9gation pour obtenir $(P lor Q) land R$<\/span>, et applique enfin une r\u00e8gle de commutativit\u00e9 interne sur la disjonction pour achever l’alignement parfait avec la cible : $(Q lor P) land R$<\/span>.<\/li>\n<\/ul>\n
Cette r\u00e9ussite magistrale d\u00e9montrait comment le fractionnement d’un th\u00e9or\u00e8me complexe en une s\u00e9quence d’\u00e9tapes cibl\u00e9es permettait d’\u00e9viter le pi\u00e8ge de la combinatoire aveugle qui frappait les d\u00e9monstrateurs de th\u00e9or\u00e8mes purement d\u00e9ductifs ascendants.<\/p>\n 6.2 La Tour de Hano\u00ef et les probl\u00e8mes isomorphes<\/h3>\nLe casse-t\u00eate classique de la Tour de Hano\u00ef<\/strong>, invent\u00e9 par le math\u00e9maticien fran\u00e7ais \u00c9douard Lucas en 1883, constitue sans conteste l’un des laboratoires exp\u00e9rimentaux les plus limpides pour observer l’analyse moyens-fins \u00e0 l’\u0153uvre. Le jeu classique se compose de trois tiges verticales et d’un nombre d\u00e9termin\u00e9 de disques de diam\u00e8tres strictement d\u00e9croissants, initialement empil\u00e9s sur une tige de d\u00e9part. Le but est de d\u00e9placer la totalit\u00e9 de la pile vers une tige d’arriv\u00e9e en respectant deux contraintes immuables : on ne peut d\u00e9placer qu’un seul disque \u00e0 la fois (celui situ\u00e9 au sommet d’une pile), et il est formellement interdit de poser un disque donn\u00e9 sur un disque d’un diam\u00e8tre inf\u00e9rieur au sien.<\/p>\nPour le GPS, la Tour de Hano\u00ef \u00e0 trois ou quatre disques illustre de mani\u00e8re spectaculaire le m\u00e9canisme de la divergence tactique apparente<\/strong>. Prenons la situation o\u00f9 le plus grand disque doit \u00eatre d\u00e9plac\u00e9 de la tige A vers la tige C. L’op\u00e9rateur direct \u00ab D\u00e9placer grand disque de A vers C \u00bb est imm\u00e9diatement s\u00e9lectionn\u00e9 par le syst\u00e8me car il \u00e9radique la diff\u00e9rence majeure par rapport au but final. Cependant, cet op\u00e9rateur se heurte instantan\u00e9ment \u00e0 un verrouillage de pr\u00e9conditions : la tige C n’est pas vide, ou bien d’autres disques plus petits sont encore empil\u00e9s au-dessus du grand disque sur la tige A.<\/p>\nL’analyse moyens-fins d\u00e9montre ici toute sa sup\u00e9riorit\u00e9 sur les heuristiques simplistes d’escalade aveugle (hill-climbing<\/em>) ou de gradient de proximit\u00e9. Une heuristique superficielle refuse syst\u00e9matiquement d’\u00e9loigner un composant de sa position cible. Le GPS, au contraire, gr\u00e2ce \u00e0 son architecture de sous-buts r\u00e9cursifs, d\u00e9duit que pour lib\u00e9rer le grand disque, il doit imp\u00e9rativement d\u00e9placer les petits disques vers la tige interm\u00e9diaire B<\/em>. Il consent ainsi \u00e0 r\u00e9aliser des actions qui semblent, au regard d’une m\u00e9trique g\u00e9om\u00e9trique brute, r\u00e9gresser par rapport \u00e0 l’\u00e9tat-but. Le sous-but \u00ab rendre libre le grand disque \u00bb devient prioritaire sur le but final, pilotant la r\u00e9solution avec une logique descendante impeccable que l’on retrouve point par point chez les sujets humains experts.<\/p>\n6.3 Probl\u00e8mes de cryptarithm\u00e9tique et de transvasement<\/h3>\nUn autre domaine d’investigation privil\u00e9gi\u00e9 par Newell et Simon fut celui des \u00e9nigmes de cryptarithm\u00e9tique<\/strong>, dont le cas le plus embl\u00e9matique reste l’addition alphab\u00e9tique :<\/p>\nDONALD + GERALD = ROBERT<\/pre>\nDans ce probl\u00e8me arithm\u00e9tique, chaque lettre de l’alphabet repr\u00e9sente de mani\u00e8re biunivoque un chiffre unique compris entre 0 et 9, la lettre $D$<\/span> \u00e9tant par exemple conventionnellement initialis\u00e9e \u00e0 la valeur 5. Le r\u00e9solveur doit attribuer la valeur num\u00e9rique exacte \u00e0 chacune des lettres restantes ($O, N, A, L, G, E, R, B, T$<\/span>) de fa\u00e7on \u00e0 ce que l’addition pos\u00e9e soit math\u00e9matiquement exacte dans le syst\u00e8me d\u00e9cimal, en g\u00e9rant les retenues \u00e9ventuelles.<\/p>\nLa force de l’analyse moyens-fins appliqu\u00e9e \u00e0 la cryptarithm\u00e9tique r\u00e9side dans la gestion dynamique et opportuniste des contraintes<\/em>. Le GPS ne se lance pas dans un tirage al\u00e9atoire de permutations parmi les 3,6 millions de combinaisons possibles. D\u00e8s qu’une valeur est affect\u00e9e (par exemple $D = 5$<\/span>, ce qui entra\u00eene $5 + 5 = 10$<\/span>, donc $T = 0$<\/span> avec une retenue de 1 sur la colonne suivante), cette information se propage \u00e0 travers l’ensemble des \u00e9quations colonnaires. Le syst\u00e8me identifie continuellement la colonne pr\u00e9sentant le degr\u00e9 de libert\u00e9 le plus faible (la diff\u00e9rence d’information la plus \u00e9troite) pour g\u00e9n\u00e9rer le sous-but d’instanciation de variable le plus contraignant. Le GPS reproduit avec exactitude la mani\u00e8re dont un humain r\u00e9duit drastiquement la combinatoire en exploitant les invariants arithm\u00e9tiques.<\/p>\nLe m\u00eame ph\u00e9nom\u00e8ne s’observe dans les c\u00e9l\u00e8bres probl\u00e8mes de transvasement de liquides<\/strong> (atteindre un volume pr\u00e9cis en utilisant des r\u00e9cipients non gradu\u00e9s de contenances distinctes) ou dans la redoutable \u00e9nigme des Missionnaires et Cannibales<\/strong> (faire traverser un fleuve \u00e0 trois missionnaires et trois cannibales \u00e0 bord d’une barque de deux places, sans que les cannibales ne soient jamais en surnombre sur l’une ou l’autre des rives sous peine de d\u00e9vorer les religieux). Dans ce dernier cas, le GPS met en lumi\u00e8re les points de blocage cognitif universels : pour r\u00e9ussir, le joueur doit accepter, \u00e0 un moment tr\u00e8s pr\u00e9cis de la travers\u00e9e, de ramener deux personnes sur la rive de d\u00e9part, violant temporairement le sentiment intuitif de progr\u00e8s lin\u00e9aire. Le GPS formalise rigoureusement cette n\u00e9cessit\u00e9 cognitive de \u00ab reculer pour mieux sauter \u00bb via la cr\u00e9ation d’un \u00e9tat transitoire d\u00e9verrouillant les pr\u00e9conditions d’\u00e9vacuation finale.<\/p>\n7. La rationalit\u00e9 limit\u00e9e de Herbert Simon au c\u0153ur du mod\u00e8le<\/h2>\nIl est \u00e9pist\u00e9mologiquement impossible de dissocier le General Problem Solver de la trajectoire philosophique et \u00e9conomique globale d’Herbert A. Simon. Le GPS n’est autre que la traduction computationnelle directe de la th\u00e9orie r\u00e9volutionnaire pour laquelle Simon s’est vu d\u00e9cerner le Prix de la Banque de Su\u00e8de en sciences \u00e9conomiques en m\u00e9moire d’Alfred Nobel en 1978 : la rationalit\u00e9 limit\u00e9e<\/strong> (Bounded Rationality<\/em>).<\/p>\n7.1 Critique du mod\u00e8le de l’homo \u0153conomicus omniscient<\/h3>\nDepuis le XIXe si\u00e8cle, la th\u00e9orie \u00e9conomique n\u00e9oclassique et les mod\u00e8les de d\u00e9cision statistique normative reposaient sur une fiction axiomatique commode mais psychologiquement fantaisiste : le mythe de l’Homo \u0153conomicus<\/em>. Dans cette vision id\u00e9ale, l’agent d\u00e9cideur est dot\u00e9 d’une rationalit\u00e9 absolue et omnisciente. Confront\u00e9 \u00e0 un probl\u00e8me d’arbitrage ou de choix d’actions, il est suppos\u00e9 :<\/p>\n\n- Poss\u00e9der une information exhaustive et instantan\u00e9e sur l’ensemble complet des \u00e9tats du monde possibles.<\/li>\n
- Disposer d’une capacit\u00e9 computationnelle infinie lui permettant de calculer sans d\u00e9lai toutes les trajectoires probabilistes futures.<\/li>\n
- Ordonner parfaitement ses pr\u00e9f\u00e9rences selon une fonction d’utilit\u00e9 math\u00e9matique globale et continue.<\/li>\n
- S\u00e9lectionner syst\u00e9matiquement l’action unique qui maximise rigoureusement son esp\u00e9rance d’utilit\u00e9 math\u00e9matique.<\/li>\n<\/ul>\n
Simon a vigoureusement combattu cette vision orthodoxe, la qualifiant d’irr\u00e9aliste sur le plan empirique et de st\u00e9rile pour comprendre le comportement r\u00e9el des organisations et des individus. Simon a rappel\u00e9 avec force que les \u00eatres humains sont des organismes biologiques finis, dont l’appareil c\u00e9r\u00e9bral est lourdement contraint par :<\/p>\n \n- Des goulets d’\u00e9tranglement s\u00e9v\u00e8res au niveau de la bande passante attentionnelle sensorielle.<\/li>\n
- Une capacit\u00e9 de r\u00e9tention de l’information volatile en m\u00e9moire imm\u00e9diate dramatiquement \u00e9troite.<\/li>\n
- Une lenteur relative de traitement s\u00e9quentiel des informations symboliques.<\/li>\n
- Un acc\u00e8s partiel, incertain, fragmentaire et co\u00fbteux aux connaissances relatives \u00e0 l’environnement ext\u00e9rieur.<\/li>\n<\/ul>\n
D\u00e8s lors, face \u00e0 l’immensit\u00e9 combinatoire de la r\u00e9alit\u00e9 physique et sociale, la qu\u00eate d’une \u00ab optimisation globale absolue \u00bb devient une illusion inaccessible. L’esprit humain ne cherche pas et ne peut pas chercher la solution math\u00e9matiquement optimale ; il cherche simplement des mani\u00e8res pragmatiques d’adapter ses comportements sous des contraintes s\u00e9v\u00e8res de ressources computationnelles finies.<\/p>\n 7.2 Le concept de satisficing (satisfaction vs optimisation)<\/h3>\nPour formaliser cette alternative pragmatique \u00e0 l’optimisation n\u00e9oclassique, Herbert Simon a forg\u00e9 un n\u00e9ologisme c\u00e9l\u00e8bre, contraction d\u00e9lib\u00e9r\u00e9e des termes anglais satisfying<\/em> (satisfaisant) et sufficing<\/em> (suffisant) : le satisficing<\/strong>, souvent traduit en fran\u00e7ais par le principe de satisfaction suffisante<\/strong>.<\/p>\nLe principe de satisfaction \u00e9nonce qu’un agent cognitif rationnel \u00e9voluant dans un univers complexe ne parcourt pas l’int\u00e9gralit\u00e9 du champ des possibles pour identifier le maximum global d’une fonction math\u00e9matique. Au lieu de cela, l’agent se dote d’un seuil d’acceptabilit\u00e9 aspirationnel<\/em> interne. D\u00e8s qu’au cours de son exploration s\u00e9quentielle, il d\u00e9couvre une alternative ou un chemin d’action qui \u00e9gale ou d\u00e9passe ce niveau d’exigence minimal pr\u00e9d\u00e9fini, il interrompt imm\u00e9diatement ses investigations et arr\u00eate son choix sur cette solution, sans d\u00e9penser la moindre unit\u00e9 d’\u00e9nergie computationnelle suppl\u00e9mentaire pour v\u00e9rifier s’il n’existait pas, th\u00e9oriquement, une alternative encore plus avantageuse quelque part dans l’immensit\u00e9 de l’espace non explor\u00e9.<\/p>\n | | | | | |