Language for Description of Worlds. Part 1: Theoretical Foundation

DOI10.55630/SJC.2022.16.101-150MaRDI QIDQ6136050zbMATHFDO

Authors Dimiter Dobrev

Publication date 28 August 2023

Published in Serdica Journal of Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.16243

zbMATH Keywords

artificial general intelligenceevent-driven modeldefinition of algorithmlanguage for description of worlds

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) General topics in the theory of algorithms (68W01)

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.

Recommendations

• Formal theories and linguistic descriptions.
• A language-theoretical approach to descriptive complexity
• scientific article; zbMATH DE number 3908416
• scientific article; zbMATH DE number 3184326
• Three models for the description of language
• The genesis of possible worlds semantics

Cites work

• Basic ideas for event-based optimization of Markov systems
• Diagnosis of deep discrete-event systems
• Event-Based Optimization of Markov Systems
• First order decision diagrams for relational MDPS
• General game playing with imperfect information

Cited in

(1)

• Language for Description of Worlds. Part 2: The Sample World

This page was built for publication: Language for Description of Worlds. Part 1: Theoretical Foundation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6136050)