4
Shared Docs
4
Same-Page
4 / 4
Mentions
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 List of Specialized Acronyms 325 A.2 Glossary of Specialized Terms 326 References 343 EFTA006
2 Elements of Preschool Design 291 16.3 Elements of Preschool Curriculum 292 16.3.1 Preschool in the Light of Intelligence Theory 293 16.4 Task-Based Assessment in AGI Preschool 295 16.5 Beyond Preschool 298 16.6 Issues with Virtual Preschool Engineering 298 16.6.1 Integrating Virtual Worlds with
cision graph looks like: Input: List L Output: List If ( P1 (L) ) N1(L) Else If ( P2 (L) ) N2 (L) Else If ( Pk (L) ) Nk(L) EFTA00624098 18.4 Self-Modification via Theorem-Proving 323 where the Pi are predicates, and the Ni are schemata corresponding to other nodes of the decision graph (children of the c
centers are designed as microcosms of the most important aspects of the environments faced by humans in their everyday lives. EFTA00624070 16.4 Task-Based Assessment in AC1 Preschool 295 16.4 Task-Based Assessment in AGI Preschool Professional pedagogues such as IC.N107I discuss evaluation of early childhood le
cts of Supercompilation .............0..00 000022 eee eee ee 321 18.3.2 Supercompilation for Goal-Directed Program Modification............. 322 18.4 Self-Modification via Theorem-Proving ........... 0.00 eee eee eee 323 A Glossary ..... 0.00000 tne teen eee 325 A.1 List of Specialized Acronyms.........0.. 00 0c ce
s of Preschool Curriculum ........0... 00000 c eee eee eee 292 16.3.1 Preschool in the Light of Intelligence Theory ....................0-. 293 16.4 Task-Based Assessment in AGI Preschool ............0 0.00 cece ee eee 295 16.5 Beyond Preschool ......... 00... eee ete teens 298 16.6 Issues with Virtual Preschool Engine
nt decision graphs. The decision graph leading to maximal optimization, may not be the one that leads CogPrime cognition in optimal directions. 18.4 Self-Modification via Theorem-Proving Supercompilation is a potentially very valuable tool for self-modification. If one wants to take an existing schema and graduall
s are designed as microcosms of the most important aspects of the environments faced by humans in their everyday lives. HOUSE_OVERSIGHT_013210 16.4 Task-Based Assessment in AGI Preschool 295 16.4 Task-Based Assessment in AGI Preschool Professional pedagogues such as [CMO07] discuss evaluation of early childhood lear
Entities connected to both Self-Modification and Task-Based Assessment

Prince Andrew
PERSON
Michael Douglas
PERSONArtificial General Intelligence
ORGANIZATION
George W. Bush
PERSONthe Webmind AI Engine
ORGANIZATIONOpenCog
ORGANIZATION
Predrag Janicic
PERSON
Marc Rich
PERSON
Shane Legg
PERSON
Marvin Minsky
PERSON
Stephen Hawking
PERSON
Joscha Bach
PERSONCassio Pennachin
PERSONDeSTIN
ORGANIZATIONHebbian Learning
ORGANIZATION
Gino Yu
PERSONCogPrime
ORGANIZATIONNil Geisweiller
PERSONThe Society of Mind
ORGANIZATIONElements of Preschool Design
ORGANIZATION