Task approach and semantic programming for AI Conference attendances
| Language | Английский | ||
|---|---|---|---|
| Participant type | Секционный | ||
| URL | https://docs.google.com/spreadsheets/d/10G-PhTFZVbb7VO9NPL0w_gmcy2T3b7SjML_YwiXJ588/edit | ||
| Conference |
Program Semantics, Specification and Verification: Theory and Applications
November 3-4, 2023, in hybrid mode (at Innopolis and online) 03-04 Nov 2023 , Innopolis |
||
| Authors |
|
||
| Affiliations |
|
Abstract:
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.
Cite:
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
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