Contents xix 18 Advanced Self-Modification: A Possible Path to Superhuman AGI........ 317 181 JtPOdUMCHIOM, «225 se2ms emtms Cae@3 EM EeE 4S 8@ERE POEMS Stes eMems eMEws dates cas BLT 18.2 Cognitive Schema Learning .......... 00.00 c ec eee eee eee JLB 18.3 Self-Modification via Supercompilation .................00 200000 e ee eee ee BID 18.3.1 Three Aspects of Supercompilation .....................0.000-20-... 321 18.3.2 Supercompilation for Goal-Directed Program Modification ............. 322 18.4 Self-Modification via Theorem-Proving ........... 0.00 eee eee eee 823 A Glossary .......000 0000 ttt nett ee eee 325 A.1 List of Specialized Acronyms...........0..00 0000 cece eee eee O25 A.2 Glossary of Specialized Terms ........0.... 0.00. eee ees B26 References 2.0... ete eeteeteeeeeeee G43 HOUSE_OVERSIGHT_012915