Language for Description of Worlds

TL;DR

This paper proposes developing a new descriptive language for AI that can represent a broad class of functions and describe worlds modularly, enabling automatic discovery of world descriptions starting from specific examples.

Contribution

It introduces a novel language framework that describes worlds through modular descriptions, extending beyond computable functions, and suggests an approach to automatically discover these descriptions.

Findings

Language can describe a broader class of functions than programming languages.

Modular descriptions facilitate automatic discovery of world representations.

Starting from specific worlds, the language generalizes to any world.

Abstract

We will reduce the task of creating AI to the task of finding an appropriate language for description of the world. This will not be a programing language because programing languages describe only computable functions, while our language will describe a somewhat broader class of functions. Another specificity of this language will be that the description will consist of separate modules. This will enable us look for the description of the world automatically such that we discover it module after module. Our approach to the creation of this new language will be to start with a particular world and write the description of that particular world. The point is that the language which can describe this particular world will be appropriate for describing any world.