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

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

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

Практическая же составляющая работы, а именно программная реализация предложенной системы аргументации в виде законченного программного комплекса, позволила оценить на практике применимость и эффективность предложенных методов и алгоритмов. Кроме того, автором был рассмотрен способ применения, разработанного ПО для улучшения стандартных алгоритмов для решения задачи обобщения, что является интересным результатом в области машинного обу- чения. Из текста автореферата можно сделать вывод о том, что диссертационная работа соответствует паспорту специальности 05.13.17, в частности пунктам «моделирование рассуждений различных типов» и «разработка и исследование моделей и алгоритмов анализа данных, обнаружения закономерностей».

Тем не менее, по содержанию автореферата имеются следующие замечания; 1. На стр. 8 используется термин «пересматриваемая связь между аргументами»,'но в тексте автореферата не приводится формального определения данного термина. 2. В алгоритме 1 в качестве входных данных используется «граф вывода», но в тексте автореферата не приводится формального определения это- го термина 3. На стр. 12 указано, что в качестве базовых средств построения обобщающих понятий рассматриваются алгоритмы С4.5 и 01КЯ, однако в автореферате не содержится результатов применения предлагаемого в работе подхода к алгоритму С4.5. 4. Также из четвертого раздела нельзя понять, какую технику валидации использовал автор, и использовал ли он ее вообще.

Также имеются замечания и по оформлению автореферата, а именно: 1. Повсеместно используются английские двойные кавычки ("") вместо принятых в русском языке французских кавычек («»). 2. Размеры абзацных отступов в тексте различаются (ср. отступы на стр. 4 в абзацах «Объектом исследования ...» и «Цель работы ...»), а также иногда полностью отсутствует (стр. 8). 3. Различается оформление нумерованных списков (ср. списки на стр. 5 сверху, стр. 5 снизу, стр. 8).

4. Происходит путаница в употреблении дефиса (-), которого тире ( — ) и длинного тире ( — ), а также обособляющих их пробелах («научно - технических» на стр. 5; «Х; - упорядоченный набор» на стр. 11; «г; — терм» на стр. 8). Тем не менее, указанные недостатки не снижают ценности данной диссертационной работы. Автореферат позволяет сделать вывод, что тема диссертации Моросина О.Л. является актуальной, полученные результаты обоснованы, обладают новизной, а также практической. и теоретической ценностью.

Работа представляет собой законченное, высококвалифицированное научное исследование, отвечающее всем требованиям ВАК, и ее автор заслуживает присуждения ученой степени кандидата технических наук. 2.9, с 3 . -; ~л; Фильченков Андрей Александрович, канд. физ.-мат. наук, доц. кафедры Компьютерных технологий, научи. сотрудник МНЛ «Компьютерные технологии» Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики тербург, Кронверкский проспект, д.49 +7 (812) 232 — 97 — 04 .