4
Shared Docs
4
Same-Page
4 / 4
Mentions
ki, hamar Arel, Mark Waser, Randal Koene, Paul Rosenbloom, Zhongzhi Shi, Steve Omohundro, Bill Hibbard, Eray Ozkural, Brandon Rohrer, Ben Johnston, John Laird, Shane Legg, Selmer Brin&sjord, Anders Sandberg, Alexei Samsonovich, Wlodek Duch, and more • The inimitable "Artilect Warrior" Hugo de Gans, who (w
h to Superhuman AGI 317 18.1 Introduction 317 18.2 Cognitive Schema Learning 318 18.3 Self-Modification via Supercompilation 319 18.3.1 Three Aspects of Supercompilation 321 18.3.2 Supercompilation for Goal-Directed Program Modification 322 18.4 Self-Modification via Theorem-Proving 323 A Glossary 325 A.1
October 2008. Some of the ideas also trace back to discussions held during two workshops on "Evaluation and Metrics for Human-Level Al" organized by John Laird and Pat Langley (one in Ann Arbor in late 2008, and one in Tempe in early 2009). Some of the conclu- sions of the Ann Arbor workshop were recorded i
summary. For an accessible overview of the supercompila- tion algorithm, the reader is referred to the article 'What is Supercompilation? Ui 18.3.1 Three Aspects of Supercompilation There are three separate levels to the supercompilation idea: first, a general philosophy; second a translation of this philosophy into a concrete
ski, Itamar Arel, Mark Waser, Randal Koene, Paul Rosenbloom, Zhongzhi Shi, Steve Omohundro, Bill Hibbard, Eray Ozkural, Brandon Rohrer, Ben Johnston, John Laird, Shane Legg, Selmer Bringsjord, Anders Sandberg, Alexei Samsonovich, Wlodek Duch, and more The inimitable "Artilect Warrior" Hugo de Garis, who (whe
Cognitive Schema Learning .......... 0.000 e cee eee eens 318 18.3 Self-Modification via Supercompilation ..............0..00 000 cee eee 319 18.3.1 Three Aspects of Supercompilation .............0..00 000022 eee eee ee 321 18.3.2 Supercompilation for Goal-Directed Program Modification............. 322 18.4 Self-Modification via T
October 2008. Some of the ideas also trace back to discussions held during two workshops on "Evaluation and Metrics for Human-Level AI" organized by John Laird and Pat Langley (one in Ann Arbor in late 2008, and one in Tempe in early 2009). Some of the conclu- sions of the Ann Arbor workshop were recorded in
ummary. For an accessible overview of the supercompila- tion algorithm, the reader is referred to the article “What is Supercompilation?” [1] 18.3.1 Three Aspects of Supercompilation There are three separate levels to the supercompilation idea: first, a general philosophy; second a translation of this philosophy into a concrete a
Entities connected to both John Laird and Three Aspects of Supercompilation

Joscha Bach
PERSON
Marvin Minsky
PERSON
Stephen Hawking
PERSON
Paul Rosenbloom
PERSON
Daniel Dennett
PERSONIndiana University
ORGANIZATION
Alan Dershowitz
PERSON
Moshe Looks
PERSONPush Singh
PERSONOpenCog
ORGANIZATION
Gino Yu
PERSONAtlantis Press
ORGANIZATIONThe Society of Mind
ORGANIZATIONArtificial General Intelligence
ORGANIZATIONCogPrime
ORGANIZATIONthe Webmind AI Engine
ORGANIZATION
Nils Nilsson
PERSON
Anders Sandberg
PERSON
Deheng Huang
PERSONGardner
PERSON