Reusable instructions or action sequences represented as runtime knowledge.
36 · Memory & Learning
Procedural memory
in GenOS.
Reusable instructions or action sequences represented as runtime knowledge.
DEFINITION AND SCIENCE
What it means
in GenOS.
Procedural memory in cognitive science concerns learned skills and action sequences. Here a procedure is a versioned software instruction with preconditions and outcome checks; storing it does not prove skill acquisition.
Reusable instructions or action sequences represented as runtime knowledge.
Represent procedure P=(preconditions, steps, postconditions, version). Permit invocation only if preconditions hold; accept success only if postconditions are independently checked.
ANIMATED DIAGRAM · INTERACTIVE MODEL
01 / 03Explore the mechanism: Procedural memory
A qualitative teaching model of this concept. It does not run GenOS or validate its implementation.
01Capture a verified procedureINPUT
02Match its preconditionsMECHANISM
03Execute under policyCONDITIONAL OUTCOME
Current transition · Step 1Capture a verified procedure
The modeled transition may proceed. Change the assumption and move through the stages to inspect the decision path.
PROCESS AND USE
How it works
at a glance.
Capture a verified procedure
Reusable instructions or action sequences represented as runtime knowledge.
Match its preconditions
Represent procedure P=(preconditions, steps, postconditions, version). Permit invocation only if preconditions hold; accept success only if postconditions are independently checked.
Execute under policy
Execute under policy. Procedural memory in cognitive science concerns learned skills and action sequences. Here a procedure is a versioned software instruction with preconditions and outcome checks; storing it does not prove skill acquisition.
RUNTIME IMPLEMENTATION
What is connected,
and how far.
The linked, versioned GenOS source defines this concept's supported operations and limits. The status axes describe the implementation and evidence recorded for this entry; they do not establish general mission success, scientific equivalence or behavior beyond that scope.
Some reusable procedures and procedural memory services are executable; the page's memory analogy does not establish human-like recall.
Failure modes have not yet been separately cataloged for this entry; follow the source and evidence links before relying on the mechanism.
PRIMARY RESEARCH · MECHANISM LEVEL
The mechanism
behind the analogy.
Episodic and semantic memory
Endel Tulving · Organization of Memory, pp. 381–403
Introduces the distinction used as a vocabulary for contextual episodes and generalized facts; it does not establish that software records have human recollective experience.
Open publication ↗Acquisition of cognitive skill
John R. Anderson · Psychological Review 89(4), 369–406
Primary cognitive model of skill acquisition. A stored GenOS procedure is not evidence of human-like skill learning.
Open publication ↗Primary research describes the cited mechanism; specific technologies may instead cite their original technical documentation. These sources provide context and do not validate the GenOS implementation.
EVIDENCE AND LIMITS
Scope and validation boundaries
The linked, versioned GenOS source defines this concept's supported operations and limits. The status axes describe the implementation and evidence recorded for this entry; they do not establish general mission success, scientific equivalence or behavior beyond that scope.