СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И ПОЛИНОМИАЛЬНО ВЫЧИСЛИМЫЕ ПРЕДСТАВЛЕНИЯ Conference Abstracts
| Conference |
Current State and Development Perspectives of Digital Technologies and Artificial Intelligence 27-28 Oct 2022 , Самарканд |
||
|---|---|---|---|
| Source | Материалы Международной научной конференции «Актуальные задачи математики, механики и информатики», посвященной 80- летию профессора Т.Г. Мустафина., Караганда, Казахстан, 8-9 сентября 2022 г. Compilation, Изд-во Карагандинского университета им. академика Е.А.Букетова. Каранганда.2022. 299 c. |
||
| Output data | Year: 2022, Pages: 56 Pages count : 1 | ||
| Tags | семантическое програмирование, искусственный интеллект, полиномиальная вычислимость | ||
| Authors |
|
||
| Affiliations |
|
Abstract:
В докладе рассматриваются вопросы существования полиномиально вычислимых представлений для базовых синтаксических конструкций логики предикатов первого порядка (ИП), а также для объектов семантического программирования (СП). Было показано, что для множества доказательств (как линейных, так и в виде дерева) в ИП, а также для множества L-формул и L-программ в СП существуют полиномиально вычислимые представления. Данные результаты могут быть полезны в высокоуровневых языках программирования, в искусственном интеллекте и робототехнике. Там, где требуется быстрый и четкий программный ответ на входящие данные.
Cite:
Нечесов А.В.
СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И ПОЛИНОМИАЛЬНО ВЫЧИСЛИМЫЕ ПРЕДСТАВЛЕНИЯ
In compilation Материалы Международной научной конференции «Актуальные задачи математики, механики и информатики», посвященной 80- летию профессора Т.Г. Мустафина., Караганда, Казахстан, 8-9 сентября 2022 г.. – Изд-во Карагандинского университета им. академика Е.А.Букетова., 2022. – C.56.
СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И ПОЛИНОМИАЛЬНО ВЫЧИСЛИМЫЕ ПРЕДСТАВЛЕНИЯ
In compilation Материалы Международной научной конференции «Актуальные задачи математики, механики и информатики», посвященной 80- летию профессора Т.Г. Мустафина., Караганда, Казахстан, 8-9 сентября 2022 г.. – Изд-во Карагандинского университета им. академика Е.А.Букетова., 2022. – C.56.
Identifiers:
No identifiers