{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:09:58Z","timestamp":1725858598798},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319416489"},{"type":"electronic","value":"9783319416496"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41649-6_20","type":"book-chapter","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T23:40:33Z","timestamp":1466898033000},"page":"202-211","source":"Crossref","is-referenced-by-count":0,"title":["Asymptotic Logical Uncertainty and the Benford Test"],"prefix":"10.1007","author":[{"given":"Scott","family":"Garrabrant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsvi","family":"Benson-Tilsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddharth","family":"Bhaskar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abram","family":"Demski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joanna","family":"Garrabrant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Koleszarik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evan","family":"Lloyd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,25]]},"reference":[{"unstructured":"Christiano, P.: Non-Omniscience, Probabilistic Inference, and Metamathematics. Technical report 2014\u20133. Berkeley, CA: Machine Intelligence Research Institute (2014). http:\/\/intelligence.org\/files\/Non-Omniscience.pdf","key":"20_CR1"},{"key":"20_CR2","first-page":"2179","volume":"471","author":"P Hennig","year":"2015","unstructured":"Hennig, P., Osborne, M.A., Girolami, M.: Probabilistic numerics and uncertainty in computations. Proc. Royal Soci. London A: Math. Phys. Eng. Sci. 471, 2179 (2015)","journal-title":"Proc. Royal Soci. London A: Math. Phys. Eng. Sci."},{"issue":"6","key":"20_CR3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/1993316.1993524","volume":"46","author":"NE Beckman","year":"2011","unstructured":"Beckman, N.E., Nori, A.V.: Probabilistic, modular andscalable inference of typestate specifications. ACM SIGPLAN Not. 46(6), 211\u2013221 (2011). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"20_CR4","volume-title":"Mathematics and Plausible Reasoning: Patterns ofplausible inference","author":"G Polya","year":"1968","unstructured":"Polya, G.: Mathematics and Plausible Reasoning: Patterns ofplausible inference, vol. 2. Princeton University Press, Princeton (1968)"},{"key":"20_CR5","first-page":"432","volume":"87","author":"R Parikh","year":"1987","unstructured":"Parikh, R.: Knowledge and the problem of logical omniscience. ISMIS 87, 432\u2013439 (1987)","journal-title":"ISMIS"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/B:SYNT.0000029944.99888.a7","volume":"140","author":"H Gaifman","year":"2004","unstructured":"Gaifman, H.: Reasoning with limited resources and assigning probabilities to arithmetical statements. Synthese 140, 97\u2013119 (2004). doi: 10.1023\/B:SYNT.0000029944.99888.a7","journal-title":"Synthese"},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0573-8555(06)80003-9","volume":"280","author":"M Cozic","year":"2006","unstructured":"Cozic, M.: Impossible states at work: Logicalomniscience and rational choice. Contrib. Econ. Anal. 280, 47\u201368 (2006)","journal-title":"Contrib. Econ. Anal."},{"doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Pucella, R.: Dealing with logical omniscience. In: Proceedings of the 11th Conference on Theoretical aspects of Rationality and Knowledge, pp. 169\u2013176. ACM (2007)","key":"20_CR8","DOI":"10.1145\/1324249.1324273"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-35506-6","volume-title":"Artificial General Intelligence","author":"A Demski","year":"2012","unstructured":"Demski, A.: Logical prior probability. In: Bach, J., Goertzel, B., Ikl\u00e9, M. (eds.) AGI 2012. LNCS, vol. 7716, pp. 50\u201359. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-35506-6"},{"unstructured":"Soares, N., Fallenstein, B.: Questions of Reasoning Under Logical Uncertainty. Technical report 2015\u20131. Berkeley, CA: MachineIntelligence Research Institute (2015). https:\/\/intelligence.org\/files\/QuestionsLogicalUncertainty.pdf","key":"20_CR10"},{"key":"20_CR11","doi-asserted-by":"crossref","DOI":"10.56021\/9780801869822","volume-title":"Algebra of Probable Inference","author":"RT Cox","year":"1961","unstructured":"Cox, R.T.: Algebra of Probable Inference. JHU Press, Baltimore (1961)"},{"issue":"3","key":"20_CR12","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/S0002-9947-1948-0028922-8","volume":"64","author":"A Horn","year":"1948","unstructured":"Horn, A., Tarski, A.: Measures in boolean algebras. Trans. Am. Math. Soci. 64(3), 467\u2013467 (1948). doi: 10.1090\/S0002-9947-1948-0028922-8 . http:\/\/www.ams.org\/journals\/tran\/1948-064-03\/S0002-9947-1948-0028922-8\/S0002-9947-1948-0028922-8.pdf","journal-title":"Trans. Am. Math. Soci."},{"issue":"1","key":"20_CR13","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.annemergmed.2010.11.022","volume":"48","author":"D Maharam","year":"1947","unstructured":"Maharam, D.: An algebraic characterization of measurealgebras. Ann. Math. 48(1), 154\u2013167 (1947). doi: 10.1016\/j.annemergmed.2010.11.022 . ISSN: 01960644","journal-title":"Ann. Math."},{"issue":"3","key":"20_CR14","doi-asserted-by":"crossref","first-page":"125","DOI":"10.4064\/cm-3-2-125-137","volume":"2","author":"J Lo\u015b","year":"1955","unstructured":"Lo\u015b, J.: On the axiomatic treatment of probability. Colloquium Math. 2(3), 125\u2013137 (1955)","journal-title":"Colloquium Math."},{"issue":"1","key":"20_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02759729","volume":"2","author":"H Gaifman","year":"1964","unstructured":"Gaifman, H.: Concerning measures in first order calculi. Israel J. Math. 2(1), 1\u201318 (1964). doi: 10.1007\/BF02759729","journal-title":"Israel J. Math."},{"issue":"1","key":"20_CR16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"NJ Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71\u201387 (1986)","journal-title":"Artif. Intell."},{"issue":"3","key":"20_CR17","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1305\/ndjfl\/1093870625","volume":"25","author":"T Hailperin","year":"1984","unstructured":"Hailperin, T., et al.: Probability logic. Notre Dame J. Formal Logic 25(3), 198\u2013212 (1984)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"4","key":"20_CR18","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1016\/j.jal.2013.03.003","volume":"11","author":"M Hutter","year":"2013","unstructured":"Hutter, M., et al.: Probabilities on sentences in anexpressive logic. J. Appl. Logic 11(4), 386\u2013420 (2013)","journal-title":"J. Appl. Logic"},{"doi-asserted-by":"crossref","unstructured":"Vovk, V.G.: Aggregating strategies. In: Proceedings of the Third Workshop on Computational Learning Theory, pp. 371\u2013383. Morgan Kaufmann (1990)","key":"20_CR19","DOI":"10.1016\/B978-1-55860-146-8.50032-1"},{"issue":"7","key":"20_CR20","doi-asserted-by":"crossref","first-page":"1959","DOI":"10.1109\/TIT.2002.1013136","volume":"48","author":"MJ Weinberger","year":"2002","unstructured":"Weinberger, M.J., Ordentlich, E.: On delayedprediction of individual sequences. Inf. Theor. IEEE Trans. 48(7), 1959\u20131976 (2002)","journal-title":"Inf. Theor. IEEE Trans."},{"issue":"1\u20132","key":"20_CR21","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0378-4371(00)00633-6","volume":"293","author":"L Pietronero","year":"2001","unstructured":"Pietronero, L., et al.: Explaining the uneven distribution ofnumbers in nature: the laws of Benford and Zipf. Physica A: Stat. Mech. Appl. 293(1\u20132), 297\u2013304 (2001). doi: 10.1016\/S0378-4371(00)00633-6 . ISSN: 03784371. eprint: 9808305","journal-title":"Physica A: Stat. Mech. Appl."},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0304-3975(86)90081-2","volume":"48","author":"K Ko","year":"1986","unstructured":"Ko, K.: On the notion of infinite pseudorandom sequences. Theor. Comput. Sci. 48, 9\u201333 (1986). doi: 10.1016\/0304-3975(86)90081-2 . ISSN:03043975","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"publisher","unstructured":"Downey, R.G., Hirschfeldt, D.R.: Algorithmicrandomness and complexity. Springer Science & Business Media (2010). ISBN: 9780387955674. doi: 10.4249\/scholarpedia.2574","key":"20_CR23","DOI":"10.4249\/scholarpedia.2574"},{"unstructured":"Garrabrant, S., et al.: Asymptotic Logical Uncertainty and TheBenford Test. Preprint (2015). arXiv: 1510.03370 [cs.LG]","key":"20_CR24"},{"issue":"4","key":"20_CR25","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/321356.321362","volume":"13","author":"FC Hennie","year":"1966","unstructured":"Hennie, F.C., Stearns, R.E.: Two-tape simulation ofmultitape Turing machines. J. ACM 13(4), 533\u2013546 (1966). doi: 10.1145\/321356.321362 . ISSN: 00045411","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Artificial General Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41649-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T22:17:01Z","timestamp":1718662621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41649-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319416489","9783319416496"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41649-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}