132 7 A Formal Model of Intelligent Agents 7.2.2 Memory Stores As well as goals, we introduce into the model a long-term memory and a workspace. Regarding long-term memory we assume the agent’s memory consists of multiple memory stores corre- sponding to various types of memory, e.g.: procedural (Kp,o.), declarative (K pec), episodic (Kp,), attentional (A’4%) and Intentional (K7,;). In Appendix ?? a category-theoretic model of these memory stores is introduced; but for the moment, we need only assume the existence of e an injective mapping Op, : Kp, + H where H is the space of fuzzy sets of subhistories (subhistories being “episodes” in this formalism) ® an injective mapping Op;oc: K proce X M x W > A, where M is the set of memory states, W is the set of (observation, goal, reward) triples, and A is the set of actions (this maps each procedure object into a function that enacts actions in the environment or memory, based on the memory state and current world-state) ® an injective mapping Opec : Kpee — L, where L is the set of expressions in some formal lan- guage (which may for example be a logical language), which possesses words corresponding to the observations, goals, reward values and actions in our agent formalism ® an injective mapping Orn : Krnz G, where G is the space of goals mentioned above e an injective mapping O4u : Kini U Kep U K proc U Kee — V, where Y is the space of “attention values” (structures that gauge the importance of paying attention to an item of knowledge over various time-scales or in various contexts) We also assume that the vocabulary of actions contains memory-actions corresponding to the operations of inserting the current observation, goal, reward or action into the episodic and/or declarative memory store. And, we assume that the activity of the agent, at each time-step, includes the enaction of one or more of the procedures in the procedural memory store. If several procedures are enacted at once, then the end result is still fo