{
localUrl: '../page/AIXI.html',
arbitalUrl: 'https://arbital.com/p/AIXI',
rawJsonUrl: '../raw/11v.json',
likeableId: 'value_alignment_value',
likeableType: 'page',
myLikeValue: '0',
likeCount: '3',
dislikeCount: '0',
likeScore: '3',
individualLikes: [
'RokResnik',
'BrianMuhia',
'EliezerYudkowsky'
],
pageId: 'AIXI',
edit: '10',
editSummary: '',
prevEdit: '9',
currentEdit: '10',
wasPublished: 'true',
type: 'wiki',
title: 'AIXI',
clickbait: 'How to build an (evil) superintelligent AI using unlimited computing power and one page of Python code.',
textLength: '3093',
alias: 'AIXI',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'EricRogstad',
editCreatedAt: '2016-03-31 21:07:12',
pageCreatorId: 'EliezerYudkowsky',
pageCreatedAt: '2015-08-04 20:08:59',
seeDomainId: '0',
editDomainId: 'EliezerYudkowsky',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '6',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '833',
text: '[Marcus Hutter's AIXI](http://www.hutter1.net/ai/aixigentle.htm) is the [12b perfect rolling sphere] of [2c advanced agent] theory - it's not realistic, but you can't understand more complicated scenarios if you can't envision the rolling sphere. At the core of AIXI is [11w Solomonoff induction], a way of using [ infinite computing power] to probabilistically predict binary sequences with (vastly) superintelligent acuity. Solomonoff induction proceeds roughly by considering all possible computable explanations, with [ prior probabilities] weighted by their [5v algorithmic simplicity], and [Bayesian_update updating their probabilities] based on how well they match observation. We then translate the agent problem into a sequence of percepts, actions, and rewards, so we can use sequence prediction. AIXI is roughly the agent that considers all computable hypotheses to explain the so-far-observed relation of sensory data and actions to rewards, and then searches for the best strategy to maximize future rewards. To a first approximation, AIXI could figure out every ordinary problem that any human being or intergalactic civilization could solve. If AIXI actually existed, it wouldn't be a god; it'd be something that could tear apart a god like tinfoil.\n\n[summary(Brief): AIXI is the [perfect rolling sphere] of [2c advanced agent theory], an ideal intelligent agent that uses infinite computing power to consider all computable hypotheses that relate its actions and sensory data to its rewards, then maximizes expected reward.]\n\n[summary(Technical): [Marcus Hutter's AIXI](http://www.hutter1.net/ai/aixigentle.htm) combines Solomonoff induction, expected utility maximization, and the [ Cartesian agent-environment-reward formalism] to yield a completely specified superintelligent agent that can be written out a single equation but would require a high-level [ halting oracle] to run. The formalism requires that percepts, actions, and rewards can all be encoded as integer sequences. AIXI considers all computable hypotheses, with prior probabilities weighted by algorithmic simplicity, that describe the relation of actions and percepts to rewards. AIXI updates on its observations so far, then maximizes its next action's expected reward, under the assumption that its future selves up to some finite time horizon will similarly update and maximize. The AIXI$tl$ variant requires (vast but) bounded computing power, and only considers hypotheses under a bounded length $l$ that can be computed within time $t$. AIXI is a [103 central example] throughout [2v value alignment theory]; it illustrates the [ Cartesian boundary problem], the [107 methodology of unbounded analysis], the [1y Orthogonality Thesis], and [ seizing control of a reward signal].]\n\nFurther information:\n\n- [Marcus Hutter's book on AIXI](http://www.hutter1.net/ai/uaibook.htm)\n- [Marcus Hutter's gentler introduction](http://www.hutter1.net/ai/aixigentle.htm)\n- [Wikpedia article on AIXI](https://en.wikipedia.org/wiki/AIXI)\n- [LessWrong Wiki article on AIXI](https://wiki.lesswrong.com/wiki/AIXI)',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '3',
maintainerCount: '1',
userSubscriberCount: '0',
lastVisit: '2016-02-25 00:05:14',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'true',
proposalEditNum: '11',
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: {},
creatorIds: [
'EliezerYudkowsky',
'AlexeiAndreev',
'EricRogstad',
'BrianMuhia'
],
childIds: [
'aixitl'
],
parentIds: [
'value_alignment_central_examples',
'unbounded_analysis'
],
commentIds: [],
questionIds: [],
tagIds: [],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [
{
id: '1387',
parentId: 'solomonoff_induction',
childId: 'AIXI',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '1396',
parentId: 'expected_utility',
childId: 'AIXI',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
subjects: [],
lenses: [],
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: '22796',
pageId: 'AIXI',
userId: 'BrianMuhia',
edit: '11',
type: 'newEditProposal',
createdAt: '2017-10-06 14:14:15',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9187',
pageId: 'AIXI',
userId: 'EricRogstad',
edit: '10',
type: 'newEdit',
createdAt: '2016-03-31 21:07:12',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5395',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '9',
type: 'newRequiredBy',
createdAt: '2016-01-17 01:16:15',
auxPageId: 'aixitl',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5393',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '9',
type: 'newChild',
createdAt: '2016-01-17 01:16:07',
auxPageId: 'aixitl',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '3933',
pageId: 'AIXI',
userId: 'AlexeiAndreev',
edit: '9',
type: 'newEdit',
createdAt: '2015-12-16 17:03:15',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '3629',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'deleteTag',
createdAt: '2015-12-03 20:18:13',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '3627',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '8',
type: 'newEdit',
createdAt: '2015-12-03 01:03:40',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '3626',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '7',
type: 'newEdit',
createdAt: '2015-12-03 00:58:24',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '3623',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '6',
type: 'newRequirement',
createdAt: '2015-12-03 00:04:34',
auxPageId: 'expected_utility',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '3591',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '6',
type: 'newEdit',
createdAt: '2015-12-02 21:53:29',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '3590',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '5',
type: 'newRequirement',
createdAt: '2015-12-02 21:52:48',
auxPageId: 'solomonoff_induction',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '1103',
pageId: 'AIXI',
userId: 'AlexeiAndreev',
edit: '1',
type: 'newUsedAsTag',
createdAt: '2015-10-28 03:47:09',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '285',
pageId: 'AIXI',
userId: 'AlexeiAndreev',
edit: '1',
type: 'newParent',
createdAt: '2015-10-28 03:46:51',
auxPageId: 'value_alignment_central_examples',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '73',
pageId: 'AIXI',
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: '1968',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '5',
type: 'newEdit',
createdAt: '2015-08-12 02:00:39',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '1967',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '4',
type: 'newEdit',
createdAt: '2015-08-05 04:09:12',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '1966',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '3',
type: 'newEdit',
createdAt: '2015-08-05 04:08:49',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '1965',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '2',
type: 'newEdit',
createdAt: '2015-08-04 20:09:07',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '1964',
pageId: 'AIXI',
userId: 'EliezerYudkowsky',
edit: '1',
type: 'newEdit',
createdAt: '2015-08-04 20:08:59',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {
moreTechnical: {
likeableId: '3708',
likeableType: 'contentRequest',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '155',
pageId: 'AIXI',
requestType: 'moreTechnical',
createdAt: '2016-11-13 02:01:18'
}
}
}