t formalism @ an injective mapping Ornz : Kinz > G, where G is the space of goals mentioned above e an injective mapping O4au : Kini U Kap 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-s