Language for Description of Worlds. Part 1: Theoretical Foundation
Serdica Journal of Computing, Tome 16 (2023) no. 2, pp. 101-150.

Voir la notice de l'article provenant de la source Bulgarian Digital Mathematics Library

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. This is the first part of the paper. In this part we will define the basic theoretical concepts which will we will need when creating the language we are looking for.
Keywords: Artificial General Intelligence, Language for description of worlds, Event-Driven Model, Definition of Algorithm
@article{SJC_2023_16_2_a0,
     author = {Dobrev, Dimiter},
     title = {Language for {Description} of {Worlds.} {Part} 1: {Theoretical} {Foundation}},
     journal = {Serdica Journal of Computing},
     pages = {101--150},
     publisher = {mathdoc},
     volume = {16},
     number = {2},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SJC_2023_16_2_a0/}
}
TY  - JOUR
AU  - Dobrev, Dimiter
TI  - Language for Description of Worlds. Part 1: Theoretical Foundation
JO  - Serdica Journal of Computing
PY  - 2023
SP  - 101
EP  - 150
VL  - 16
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJC_2023_16_2_a0/
LA  - en
ID  - SJC_2023_16_2_a0
ER  - 
%0 Journal Article
%A Dobrev, Dimiter
%T Language for Description of Worlds. Part 1: Theoretical Foundation
%J Serdica Journal of Computing
%D 2023
%P 101-150
%V 16
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJC_2023_16_2_a0/
%G en
%F SJC_2023_16_2_a0
Dobrev, Dimiter. Language for Description of Worlds. Part 1: Theoretical Foundation. Serdica Journal of Computing, Tome 16 (2023) no. 2, pp. 101-150. http://geodesic.mathdoc.fr/item/SJC_2023_16_2_a0/