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