Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Universal Convergence of Semimeasures on Individual Random Sequences

Request a Copy

link to publisher version

Hutter, Marcus; Muchnik, Andrej

Description

Solomonoff's central result on induction is that the posterior of a universal semimeasure M converges rapidly and with probability 1 to the true sequence generating posterior μ, if the latter is computable. Hence, M is eligible as a universal sequence pr

dc.contributor.authorHutter, Marcus
dc.contributor.authorMuchnik, Andrej
dc.coverage.spatialPadova Italy
dc.date.accessioned2015-12-10T22:42:55Z
dc.date.createdOctober 2-5 2004
dc.identifier.isbn3540233563
dc.identifier.urihttp://hdl.handle.net/1885/57996
dc.description.abstractSolomonoff's central result on induction is that the posterior of a universal semimeasure M converges rapidly and with probability 1 to the true sequence generating posterior μ, if the latter is computable. Hence, M is eligible as a universal sequence pr
dc.publisherSpringer
dc.relation.ispartofseriesInternational Conference on Algorithmic Learning Theory (ALT 2004)
dc.rightsCopyright Information: © Springer-Verlag Berlin Heidelberg 2004. http://www.sherpa.ac.uk/romeo/issn/0302-9743/..."Author's post-print on any open access repository after 12 months after publication" from SHERPA/RoMEO site (as at 1/09/15).
dc.sourceAlgorithmic Learning Theory: 15th International Conference, ALT 2004, Pedova, Italy, October 2004, Proceedings
dc.source.urihttp://www.informatik.uni-trier.de/~ley/db/conf/alt/alt2004.html
dc.source.urihttp://springerlink.metapress.com/content/6y7khqm1uj09593p/fulltext.pdf
dc.subjectKeywords: Computational complexity; Convergence of numerical methods; Function evaluation; Markov processes; Probability; Set theory; Theorem proving; Hellinger distance; Kolmogorov complexity; Random sequences; Semimeasures; Random processes
dc.titleUniversal Convergence of Semimeasures on Individual Random Sequences
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2004
local.identifier.absfor080299 - Computation Theory and Mathematics not elsewhere classified
local.identifier.ariespublicationu8803936xPUB423
local.type.statusPublished Version
local.contributor.affiliationHutter, Marcus, College of Engineering and Computer Science, ANU
local.contributor.affiliationMuchnik, Andrej, Institute of New Technologies
local.description.embargo2037-12-31
local.bibliographicCitation.startpage234
local.bibliographicCitation.lastpage248
dc.date.updated2016-02-24T11:44:56Z
local.identifier.scopusID2-s2.0-22944481175
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Hutter_Universal_Convergence_of_2004.pdf256.4 kBAdobe PDF    Request a copy
Show simple item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator