Единый подход к объяснению множеств правил, деревьев решений и ансамблей деревьев решений, основанный на анализе формальных понятийA unified fca-based framework for explaining rule sets, decision trees, and ensembles of decision trees
Соискатель:
Дудырев Егор Олегович
Руководитель:
Члены комитета:
Калягин Валерий Александрович (НИУ ВШЭ в Нижнем Новгороде, д.ф.-м.н., председатель комитета), Богатырев Михаил Юрьевич (ТулГУ, д.т.н., член комитета), Виноградов Дмитрий Вячеславович (РАН, д.ф.-м.н., член комитета), Воронцов Константин Вячеславович (МГУ имени М.В. Ломоносова, д.ф.-м.н., член комитета), Пальчунов Дмитрий Евгеньевич (РАН, д.ф.-м.н., член комитета)
Диссертация принята к предварительному рассмотрению:
4/30/2026
Дисс. совет:
Совет по компьютерным наукам
Дата защиты:
9/28/2026
It is 2026 and decision tree ensembles are no longer State-of-the-Art on tabular data. What keeps them interesting is that they are based on if-then rules, so they should naturally be symbolic and human understandable. However, the sheer amount of such rules makes the models undeniable black boxes. The thesis covers two ways to make State-of-the-Art rule-based machine learning more explainable.
The first part of the thesis presents a body of work that leads to Ordered Pattern Rule Set (OPRSet): a machine learning model that combines rules, linear regressions, pattern mining and ordered set theory. It states that OPRSet can generalise decision trees, decision lists, rule sets, and their ensembles. The first part finishes by showing some examples on how both decision tree ensembles and their predictions can be explained using two-dimensional diagrams.The second part of the thesis introduces self-explainable rule-based models called Human Knowledge Models. We argue that these models are self-explainable and can be remembered and actively used by humans, since they are logical models that operate no more than four binary conditions. We demonstrate that such models -- despite their triviality -- can offer quite good prediction quality on a number of real-world datasets.
Overall, the thesis proposes a novel way of explaining existing rule-based models using OPRSets and constructing optimal short Human Knowledge Models. These results suggest many future research directions: such as constructing new, more optimal rule-based models or improving the abductive and contrastive explanations of existing ones.Keywords: Formal Concept Analysis, Pattern Structures, Explainable Artificial Intelligence, Ensembles of decision trees.
Наступил 2026 год и ансамбли деревьев решений потеряли статус самых передовых методов предсказаний на табличных данных. Тем не менее, они до сих пор интересны для изучения, так как они основываются на правилах типа "если-то", что обеспечивает их понятность и объяснимость для человека. Впрочем, неимоверное количество правил в ансамблевых моделях превращает их в самые настоящие неинтерпретируемые "чёрные ящики". В данной диссертации рассматриваются два подхода для обеспечения объяснимости машинного обучения на основе правил. В первой части диссертации представлен комплекс работ, приведший к созданию Упорядоченного Множества Узорных Правил (англ. Ordered Pattern Rule Set, OPRSet): модели машинного обучения, сочетающей в себе правила, линейную регрессию, интеллектуальных анализ данных и теорию упорядоченных множеств. В диссертации утверждается, что модель OPRSet может обобщать деревья решений, списки решений, наборы правил и их ансамбли. В заключение первой части диссертации, мы представляем нескольких примеров того, как ансамбли деревьев решений и их прогнозы можно объяснить с помощью двумерных диаграмм.
Во второй части диссертации представлены самообъясняемые модели на основе правил, называемые «моделями человеческих знаний». Мы утверждаем, что эти модели являются самообъясняемыми и могут запоминаться и активно использоваться людьми, поскольку представляют собой логические модели, в которых используется не более четырёх двоичных условий. Мы показываем, что такие модели — несмотря на их тривиальность — могут обеспечивать достаточно высокое качество прогнозов на ряде реальных наборов данных.
Таким образом, в диссертации предлагается новые способы объяснения существующих моделей на основе правил с использованием OPRSets и построения оптимальных коротких моделей человеческих знаний. Эти результаты открывают множество направлений для будущих исследований: например, построение новых, более оптимальных моделей на основе правил или улучшение абдуктивных и контрастирующих объяснений существующих моделей.
The first part of the thesis presents a body of work that leads to Ordered Pattern Rule Set (OPRSet): a machine learning model that combines rules, linear regressions, pattern mining and ordered set theory. It states that OPRSet can generalise decision trees, decision lists, rule sets, and their ensembles. The first part finishes by showing some examples on how both decision tree ensembles and their predictions can be explained using two-dimensional diagrams.The second part of the thesis introduces self-explainable rule-based models called Human Knowledge Models. We argue that these models are self-explainable and can be remembered and actively used by humans, since they are logical models that operate no more than four binary conditions. We demonstrate that such models -- despite their triviality -- can offer quite good prediction quality on a number of real-world datasets.
Overall, the thesis proposes a novel way of explaining existing rule-based models using OPRSets and constructing optimal short Human Knowledge Models. These results suggest many future research directions: such as constructing new, more optimal rule-based models or improving the abductive and contrastive explanations of existing ones.Keywords: Formal Concept Analysis, Pattern Structures, Explainable Artificial Intelligence, Ensembles of decision trees.
Наступил 2026 год и ансамбли деревьев решений потеряли статус самых передовых методов предсказаний на табличных данных. Тем не менее, они до сих пор интересны для изучения, так как они основываются на правилах типа "если-то", что обеспечивает их понятность и объяснимость для человека. Впрочем, неимоверное количество правил в ансамблевых моделях превращает их в самые настоящие неинтерпретируемые "чёрные ящики". В данной диссертации рассматриваются два подхода для обеспечения объяснимости машинного обучения на основе правил. В первой части диссертации представлен комплекс работ, приведший к созданию Упорядоченного Множества Узорных Правил (англ. Ordered Pattern Rule Set, OPRSet): модели машинного обучения, сочетающей в себе правила, линейную регрессию, интеллектуальных анализ данных и теорию упорядоченных множеств. В диссертации утверждается, что модель OPRSet может обобщать деревья решений, списки решений, наборы правил и их ансамбли. В заключение первой части диссертации, мы представляем нескольких примеров того, как ансамбли деревьев решений и их прогнозы можно объяснить с помощью двумерных диаграмм.
Во второй части диссертации представлены самообъясняемые модели на основе правил, называемые «моделями человеческих знаний». Мы утверждаем, что эти модели являются самообъясняемыми и могут запоминаться и активно использоваться людьми, поскольку представляют собой логические модели, в которых используется не более четырёх двоичных условий. Мы показываем, что такие модели — несмотря на их тривиальность — могут обеспечивать достаточно высокое качество прогнозов на ряде реальных наборов данных.
Таким образом, в диссертации предлагается новые способы объяснения существующих моделей на основе правил с использованием OPRSets и построения оптимальных коротких моделей человеческих знаний. Эти результаты открывают множество направлений для будущих исследований: например, построение новых, более оптимальных моделей на основе правил или улучшение абдуктивных и контрастирующих объяснений существующих моделей.
Диссертация [*.pdf, 4.79 Мб] (дата размещения 7/9/2026)
Резюме [*.pdf, 1.17 Мб] (дата размещения 7/9/2026)
Summary [*.pdf, 1.15 Мб] (дата размещения 7/9/2026)
Публикации, в которых излагаются основные результаты диссертации
Отзывы
Отзыв члена Комитета
- Виноградов Дмитрий Вячеславович (дата размещения 9/18/2026)
- Пальчунов Дмитрий Евгеньевич (дата размещения 9/18/2026)
- Воронцов Константин Вячеславович (дата размещения 9/18/2026)
- Калягин Валерий Александрович (дата размещения 9/18/2026)
- Богатырев Михаил Юрьевич (дата размещения 9/18/2026)
Отзыв ведущей организации
- Кузнецов Сергей Олегович (дата размещения 5/21/2026)
Сведения о результатах защиты:
Комитет по диссертации рекомендовал присудить ученую степень кандидата наук (протокол № 2 от 28.09.2026).
См. на ту же тему
Рандомизированные алгоритмы на основе интервальных узорных структур для задачклассификации и регрессии в задачах кредитного риск-менеджментаКандидатская диссертация
Соискатель: Масютин Алексей Александрович
Руководитель: Кузнецов Сергей Олегович
Дата защиты: 10/26/2018
Автоматизация лексико-типологических исследований: методы и инструментыКандидатская диссертация
Соискатель: Рыжова Дарья Александровна
Руководитель: Рахилина Екатерина Владимировна
Дата защиты: 9/21/2018
Моделирование процессов с состояниями сложной структуры на основе решёток замкнутых описанийКандидатская диссертация
Соискатель: Бузмаков Алексей Владимирович
Руководитель: Кузнецов Сергей Олегович
Дата защиты: 10/26/2015