Task approach and semantic programming for AI - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Task approach and semantic programming for AI Доклады на конференциях

Язык

Английский

Тип доклада

Секционный

Url доклада

https://docs.google.com/spreadsheets/d/10G-PhTFZVbb7VO9NPL0w_gmcy2T3b7SjML_YwiXJ588/edit

Конференция

Program Semantics, Specification and Verification: Theory and Applications November 3-4, 2023, in hybrid mode (at Innopolis and online)
03-04 нояб. 2023 , Innopolis

Авторы

Goncharov Sergey ¹ , Nechesov Andrey ¹

Организации

1	Институт математики им. С.Л. Соболева СО РАН

The report will present the latest results within the framework of the concept of semantic programming. Including the presentation of the full object-oriented programming language L* and a virtual machine for its execution. This language has shown its effectiveness in the implementation of various AI algorithms. In combination with the task approach developed by Yu.L. Ershov and K.F.Samokhvalov, the theory of learning of intelligent systems was implemented.

Goncharov S. , Nechesov A.
Task approach and semantic programming for AI
Program Semantics, Specification and Verification: Theory and Applications November 3-4, 2023, in hybrid mode (at Innopolis and online) 03-04 Nov 2023