Every indexed document

that transforms appropriate Atoms into words connected via

Realized: An Atom that exists in RAM at a certain point in time.

others are components of representations.

intended for AGIs to learn in via interacting with the

which embodies a simple form of abductive inference. But OpenCog may

a specific First-Order PLN rule (If A implies C

as a mathematical / computational problem

it means that truly advanced self-modification is

and for the peculiar creativity that is contributed when

including complex algorithms on which computer science professors might

not the sort that many human mathematicians enjoy proving or reading. But of

theorems about the spacetime complexity and accuracy of particular

supercompilation can potentially do that most excellently.

or even for greater effectiveness at achieving

and varying them may lead to significantly different

and CogPrime cognition for modifying decision

may be used by CogPrime cognition in order to do so. One

and otherwise cognized. Supercompilation pure

and the Ni are schemata corresponding to other nodes of the

or deleting redundant subtrees. Configuration