Abstract. Formal models are necessary for AGI systems, though it does not mean that any formal model is suitable. This position paper argues that the dominating formal models in the field, namely logical models and computational models, can be misleading. What AGI really needs are formal models that are based on realistic assumptions on the capacity of the system and the nature of its working environment. 1 The Power and Limit of Formal Models The need for formal models for AGI research is not a novel topic. For example, AGI-09 had a workshop titled “Toward a Serious Computational Science of Intelligence” . In , I proposed the opinion that a complete A(G)I work should consist of (1) a theory of intelligence, expressed in a natural language, (2) a formal model of the theory, expressed in a symbolic language, and (3) a computer implementation of the model, expressed in a programming language. Though the necessity of (1) and (3) are obvious, there is a large number of AGI projects without a clearly specified formal model. Such projects are often described an
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.