Every indexed document

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

we propose them as an interesting way of thinking about general

and we do not propose them as constituting a well-demonstrated theory

and we expect will have more general value in future.

which has been useful in guiding development of the

Appendix ?? explores an additional theoretical direction

” based on a formal model of intelligent agents. These formalizations