4
Shared Docs
4
Same-Page
4 / 10
Mentions
ic Logic Networks framework IGIGH08] utilized in CogPrime and explained further in the book, and other works in the "Progic" area such as [ll'W00J. Leslie Pack Kaelbling has synthesized low-level robotics methods (particle filtering) with logical inference 17.11071. Dozens of further examples could be given. The con
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
istic Logic Networks framework [GIGHO08] utilized in CogPrime and explained further in the book, and other works in the “Progic” area such as [WW06]. Leslie Pack Kaelbling has synthesized low-level robotics methods (particle filtering) with logical inference [ZPIX07|. Dozens of further examples could be given. The const
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
I. Alan Robinson and Andrei Voronkov. Handbook of Automated Reasoning. MIT Press, 2001. RZDK05. Michael Rosenstein. ZvikaMarx, Tom Dietterich, and Leslie Pack Kaelbling. Ttansfer learning with an ensemble of background tasks. NIPS workshop on inductive transfer, 2005. SA93. L. Shastri and V. Ajjanagadde. Rom simpl
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
VO1. Alan Robinson and Andrei Voronkov. Handbook of Automated Reasoning. MIT Press, 2001. RZDKO5. Michael Rosenstein, ZvikaMarx, Tom Dietterich, and Leslie Pack Kaelbling. Transfer learning with an ensemble of background tasks. NIPS workshop on inductive transfer, 2005. SA93. L. Shastri and V. Ajjanagadde. From simple
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
Entities connected to both Leslie Pack Kaelbling and OpenCog

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
PERSON
Ray Kurzweil
PERSONMindAgents
PERSONArtificial General Intelligence
ORGANIZATION
Shane Legg
PERSON
Linas Vepstas
PERSON