Abstract: For artificial intelligence and robotics, the most urgent task is to develop a programming language, programs in which would have a fast execution speed. The report presents a methodology for developing such programs using the theory of semantic programming. This methodology is based on the logical programming language Delta, developed by us. In which all programs have polynomial computational complexity. Moreover, the operation of a neural network was modeled in this language. Thus, hybrid schemes of AI can be set. For these purposes, the following are used: a polynomial analogue of Gandy's fixed point theorem (PAG-theorem), p-iteration terms, conditional terms, and GNF-systems.

Cite: Goncharov S. , Nechesov A.
Semantic programming in AI and Robotics.
Global Summit of Robotics and Artificial Intelligence, Robotics 2022 18-19 авг. 2022