Abstract: В работе рассматривается логический подход на основе декларативного языка для постановки задач, возникающих в искусственном интеллекте, а также рассматривается проблема гарантированной точности реализации этих задач. Данный логический подход рассматривается в рамках задачного подхода, предложенного Ю.Л.Ершовым и К.Ф.Самохваловым для методологии математики.

Cite: Гончаров С.С. , Нечесов А.В.
Семантическое программирование: новый подход в искусственном интеллекте
XIII МЕЖДУНАРОДНАЯ МОЛОДЕЖНАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ С ЭЛЕМЕНТАМИ НАУЧНОЙ ШКОЛЫ "ПРИКЛАДНАЯ МАТЕМАТИКА И ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА" 15-20 мая 2023