Следите за новостями и участвуйте в обсуждениях!
Подписывайтесь на
наш Инстаграм,
Телеграм-канал и
присоединяйтесь к чату сообщества — чтобы не пропустить результаты конкурса грантов!
Логический вывод в системах искусственного интеллекта
-
В курс входит обзор основных логических систем, используемых в ИИ, от классической пропозициональной логики и логики предикатов до основных неклассических систем – интуиционистской, модальной, временной логики, монотонных и немонотонных систем. В курсе приводится ряд примеров, иллюстрирующих применение логического вывода в системах ИИ.
-
Образовательная программа 6B06127 Математическое и компьютерное моделирование
-
Кредитов 6
-
Год обучения 3
-
Семестр 1