3
Shared Docs
3
Same-Page
3 / 3
Mentions
ion if the collection of programs is operating within a region of program space where syntax-semantics correlation holds to a reasonable degree. The Reduct library, is used to place programs into ENF. EFTA00624663 A.2 Glossary of Specialized Terms 517 • Embodied Communication Prior: The class of pr
in component of a TruthValue object, lying in the interval I0,1J, refer- ring either to a probability (in cases like InheritanceLink, SimilarityLink, EquivalenceLink, ImplicationLink, etc.) or a fuzzy value (as in MemberLink, EvaluationLink). • Strong Self-Modification: This is generally used as synonymous with
ion if the collection of programs is operating within a region of program space where syntax-semantics correlation holds to a reasonable degree. The Reduct library, is used to place programs into ENF. EFTA00624106 A.2 Glossary of Specialized Terms 331 • Embodied Communication Prior: The class of pr
in component of a TruthValue object, lying in the interval I0,1J, refer- ring either to a probability (in cases like InheritanceLink, SimilarityLink, EquivalenceLink, ImplicationLink, etc.) or a fuzzy value (as in MemberLink, EvaluationLink). • Strong Self-Modification: This is generally used as synonymous with
tion if the collection of programs is operating within a region of program space where syntax-semantics correlation holds to a reasonable degree. The Reduct library is used to place programs into ENF. HOUSE_OVERSIGHT_013246 Glossary of Specialized Terms 331 Embodied Communication Prior: The class of pr
in component of a TruthValue object, lying in the interval [0,1], refer- ring either to a probability (in cases like InheritanceLink, SimilarityLink, EquivalenceLink, ImplicationLink, etc.) or a fuzzy value (as in MemberLink, EvaluationLink). Strong Self-Modification: This is generally used as synonymous with Sel
Entities connected to both Reduct and EquivalenceLink
Goal-Oriented LEarning Meta
ORGANIZATIONHistorical Repository
ORGANIZATIONNon-Axiomatic Reasoning System
ORGANIZATIONBoolean SATisfaction
ORGANIZATIONFirst-Order PLN
ORGANIZATIONHebbian Learning
ORGANIZATIONChainer
ORGANIZATION
Ray Kurzweil
PERSONOpenCog/PLN TruthValue
ORGANIZATIONan Indefinite Truth Value
ORGANIZATIONContextLink USA
ORGANIZATIONSandra Blakeslee
PERSONC. Lebiere
PERSON
George Lakoff
PERSONAllen Interval Algebra
ORGANIZATIONOperational
ORGANIZATIONSleator and Temperley
ORGANIZATION
Marvin Minsky
PERSONthe OpenCog Core
ORGANIZATIONFirst-Order
ORGANIZATION