Talk:AIXI

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
???	This article has not yet received a rating on the project's priority scale.

Robotics

	This article is within the scope of WikiProject Robotics, a collaborative effort to improve the coverage of Robotics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.RoboticsWikipedia:WikiProject RoboticsTemplate:WikiProject RoboticsRobotics articles
???	This article has not yet received a rating on the project's importance scale.

Computer science

This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles

???

This article has not yet received a rating on the project's importance scale.

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Futures studies

	This article is within the scope of WikiProject Futures studies, a collaborative effort to improve the coverage of Futures studies on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Futures studiesWikipedia:WikiProject Futures studiesTemplate:WikiProject Futures studiesfutures studies articles
???	This article has not yet received a rating on the importance scale.

Cognitive science (inactive)

This article is within the scope of WikiProject Cognitive science, a project which is currently considered to be inactive.Cognitive scienceWikipedia:WikiProject Cognitive scienceTemplate:WikiProject Cognitive scienceCognitive science articles

LessWrong[edit]

Which articles, other than blog posts on LessWrong, contain discussions of AIXI? Poppingtonic (talk) 21:20, 31 January 2017 (UTC)[reply]

There are over 500 AIXI papers in Google Scholar. [Google Books returns over 1000 hits on "aixi hutter" (without the quotes) The real question about the Wikipedia article on AIXI is why are so many prominent scholars of artificial general intelligence interested in AIXI yet uninterested in editing here? Jim Bowery (talk) 17:12, 25 November 2018 (UTC)[reply]

probability vs. logic[edit]

Given that it is unknown how to extend probability to logic (Stanford, russel), in what sense is AIXI coherent? AIXI claims that it is somehow "universal", but how can that claim hold given that computation is based on logic, and probability itself is not universal? How is this weaseled out of? Some kind of lede is needed that can explain why the whole endevour isn't hogwash... 67.198.37.16 (talk) 20:59, 25 October 2018 (UTC)[reply]

Defining a Universal Turing Machine with FOL axioms is an undergraduate classroom exercise. If you can define a UTM you can define Algorithmic probability. QED Jim Bowery (talk) 16:50, 25 November 2018 (UTC)[reply]