{ localUrl: '../page/solomonoff_induction.html', arbitalUrl: 'https://arbital.com/p/solomonoff_induction', rawJsonUrl: '../raw/11w.json', likeableId: 'definition_meta_tag', likeableType: 'page', myLikeValue: '0', likeCount: '3', dislikeCount: '0', likeScore: '3', individualLikes: [ 'RokResnik', 'EricBruylant', 'EliezerYudkowsky' ], pageId: 'solomonoff_induction', edit: '4', editSummary: '', prevEdit: '3', currentEdit: '4', wasPublished: 'true', type: 'wiki', title: 'Solomonoff induction', clickbait: 'A simple way to superintelligently predict sequences of data, given unlimited computing power.', textLength: '1697', alias: 'solomonoff_induction', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'EliezerYudkowsky', editCreatedAt: '2015-12-30 04:05:19', pageCreatorId: 'EliezerYudkowsky', pageCreatedAt: '2015-08-05 04:08:11', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '1711', text: 'Solomonoff induction is an ideal answer to questions like "What probably comes next in the sequence 1, 1, 2, 3, 5, 8?" or "Given the last three years of visual data from this webcam, what will this robot probably see next?" or "Will the sun rise tomorrow?" Solomonoff induction requires infinite computing power, and is defined by taking every computable algorithm for giving a probability distribution over future data given past data, weighted by their [5v algorithmic simplicity], and [updating those weights](BayesRule-1) by comparison to the actual data.\n\nE.g., somewhere in the ideal Solomonoff distribution is an exact copy of *you, right now*, staring at a string of 1s and 0s and trying to predict what comes next - though this copy of you starts out with a very low weight in the mixture owing to its complexity. Since a copy of you is present in this mixture of computable predictors, we can prove a theorem about how well Solomonoff induction does compared to an exact copy of you; namely, Solomonoff induction commits only a bounded amount of error relative to you, or any other computable way of making predictions. Solomonoff induction is thus a kind of perfect or rational ideal for probabilistically predicting sequences, although it cannot be implemented in reality due to requiring infinite computing power. Still, considering Solomonoff induction can give us important insights into how non-ideal reasoning should operate in the real world.\n\nAdditional reading:\n\n- https://en.wikipedia.org/wiki/Solomonoff%27s_theory_of_inductive_inference\n- http://lesswrong.com/lw/dhg/an_intuitive_explanation_of_solomonoff_induction/\n- http://wiki.lesswrong.com/wiki/Solomonoff_induction', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '2', maintainerCount: '1', userSubscriberCount: '0', lastVisit: '2016-02-18 08:07:05', hasDraft: 'false', votes: [], voteSummary: [ '0', '0', '0', '0', '0', '0', '0', '0', '0', '0' ], muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'true', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: { Summary: 'Solomonoff induction is an ideal answer to questions like "What probably comes next in the sequence 1, 1, 2, 3, 5, 8?" or "Given the last three years of visual data from this webcam, what will this robot probably see next?" or "Will the sun rise tomorrow?" Solomonoff induction requires infinite computing power, and is defined by taking every computable algorithm for giving a probability distribution over future data given past data, weighted by their [5v algorithmic simplicity], and [updating those weights](BayesRule-1) by comparison to the actual data.' }, creatorIds: [ 'EliezerYudkowsky', 'AlexeiAndreev' ], childIds: [ '1hh' ], parentIds: [ 'unbounded_analysis', 'inductive_prior' ], commentIds: [ '22l', '8pr' ], questionIds: [], tagIds: [ 'start_meta_tag' ], relatedIds: [], markIds: [], explanations: [ { id: '5825', parentId: 'solomonoff_induction', childId: 'solomonoff_induction', type: 'subject', creatorId: 'AlexeiAndreev', createdAt: '2016-08-02 16:55:21', level: '1', isStrong: 'true', everPublished: 'true' } ], learnMore: [ { id: '2246', parentId: 'solomonoff_induction', childId: '1hh', type: 'subject', creatorId: 'AlexeiAndreev', createdAt: '2016-06-17 21:58:56', level: '2', isStrong: 'false', everPublished: 'true' } ], requirements: [], subjects: [ { id: '5825', parentId: 'solomonoff_induction', childId: 'solomonoff_induction', type: 'subject', creatorId: 'AlexeiAndreev', createdAt: '2016-08-02 16:55:21', level: '1', isStrong: 'true', everPublished: 'true' } ], lenses: [ { id: '4', pageId: 'solomonoff_induction', lensId: '1hh', lensIndex: '0', lensName: 'Intro Dialogue (Math 2)', lensSubtitle: '', createdBy: '1', createdAt: '2016-06-17 21:58:56', updatedBy: '1', updatedAt: '2016-06-17 21:58:56' } ], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18091', pageId: 'solomonoff_induction', userId: 'AlexeiAndreev', edit: '0', type: 'deleteTag', createdAt: '2016-08-02 16:56:25', auxPageId: 'work_in_progress_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18088', pageId: 'solomonoff_induction', userId: 'AlexeiAndreev', edit: '0', type: 'newTeacher', createdAt: '2016-08-02 16:55:22', auxPageId: 'solomonoff_induction', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18089', pageId: 'solomonoff_induction', userId: 'AlexeiAndreev', edit: '0', type: 'newSubject', createdAt: '2016-08-02 16:55:22', auxPageId: 'solomonoff_induction', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16955', pageId: 'solomonoff_induction', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-07-16 21:10:45', auxPageId: 'start_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '7328', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '4', type: 'newTeacher', createdAt: '2016-02-17 20:52:53', auxPageId: '1hh', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '7327', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '4', type: 'newParent', createdAt: '2016-02-17 20:52:13', auxPageId: 'inductive_prior', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '7325', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '0', type: 'deleteParent', createdAt: '2016-02-17 20:52:09', auxPageId: 'bayes_reasoning', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '5827', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '4', type: 'newParent', createdAt: '2016-01-27 05:27:17', auxPageId: 'bayes_reasoning', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '4810', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '4', type: 'newEdit', createdAt: '2015-12-30 04:05:19', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '4811', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '4', type: 'newEdit', createdAt: '2015-12-30 04:05:19', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '4809', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '3', type: 'newTag', createdAt: '2015-12-30 04:05:01', auxPageId: 'work_in_progress_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '4776', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '3', type: 'newChild', createdAt: '2015-12-30 00:54:18', auxPageId: '1hh', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '3943', pageId: 'solomonoff_induction', userId: 'AlexeiAndreev', edit: '0', type: 'newAlias', createdAt: '2015-12-16 17:14:16', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '3944', pageId: 'solomonoff_induction', userId: 'AlexeiAndreev', edit: '3', type: 'newEdit', createdAt: '2015-12-16 17:14:16', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '3589', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '2', type: 'newRequiredBy', createdAt: '2015-12-02 21:52:48', auxPageId: 'AIXI', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '70', pageId: 'solomonoff_induction', userId: 'AlexeiAndreev', edit: '1', type: 'newParent', createdAt: '2015-10-28 03:46:51', auxPageId: 'unbounded_analysis', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '1533', pageId: 'solomonoff_induction', userId: 'AlexeiAndreev', edit: '2', type: 'newEdit', createdAt: '2015-10-03 13:34:16', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '1532', pageId: 'solomonoff_induction', userId: 'EliezerYudkowsky', edit: '1', type: 'newEdit', createdAt: '2015-08-05 04:08:11', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'true', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }