СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И ПОЛИНОМИАЛЬНО ВЫЧИСЛИМЫЕ ПРЕДСТАВЛЕНИЯ | Sciact - Система учета научной деятельности ИМ СО РАН

СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И ПОЛИНОМИАЛЬНО ВЫЧИСЛИМЫЕ ПРЕДСТАВЛЕНИЯ Тезисы доклада

Конференция

Current State and Development Perspectives of Digital Technologies and Artificial Intelligence
27-28 окт. 2022 , Самарканд

Сборник

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

Вых. Данные

Год: 2022, Страницы: 56 Страниц : 1

Ключевые слова

семантическое програмирование, искусственный интеллект, полиномиальная вычислимость

Авторы

Нечесов Андрей Витальевич

Организации

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

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

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

Нет идентификаторов