Every indexed document

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

have been very helpful in guiding our concrete work on the CogPrime design.

pragmatically useful ""general theory of general intelligence

from broad mathematical models of general

allowing the derivation and analysis of specific structures and

serving more as conceptual models in mathematical form.

where the latter tend to form between ConceptNodes

constituting procedural knowledge. The upper left shows declarative nodes and

in the sense that they operate by observing certain

action and linguistic. Intervening between these

in cases where the probability of C 1 ∧ P → G is

maybe asking Bob for food will be successful too.

allows the virtual dog to reason that if asking Bob

mapped into declarative knowledge and then acted on by PLN inference

the context C is “being with Bob”) will achieve the goal G of getting food