La mémoire procédurale humaine concerne les habiletés apprises. Ici, une procédure est une instruction logicielle versionnée dont les préconditions et résultats doivent être contrôlés.
CONCEPT GENOS · MÉMOIRE ET APPRENTISSAGE
Mémoire procédurale
dans GenOS.
La mémoire procédurale humaine concerne les habiletés apprises. Ici, une procédure est une instruction logicielle versionnée dont les préconditions et résultats doivent être contrôlés.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Procédure P=(préconditions, étapes, postconditions, version). Exécuter si les préconditions tiennent ; accepter seulement après vérification des postconditions.
Ce modèle explique le principe. Son implémentation et ses preuves sont décrites dans la source GenOS versionnée ; l'analogie scientifique ne les valide pas.
SCHÉMA ANIMÉ · MODÈLE INTERACTIF
01 / 03Explorer le mécanisme: Mémoire procédurale
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Conserver une procédure vérifiéeENTRÉE
02Comparer ses préconditionsMÉCANISME
03Exécuter sous politiqueISSUE SOUS CONDITIONS
Transition en cours · Étape 1Conserver une procédure vérifiée
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
ÉTAPES PROPRES AU CONCEPT
Du signal
au résultat.
Conserver une procédure vérifiée
La mémoire procédurale humaine concerne les habiletés apprises. Ici, une procédure est une instruction logicielle versionnée dont les préconditions et résultats doivent être contrôlés.
Comparer ses préconditions
Procédure P=(préconditions, étapes, postconditions, version). Exécuter si les préconditions tiennent ; accepter seulement après vérification des postconditions.
Exécuter sous politique
Pour Mémoire procédurale, cette issue découle du modèle ci-dessus seulement si ses hypothèses et le contrôle de résultat sont satisfaits.
RECHERCHE PRIMAIRE · MÉCANISME
Sources et
limites.
Episodic and semantic memory
Endel Tulving · Organization of Memory, pp. 381–403
Recherche primaire sur mémoire épisodique. Elle éclaire l'analogie avec Mémoire procédurale, sans valider l'implémentation GenOS.
Ouvrir la source ↗Acquisition of cognitive skill
John R. Anderson · Psychological Review 89(4), 369–406
Recherche primaire sur acquisition des habiletés procédurales. Elle éclaire l'analogie avec Mémoire procédurale, sans valider l'implémentation GenOS.
Ouvrir la source ↗Ces références expliquent le mécanisme ou la technologie d'origine ; elles ne constituent pas une preuve de fonctionnement de GenOS.
IMPLÉMENTATION ET PREUVES
Vérifier la portée de Mémoire procédurale.
Le schéma animé est pédagogique. La fiche source versionnée décrit l'implémentation ; les statuts ci-dessous indiquent sa maturité sans déduire un fonctionnement réel de l'analogie scientifique.
Implémentation : partielIntégration : appelablePreuve : tests unitairesSource GenOS versionnée ↗Code : backend/src/services/proceduralPersistenceService.js ↗Code : backend/src/services/agents/deterministicWorkerProcedures.js ↗Simulation numérique ciblée ↗