Главная страница « Спецсеминары «

Тематика спецсеминара связана с исследованиями методов решения сложных задач на ЭВМ и современными технологиями автоматизированной инженерии программ и знаний (CASE & CAKE). Сложные задачи характерны тем, что поиск их решения традиционным способом часто оказывается неэффективным или вовсе не даёт результата. Типичными примерами таких задач можно считать задачу поиска выигрышной стратегии в шахматной игре, автоматическое реферирование и поиск документов в информационно-поисковых системах, планирование действий робота-манипулятора, планирование цепочки вычислений при наличии модулей, реализующих отдельные простые вычисления. Системы искусственного интеллекта чаще всего используют универсальный подход и сводят процесс поиска решения сложной задачи или построение плана решения к перебору ветвей дерева логического вывода. При этом слабо учитывается специфика предметной области как основной фактор сокращения вариантов перебора и эффективного поиска решения.

В рамках семинара ведётся разработка новых средств программирования для решения сложных задач, гибко сочетающих в себе как процедурные, так и дедуктивные элементы. Проводятся эксперименты по выработке и совершенствованию нового способа организации системы планирования на основе стереотипов, допускающего планирование в соответствии с принципами, которыми обычно руководствуется человек при составлении (поиск не обязательно оптимального, но хорошего плана, рассмотрение нескольких планов, однократное уточнение общих участков альтернативных планов). Выполняя курсовые и дипломные работы, студенты принимают участие в разработке и реализации систем планирования, включаются в работы по научно-исследовательским проектам кафедры.

Другим направлением исследовательских работ в семинаре являются CAKE-технологии. CAKE (Computer-Aided Knowledge Engineering) представляет собой инженерию знаний, осуществляемую с использованием программных инструментов. Используя CAKE-технологии, разработчики баз знаний интеллектуальных систем получают в свои руки разнообразные инструментальные средства, облегчающие их работу: редакторы, валидаторы, имитаторы и др. Эти средства помогают в работе по формальному описанию знаний, по проверке их целостности, по поиску ошибок в базе знаний.

В рамках семинара много внимания уделяется поиску путей применения в инженерии знаний передового опыта, накопленного в инженерии программного обеспечения. Рассматриваются приложения к базам знаний современных языков моделирования программного обеспечения, таких как UML и OCL. Курсовые и дипломные работы посвящены созданию прототипов CAKE-инструментов.