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