Неофициальный отзыв 6 (Исследование и разработка системы аргументации на основе пересматриваемых рассуждений для задачи обобщения)

ОТЗЫВ на автореферат диссертации Моросина Олега Леонидовича «Исследование и разработка системы аргументации на основе пересматриваемых рассуждений для задачи обобщения», представленной на соискание ученой степени кандидата технических наук по специальности 05.13.17 — «Теоретические основы информатики (технические науки)» Кандидатская диссертация соискателя Моросина О.Л. посвящена исследованию неклассических систем вывода, основанных на теории аргументации и пересматриваемых рассуждениях. Актуальность темы исследований не вызывает сомнений, так как предложенные методы и способы позволяют работать с противоречивыми и зашумленными базами данных (а реальные, большие базы данных, как правило, всегда содержат неточную и противоречивую информацию).

Автор приводит обзор современного состояния научных разработок по данному направлению и выделяет наиболее актуальные проблемы и задачи, которые решаются в ходе выполнения диссертационной работы. Так, автором предложены алгоритмы поиска конфликтов и нахождения степеней обоснования, которые, в отличии от классических алгоритмов аргументации, позволяют давать не только качественную, но и количественную оценку достоверности аргументов. Кроме работ по теории аргументации автором предложен и реализован способ применения теории аргументации в машинном обучении, позволивший получать улучшенные классификационные модели при решении задачи обобщения методом индуктивного формирования понятий. Тем не менее, по содержанию автореферата имеются следующие замечания. 1.

Автор указывает, что в качестве аппарата монотонного вывода применялась натуральная дедукция, не указывая достоинства и недостатки данного метода. 2. На стр. 11 автор указывает, что "все объекты можно разделить на два класса — положительных примеров и контрпримеров понятия", однако не поясняется допустимость такого предположения. 3. На стр. 15 недостаточно подробно описана методология проведения экспериментов - остается не ясно, зачем рассматривалась три стратегии "б1ВЗ - базовая стратегия", "01КБ - стратегия объединения" и "61К5- аргументационная стратегия".

Заведующий кафедрой «Систем автоматизированного проектирования» Южного федерального университета доктор технических наук, профессор Курейчик Владимир Викторович 347928 г. Таганрог пер. Некрасовский 44 Тел, (8634) 383451, ета11: тамг®з1едо.ги Подпись Курейчика В.В, Директор ИКТиБ ЮФУ, Г.Е. Веселов В целом диссертация отражает выполненную соискателем работу в области теории аргументации и индуктивного формирования понятий, и указанные замечания не снижают ее ценность. Полученные автором результаты могут найти применение в широком спектре компьютерных систем: систем поддержки принятия решений, системы машинного обучения, экспертные системы, системы обработки и извлечения знаний и др. Диссертация представляет собой законченную работу, выполненную на высоком научно-техническом уровне, отвечающую требованиям ВАК и соответствует специальности 05.13.17 — «Теоретические основы информатики», а ее автор заслуживает присуждения ученой степени кандидата технических наук.

.