2021 Volume 2021 Issue AGI-017 Pages 03-
While various models and algorithms for artificial general intelligence have been pro- posed, their theoretical properties are not clear. In this paper, we consider the desirable properties of AGI and describe what kind of models and algorithms can be guaranteed to have such properties from a theoretical point of view.