Epstein Secrets

HOE Higher-Order Inference • HOPLN: Higher-Order PLN • HR: Historical Repository (in a GOLEM context) • HTM: Hierarchical Temporal Memory • IA: (Allen) Interval Algebra (an algebra of temporal intervals) • IRC: Imitation / Reinforcement Correction (Learning) • LIFES: Learning-Integrated Feature S

Leg06b. Shane Legg. Unprovability of friendly ai. Vetta Project, 2006. ht tp: / /www vette.org/2006/ 09/unprovability -of -friendly -ai/. LG90. Douglas Lenat and R. V. Cuba. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley, 1990. LH07a. Shane Legg a

amming HOI: Higher-Order Inference HOPLN: Higher-Order PLN HR: Historical Repository (in a GOLEM context) HTM: Hierarchical Temporal Memory IA: (Allen) Interval Algebra (an algebra of temporal intervals) IRC: Imitation / Reinforcement / Correction (Learning) LIFES: Learning-Integrated Feature Sele

nk. pdf. Leg06b. Shane Legg. Unprovability of friendly ai. Vetta Project, 2006. http: //www.vetta.org/2006/ 09/unprovability-of-friendly-ai/. LG90. Douglas Lenat and R. V. Guha. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley, 1990. LH07a. Shane Legg and

suo; Node, Itsuki; Osawa, Eiichi; and Matsubara, Hitoshi. 1997. RoboCup: A Challenge problem for Al. Al Magazine, 18(1):73-85. Laird, John; Newell, Allen; and Rosenbloom, Paul 1987. SOAR: An Architecture for General Intelligence. AI Journal, 33(1):1-64. Lenat, Doug. 1995. CYC: A Large-scale Investmen

following participants: Larry Birnbaum (Northwestern University), Ken Forbus (Northwestern University), Ben Kuipen (University of Texas at Austin), Douglas Lenat (Cycorp), Henry Lieberman (Massachusetts Institute of Technology), Henry Minsky (Laszlo Systems), Marvin Minsky (Massachusetts Institute of Technol