3
Shared Docs
3
Same-Page
3 / 3
Mentions
nd Jon Williamson. Combining argumentation and bayesian nets for breast cancer prognosis. Journal of Logic, Language and Information, 2006. Yud04. Eliezer Yudkowsky. Coherent extrapolated volition. Singularity Institute for Al, 2004. http: //singinst.org/upload/CEV.html. Yud06. Eliezer Yudkowsky. What is frien
ent and/or interesting sub-hypergraphs in the Atomspace. • First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order function.s. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. EFTA0062
p individual humans grow in a variety of directions, including directions leading beyond "legacy humanity," according to their own taste and choice. Eliezer Yudkowsky has introduced the term "Friendly AI", to refer to advanced AGI systems that act with human benefit in mind [Yud06]. Exactly what this means has not
sibility of using higher- order logical links to join predicates without any explicit variables. Via using this format exclu- sively, one could avoid VariableAtoms entirely, using only higher-order functions in the manner HOUSE_OVERSIGHT_013168 13.3 Atoms: Their Types and Weights 253 of pure functional progra
and Jon Williamson. Combining argumentation and bayesian nets for breast cancer prognosis. Journal of Logic, Language and Information, 2006. Yud04. Eliezer Yudkowsky. Coherent extrapolated volition. Singularity Institute for Al, 2004. http: //singinst.org/upload/CEV.html. Yud06. Eliezer Yudkowsky. What is friendl
equent and/or interesting sub-hypergraphs in the Atomspace. First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order functions. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. HOUSE_OVER
Entities connected to both Eliezer Yudkowsky and VariableAtoms

Woody Allen
PERSON
Marc Rich
PERSON
Stephen Hawking
PERSON
George W. Bush
PERSON
Michael Douglas
PERSON
Nick Bostrom
PERSONCogPrime
ORGANIZATIONConceptNodes
ORGANIZATIONCourtney Wild
PERSONOpenCog
ORGANIZATION
Lawrence Krauss
PERSON
Gerald Edelman
PERSON
Thomas Metzinger
PERSON
Vicky Ward
PERSONthe Truth Value
ORGANIZATION
Jean Piaget
PERSONHebbian Learning
ORGANIZATIONAllen Interval Algebra
ORGANIZATIONthe Art of Motorcycle Maintenance
ORGANIZATION
Marvin Minsky
PERSON