Искусственный интеллект и математическая логика
Просмотров: 179
На вебинаре:
- Рассмотрим нисходящую парадигму искусственного интеллекта.
- Изложим научные основы математической логики, исчисления предикатов, метода резолюций как основы построения системы логического программирования.
- Приведем различные подходы к созданию трансляторов с языка логического программирования.
- Рассмотрим синтаксические и семантические особенности языка Пролог — Д.
Григорьев Сергей Георгиевич
член-корреспондент РАО, доктор технических наук, профессор
Информатика, Математика, Программирование
#бесплатно #искусственный интеллект #математическая логика #Пролог-Д
Элементы логического программирования в сфере образования
В рамках серии вебинаров предполагается рассмотрение основ математической логики и исчисления предикатов первого порядка, применение метода резолюции для доказательства теорем, реализация этого принципа в рамках логической парадигмы обработки информации на примере языка Пролог.
Предполагается рассмотреть возможности языка Пролог в сфере образования, на примере кроссплатформенной версии языка Пролог-Д (ПРОграммирование в ЛОГике для Детей). Рассмотрены возможные типы задач, для решения которых может быть применен данный язык программирования.
Обсуждение