Реферат: В докладе рассматриваются вопросы существования полиномиально вычислимых представлений для базовых синтаксических конструкций логики предикатов первого порядка (ИП), а также для объектов семантического программирования (СП). Было показано, что для множества доказательств (как линейных, так и в виде дерева) в ИП, а также для множества L-формул и L-программ в СП существуют полиномиально вычислимые представления. Данные результаты могут быть полезны в высокоуровневых языках программирования, в искусственном интеллекте и робототехнике. Там, где требуется быстрый и четкий программный ответ на входящие данные.

Библиографическая ссылка: Нечёсов А.В.
Семантическое программирование и полиномиально вычислимые представления
В сборнике Материалы Международной научной конференции «Актуальные задачи математики, механики и информатики», посвященной 80- летию профессора Т.Г. Мустафина., Караганда, Казахстан, 8-9 сентября 2022 г.. – Изд-во Карагандинского университета им. академика Е.А.Букетова., 2022. – C.56.

Идентификаторы БД: Нет идентификаторов