Every indexed document

with varying degrees of mathematical rigor. Perhaps the most carefullywrought

others may feel no need for any such thing.

divergent definitions abound; Legg and Hutter

elegant formalism to capture all of its meanings. Even in

with all the imprecision and contextuality that this generally entails.

which in the context of the present agent model is a method for handling

which choose procedures to enact based on which ones are judged most likely

a significant fragment of agent intelligence boils down to estimating

for the case C is declarative this would be written as

stored in the same format as declarative knowledge

minimally containing ShortTermImportance (STI) and LongTermImportance

labeled hypergraph structure called the AtomSpace used to store declarative

where G is the space of goals mentioned above

where L is the set of expressions in some formal language

attentional (K Att ) and Intentional (K Int ). In Appendix ?? a category-theoretic model

and y is introduced as a single symbol to denote

µ) that gives the weight of a goal g in the context of

via adding memory actions drawn from a set M into the history of actions

denoted P. Agents can also experience rewards

which may affect the environment. Formally