3
Shared Docs
3
Same-Page
3 / 3
Mentions
ata 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 a simple form of abductive inference. But OpenCog may also carry out abdu
sed to place Combo programs in Elegant Normal Form, which increases the level of syntax-semantics corellation between them. The programs in a single MOSES deme are often closely enough clustered together that they have reasonably high syntax-semantics correlation. • System Activity Table: An OpenCog compo
ata 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 a simple form of abductive inference. But OpenCog may also carry out abdu
sed to place Combo programs in Elegant Normal Form, which increases the level of syntax-semantics corellation between them. The programs in a single MOSES deme are often closely enough clustered together that they have reasonably high syntax-semantics correlation. • System Activity Table: An OpenCog compo
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 a simple form of abductive inference. But OpenCog may also carry out abduct
used to place Combo programs in Elegant Normal Form, which increases the level of syntax-semantics corellation between them. The programs in a single MOSES deme are often closely enough clustered together that they have reasonably high syntax-semantics correlation. e System Activity Table: An OpenCog compone
Entities connected to both First-Order PLN and MOSES deme
Goal-Oriented LEarning Meta
ORGANIZATIONHistorical Repository
ORGANIZATIONNon-Axiomatic Reasoning System
ORGANIZATIONBoolean SATisfaction
ORGANIZATIONHebbian Learning
ORGANIZATIONChainer
ORGANIZATION
Ray Kurzweil
PERSONOpenCog/PLN TruthValue
ORGANIZATIONan Indefinite Truth Value
ORGANIZATIONContextLink USA
ORGANIZATIONSandra Blakeslee
PERSONReduct
ORGANIZATIONC. Lebiere
PERSON
George Lakoff
PERSONAllen Interval Algebra
ORGANIZATIONOperational
ORGANIZATIONSleator and Temperley
ORGANIZATION
Marvin Minsky
PERSONthe OpenCog Core
ORGANIZATIONFirst-Order
ORGANIZATION