I think that I need this in my variant of AIXI in order to filter out “world models” which don’t necessarily halt, and I think this will be enough to do so, but I’ll leave working out the details to a later post.
AIXI’s hypothesis class is the (lower semicomputable chronological) semimeasures, so I do not know why halting should be required for this application?
(My question is now of mainly historical interest, since the later versions of reflective oracles do not require queries to be about machines that halt, AND because they “complete” the distributions generated by those machines to proper measures)
AIXI’s hypothesis class is the (lower semicomputable chronological) semimeasures, so I do not know why halting should be required for this application?
(My question is now of mainly historical interest, since the later versions of reflective oracles do not require queries to be about machines that halt, AND because they “complete” the distributions generated by those machines to proper measures)