4
Shared Docs
4
Same-Page
10 / 4
Mentions
g used as the basis for an open-source software project called OpenCog, which is being worked on by software developers around the world. Right now OpenCog embodies only a percentage of the overall CogPrime design as described here. But if OpenCog continues to attract sufficient funding or volunteer in
the ideas presented here are not mere armchair speculation - they are currently being used as the basis for an open-source software project called OpenCog, which is being worked on by software developers around the world. Right now OpenCog embodies only a percentage of the overall CogPrime design as d
validated or refuted via practice. (As a related note: here and there in this book, we will refer to the "current" CogPrime implementation (in the OpenCog framework); in all cases this refers to OpenCog as of late 2013.) To state one believes one knows a workable path to creating a human-level (and po
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
ing used as the basis for an open-source software project called OpenCog, which is being worked on by software developers around the world. Right now OpenCog embodies only a percentage of the overall CogPrime design as described here. But if OpenCog continues to attract sufficient funding or volunteer inte
at the ideas presented here are not mere armchair speculation — they are currently being used as the basis for an open-source software project called OpenCog, which is being worked on by software developers around the world. Right now OpenCog embodies only a percentage of the overall CogPrime design as des
be validated or refuted via practice. (As a related note: here and there in this book, we will refer to the "current" CogPrime implementation (in the OpenCog framework); in all cases this refers to OpenCog as of late 2013.) To state one believes one knows a workable path to creating a human-level (and pot
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
zed Terms • Abduction: A general form of inference that goes from data describing something to a hypothesis that accounts for the data. Often in an OpenCog context, this refers to the PLN abduction rule, a specific First-Order PLN rule (If A implies C, and B implies C, then maybe A is B), which embodie
bility. EFTA00624100 Appendix A Glossary A.1 List of Specialized Acronyms This includes acronyms that are commonly used in discussing CogPrime, OpenCog and related ideas, plus sonic that occur here and there in the text for relatively ephemeral reasons. • AA: Attention Allocation • ADF: Automatica
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
HOUSE_OVERSIGHT_013240 Appendix A Glossary A.1 List of Specialized Acronyms This includes acronyms that are commonly used in discussing CogPrime, OpenCog and related ideas, plus some that occur here and there in the text for relatively ephemeral reasons. AA: Attention Allocation ADF: Automatically De
alized Terms Abduction: A general form of inference that goes from data describing something to a hypothesis that accounts for the data. Often in an OpenCog context, this refers to the PLN abduction rule, a specific First-Order PLN rule (If A implies C, and B implies C, then maybe A is B), which embodies
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 OpenCog and Three Aspects of Supercompilation

Jeffrey Epstein
PERSON
Joscha Bach
PERSON
Marc Rich
PERSONNovamente LLC
ORGANIZATION
Xiamen
LOCATIONDeSTIN
ORGANIZATIONCogPrime
ORGANIZATION
Novamente
ORGANIZATION
Marvin Minsky
PERSON
Itamar
PERSONConceptNodes
ORGANIZATION
George W. Bush
PERSONCassio Pennachin
PERSON
Joel Pitt
PERSON
Stephen Hawking
PERSONNil Geisweiller
PERSON
Ray Kurzweil
PERSON
Linas Vepstas
PERSON
Shane Legg
PERSONArtificial General Intelligence
ORGANIZATION