Miri - PDFSEARCH.IO - Document Search Engine

Miri
Results: 225

#	Item
41	MIRI MACH IN E INT ELLIGENCE R ESEARCH INS TITU TE Safety Engineering for Add to Reading List Source URL: intelligence.org Language: English - Date: 2013-02-20 15:32:37
42	“Loudness”: On priors over preference relations (Brief technical note) Benja Fallenstein and Nisan Stiennon May 2014 Abstract This is a quick writeup of a problem discussed at the May 2014 MIRI Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-30 19:13:30
43	MIRI MACH IN E INT ELLIGENCE R ESEARCH INS TITU TE A Comparison of Decision Algorithms Add to Reading List Source URL: intelligence.org Language: English - Date: 2013-04-29 07:41:11 Science Probability and statistics Statistical inference Bayesian network Networks Bayesian probability Graphical model Causal decision theory Decision theory Statistics Bayesian statistics Statistical models
44	MIRI MACH IN E INT ELLIGENCE R ESEARCH INS TITU TE AI Risk Bibliography 2012 Add to Reading List Source URL: intelligence.org Language: English - Date: 2013-05-29 12:47:25 Science Philosophy of artificial intelligence Transhumanists Futurology Computational neuroscience Friendly artificial intelligence Ben Goertzel Singularity Institute for Artificial Intelligence Strong AI Singularitarianism Time Future
45	MIRI MACH IN E INT ELLIGENCE R ESEARCH INS TITU TE Intelligence Explosion FAQ Add to Reading List Source URL: intelligence.org Language: English - Date: 2013-04-19 08:33:47
46	AAP2010 Report - updated site plan Add to Reading List Source URL: miri.ku.dk - Date: 2015-07-18 19:55:40
47	MIRI MACH IN E INT ELLIGENCE R ESEARCH INS TITU TE The Ethics of Artificial Intelligence Add to Reading List Source URL: intelligence.org Language: English - Date: 2013-02-20 15:40:31 Ethology Philosophy Computational neuroscience Artificial intelligence Philosophy of mind Strong AI Ethics of artificial intelligence Machine ethics Ethics Philosophy of artificial intelligence Science Emerging technologies
48	An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:37:06 Mathematics Z notation Zermelo–Fraenkel set theory Ordinal numbers Constructible universe Ordinal analysis Consistency Forcing Proof theory Mathematical logic Logic
49	MIRI MACH IN E INT ELLIGENCE R ESEARCH INS TITU TE Exploratory Engineering in AI Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-11-13 10:12:28 Cybernetics Neuroscience Singularitarianism Intelligent agent Strong AI Marcus Hutter Ben Goertzel Kristinn R. Thórisson Artificial intelligence Science Computational neuroscience
50	The 5-and-10 problem and the tiling agents formalism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written duri Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-06 13:55:10 Knowledge Logic Eliezer Yudkowsky Transhumanists Formalism Mathematical proof Vacuous truth Mathematical logic Mathematics Singularitarianism