320 18 Advanced Self-Modification: A Possible Path to Superhuman AGI
Epstein Suite indexes the text; the original document lives at its official source. We don't host the original file — view it on the official release to read it in full.
View the original on the official releaseDocument text
Text is machine OCR and may contain errors. Confirm against the original source above.
320 18 Advanced Self-Modification: A Possible Path to Superhuman AGI
Fido implication — Dog implication Nice
PLN Deduction Rule
(hard-coded in C++
or Python)
; (8)
Fido. : —— > Nice
implication
- implication i icati
N PLN is a set Fido P = Dog Dog bal ee Nice
of Schema Nodes
that can modify the
Atomspace, including
modifying PLN rules
via their declarative AND
versions
Declarative
representation of
PLN deduction rule
in atomspace
Execution Output Link
%,
‘.
Schema Node
PLN deduction
Rule
List
MOSES can learn
new versions of
the PLN deduction rule
2
Ane, Fido 2 Nice
* (8)
PLN deduction rule
Represented as a program
Tree in the Procedure Repository ()
Fig. 18.1: Representation of PLN Deduction Rule as Cognitive Content. Top: the
current, hard-coded representation of the deduction rule. Bottom: representation of the same
rule in the Atomspace as cognitive content, susceptible to analysis and improvement by the
system’s own cognitive processes.
Furthermore, we suspect that the internal representation of programs used for supercompila-
tion is highly relevant for other kinds of self-modification as well. Supercompilation requires one
kind of reasoning on complex programs, and goal-directed program creation requires another,
but both, we conjecture, can benefit from the same way of looking at programs.
HOUSE_OVERSIGHT_013236
Have a question about what this document contains?
Ask the documents