Sciact
  • EN
  • RU

Semantic programming for AI and Robotics Научная публикация

Конференция IEEE International Multi-Conference on Engineering, Computer and Information Sciences
11-13 нояб. 2022 , Новосибирск
Сборник 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)
Сборник, IEEE. 2022. 6 c. ISBN 9781665464802.
Вых. Данные Год: 2023, Страницы: 810-815 Страниц : 6 DOI: 10.1109/sibircon56155.2022.10017077
Ключевые слова AI, explainable AI, p-complete languages, polynomial computability, robotics semantic programming, XAI
Авторы Goncharov Sergey 1 , Nechesov Andrey 1
Организации
1 Sobolev Institute of Mathematics

Информация о финансировании (1)

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

Реферат: The paper presents a new high-level object-oriented programming language L* which is a conservative extension of the p-complete logical programming language L. The p-complete language L was developed by us earlier within the framework of semantic programming theory based on PAG-theorem, p-iterative and conditional terms. Thus, L*-programs can be used to implement any algorithms of polynomial complexity in such areas as artificial intelligence, robotics and smart contracts. This is especially true of the so-called explainable artificial intelligence (or briefly XAI), where it is necessary not only to give out the result based on the obtained data, but also to explain this result in a human-understandable language. This requires a programming language based on the basic constructions of mathematical logic such as logical formulas and terms. Moreover, the syntax of language L* is as close as possible to the most popular programming languages such as C++, PHP, JavaScript. Which provides programmers with a quick entry into development.
Библиографическая ссылка: Goncharov S. , Nechesov A.
Semantic programming for AI and Robotics
В сборнике 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON). – IEEE., 2023. – C.810-815. – ISBN 9781665464802. DOI: 10.1109/sibircon56155.2022.10017077 Scopus OpenAlex
Даты:
Опубликована в печати: 23 янв. 2023 г.
Опубликована online: 23 янв. 2023 г.
Идентификаторы БД:
Scopus: 2-s.20-85147495798
OpenAlex: W4317826535
Цитирование в БД:
БД Цитирований
OpenAlex 7
Альметрики: