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