Искусственный интеллект

Дисциплина представляет собой систематическое введение в классические методы и модели искусственного интеллекта с опорой на символический подход. В центре внимания — модели представления знаний: логические исчисления, семантические сети, фреймовые системы и онтологии. Раскрываются принципы автоматической обработки естественного языка на основе формальных грамматик, семантического разбора и лингвистических ресурсов. Отдельное внимание уделяется представлению знаний, их структурированию и процедурам логического вывода.