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

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

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

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

2. На стр. 13 приведен предложенный автором алгоритм построения улучшенного множества классификационных правил, но не приводится оценка алгоритмической сложности данного алгоритма. 3. На рис. 3 автор приводит результаты экспериментов в случае наличия искажений в исходных данных, но не приводит формальное определение шума и не поясняет, что такое шум типа "искажение значения". Автореферат позволяет сделать вывод, что в диссертации Моросина О.Л. решен ряд новых актуальных теоретических и прикладных задач в области правдоподобных рассуждений и неклассических логик.

Можно констатировать, что несмотря на замечания, в целом диссертация по своему объему, уровню выполнения, научной и практическои значимости полученных результатов является законченным научным исследованием, соответствует требованиям ВАК, предъявляемым к кандидатским диссертациям (п.9 Положения о порядке присуждения ученых степеней), а ее автор Моросив Олег Леонидович заслуживает присуждения ему ученой степени кандидата технических наук по специальности ОБД3.17 - Теоретические основы информатики (технические науки). Заведующий кафедрой «Информационные системы» ТвГТУ д.т.н., профессор Е-гпа11: Ьопз гзш.алчет.ги телефон: 8-915-706-14-02 Борис Васильевич Палюх Федеральное государственное бюджетное образовательное учреждение высшего образования «Тверской государственный технический университет» (ТвГТУ), 170026, Тверь„наб.

А. Никитина, 22. Е-гпа11: .