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