Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Benja Fallenstein"'
Autor:
Nate Soares, Benja Fallenstein
Publikováno v:
Artificial General Intelligence ISBN: 9783319213644
AGI
AGI
This paper motivates the study of counterpossibles logically impossible counterfactuals as necessary for developing a decision theory suitable for generally intelligent agents embedded within their environments. We discuss two attempts to formalize a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17bb9a32c9e346b209b6d7bd06d28fcc
https://doi.org/10.1007/978-3-319-21365-1_17
https://doi.org/10.1007/978-3-319-21365-1_17
Autor:
Benja Fallenstein, Ramana Kumar
Publikováno v:
Interactive Theorem Proving ISBN: 9783319221014
We present a reflection principle of the form “If \(\ulcorner \varphi \urcorner \) is provable, then \(\varphi \)” implemented in the HOL4 theorem prover, assuming the existence of a large cardinal. We use the large-cardinal assumption to constru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb5d22ccfcf59c7d80266af32a4d801d
https://doi.org/10.1007/978-3-319-22102-1_11
https://doi.org/10.1007/978-3-319-22102-1_11
Publikováno v:
Logic, Rationality, and Interaction ISBN: 9783662485606
LORI
LORI
Game theory treats players as special: A description of a game contains a full, explicit enumeration of all players. This isn’t a realistic assumption for autonomous intelligent agents. In this paper, we propose a framework in which agents and thei
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe0ecefa24cf5a962155f70c29571090
https://doi.org/10.1007/978-3-662-48561-3_34
https://doi.org/10.1007/978-3-662-48561-3_34
Publikováno v:
Artificial General Intelligence ISBN: 9783319213644
AGI
AGI
Solomonoff induction and AIXI model their environment as an arbitrary Turing machine, but are themselves uncomputable. This fails to capture an essential property of real-world agents, which cannot be more powerful than the environment they are embed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10811c525936d188d5c4fa0f415e9413
https://doi.org/10.1007/978-3-319-21365-1_7
https://doi.org/10.1007/978-3-319-21365-1_7
Autor:
Nate Soares, Benja Fallenstein
Publikováno v:
Artificial General Intelligence ISBN: 9783319092737
AGI
AGI
By considering agents to be a part of their environment, Orseau and Ring’s space-time embedded intelligence [10] is a better fit to the real world than the traditional agent framework. However, a self-modifying AGI that sees future versions of itse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0f3f2cad8970cfd5d5f7faf059e143f
https://doi.org/10.1007/978-3-319-09274-4_3
https://doi.org/10.1007/978-3-319-09274-4_3
Autor:
Tim W, Fawcett, Benja, Fallenstein, Andrew D, Higginson, Alasdair I, Houston, Dave E W, Mallpress, Pete C, Trimmer, John M, McNamara
Publikováno v:
Trends in cognitive sciences. 18(3)
Models and experiments on adaptive decision-making typically consider highly simplified environments that bear little resemblance to the complex, heterogeneous world in which animals (including humans) have evolved. These studies reveal an array of s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::505c56a588f601d9e7b1af9b896ebc88
https://pubmed.ncbi.nlm.nih.gov/24467913
https://pubmed.ncbi.nlm.nih.gov/24467913
Autor:
Benja Fallenstein, Tuomas J. Lukka
Publikováno v:
Hypertext
We discuss the use of Freenet-like content hash GUIDs as a primitive for implementing the Xanadu model in a peer-to-peer framework. Our current prototype is able to display the implicit connection (transclusion) between two different references to th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d85b7e5087c91e18b14c68907d2d25d
https://doi.org/10.1145/513338.513386
https://doi.org/10.1145/513338.513386