## Контекст Область исследования — системы поддержки решений в сфере здравоохранения, основанных на методах машинного обучения. Одним из ключевых задач приложений, таких как оптимизация здоровья подпрограммы Medicaid, является создание систем, которые в то же время обеспечивают безопасность, эффективность и справедливость. Несправедливость в таких системах может возникать из-за неравенств в доступе к услугам, групповых предрассудков или неоднородности данных. Эти проблемы могут привести к неэффективным, или даже вредным решениям. В настоящей работе предлагается метод, который призван улучшить безопасность и справедливость, сохраняя эффективность. ## Метод Методология FG-FARL (Feasibility-Guided Fair Adaptive Reinforcement Learning) представляет собой процедуру оптимизации, которая стремится к сочетанию безопасности и справедливости. Она использует декомпозицию задачи на групповые подгруппы и устанавливает для каждой подгруппы отдельные пороговые значения вероятности для оптимизации. Эта гибкость позволяет уменьшить риск вреда, не ухудшая ключевые показатели. Архитектура FG-FARL опирается на адаптивное управление порогами безопасности на основе достижения справедливости, что делает её уникальной в сравнении с другими подходами, такими как HACO (Hybrid Adaptive Conformal Offline RL). Данные, использованные в исследовании, являются де-идентифицированными траекториями заболеваний выборки из программы Medicaid. ## Результаты Проведенные эксперименты показали, что FG-FARL добивается эффективности, похожей на лучшие базовые алгоритмы, такие как HACO. Однако она превосходит их в справедливости, сокращая параметры неравенства между группами на значительный процент. Использование доверительных интервалов с бутстрэп-методом позволило убедиться в надежности результатов. Также было проведено подробное анализирование диспаритетных метрик для каждой группы, что демонстрирует то, как FG-FARL сохраняет безопасность и улучшает справедливость по отношению к каждой группе. ## Значимость Предлагаемый подход может быть использован в различных сферах, где необходима безопасная и справедливая адаптивная оптимизация: от здравоохранения до финансовых услуг и транспортных систем. Одним из основных преимуществ является улучшенная справедливость без заметного ухудшения эффективности. Это может способствовать увеличению доверия к алгоритмам, которые используются в критически важных решениях. Будущие исследования будут направлены на улучшение алгоритма, увеличение гибкости и обобщение на другие сферы, где применение справедливости является к

## Контекст Область исследования, связанная с преобразованием и представлением структур, широко распространена и играет ключевую роль в широких научных и практических областях. Одним из основных проблем, связанных с этий преобразованиями, является необходимость в гарантированной сохранности семантики и структуры при переходе от одного представления к другому, особенно в ситуациях, где несколько систем представления (RS) могут использоваться в зависимости от контекста или задачи. Это вопрос становится еще важнее, когда необходимо выполнять преобразования между различными типами представлений, такими как формальные языки, геометрические фигуры и диаграммы, или неформальные заметки. Мотивацией для разработки этой работы является необходимость в разработке инструментов, которые позволят выполнять преобразования представлений в различных системах представления, сохраняя при этом семантическую эквивалентность. ## Метод Структурное преобразование (structure transfer) — это новая методология, которая позволяет преобразовывать представления между различными системами представления с помощью нормализованных правил, которые гарантируют сохранение связей между исходным и целевым представлениями. Основная идея заключается в использовании схем (schemas), которые хранят сведения о структуре и связях между различными системами представления. Эти схемы используются для вывода новых представлений, которые сохраняют нужную семантическую связь между исходной и целевой системами представления. Разработка этой методологии основывается на понятии конструкционного пространства (construction space), которое представляет собой абстрактное представление любой системы представления. Это позволяет сделать метод гибким и применимым к различным типам представлений, включая формальные языки, геометрические фигуры и даже неформальные заметки. ## Результаты В рамках экспериментов, проведенных в работе, был продемонстрирован то, как структурное преобразование может быть применено к различным типам представлений, включая формальные языки, неформальные заметки и геометрические фигуры. Доказано, что структурное преобразование может гарантированно сохранять семантическую связь между исходным и целевым представлениями, независимо от того, какая система представления используется в каждом случае. Эксперименты проводились на различных типах данных, включая тексты, графические фигуры и диаграммы, показав возможность структурного преобразования для различных типов объектов. Результаты показали, что структурное преобразова

#### Контекст Чтобы развить надежные интерпретации для черных-ящиков машинного обучения, необходимо сбалансировать два взаимоисключающих цели: точность и понятность. Объединение этих целей является ключевым для создания доверяемых интерпретаций. Несмотря на развитие многообъективных подходов к синтезу интерпретаций, многие из них не гарантируют парето-оптимальности результатов. Некоторые методы, обеспечивающие такие гарантии, часто сталкиваются с проблемами масштабируемости при исследовании парето-оптимального пространства. Наша мотивация заключается в развитии методологии, которая обеспечивает парето-оптимальные интерпретации, сочетая скорость вычислений с формальными гарантиями. #### Метод Мы предлагаем фреймворк, основанный на локальных гарантиях оптимальности, для более эффективного синтеза интерпретаций. Метод начинается с использования многообъективных методов, таких как Multi-Objective Monte Carlo Tree Search, для синтеза наилучших вариантов интерпретаций в силу точности и понятности. Затем, используя SAT-решатель, мы проверяем локальную оптимальность каждой интерпретации. Этот подход позволяет быстрее искать интерпретации с формальной гарантией оптимальности, чем методы с глобальными гарантиями. Мы используем несколько бенчмарков для сравнения нашего подхода с другими методами, показывая, что наш метод позволяет получить интерпретации, почти идеально соответствующие глобальным гарантиям, но с меньшим временем работы. #### Результаты Мы проводили эксперименты на нескольких наборах данных, включая стандартные бенчмарки для многообъективных интерпретаций. Наши результаты показывают, что фреймворк обеспечивает очень высокую точность и понятность, приближающуюся к результатам методов с глобальными гарантиями. Эксперименты также показывают, что наш подход значительно эффективнее при синтезе интерпретаций в больших пространствах решений. #### Значимость Модель может быть применена в качестве альтернативы глобальным методам синтеза интерпретаций, но с гораздо более высокой масштабируемостью. Она идеально подходит для задач, где требуется быстрое получение интерпретаций и гарантий парето-оптимальности. Наши результаты открывают новые возможности для достижения более высокого уровня доверия к машинным обучению, особенно в приложениях, требующих прозрачности интерпретации. #### Выводы Мы успешно развили метод, который сочетает в себе локальные гарантии оптимальности и многообъективный подход к интерпретациям чер

## Контекст Нейронные сети широко применяются для решения задач классификации, но их высокая точность сочувствует непрозрачности. Часто невозможно разобраться в том, каким образом сеть приходит к своим выводам, что ограничивает их применение в областях, где требуется понятность и ответственность (например, в медицине или юриспруденции). Однако в некоторых ситуациях необходимо не только точно классифицировать данные, но и понять, по каким причинам сеть пришла к определенному решению. Нейронные логические сети предлагают решение этой проблемы, так как их структура позволяет выделять логические правила, которые могут быть проверены и выведены. ## Метод Мы предлагаем модифицированную модель Neural Logic Networks, которая включает в себя новые операции и биазы. Наша модель основывается на логическом представлении данных, используя комбинации понятий (concepts) для формирования правил в формате IF-THEN. Мы также внедрили факторизованную структуру правил, чтобы упростить их интерпретацию. Чтобы обучать модель, мы разработали усовершенствованный алгоритм, который учитывает не только наблюдаемые данные, но и недостающие (unobserved), используя биазы в процессе обучения. ## Результаты Мы проверили нашу модель на нескольких задачах классификации, включая медицинские данные. Наши эксперименты показали, что модель не только выдает точные классификационные результаты, но и формирует интерпретируемые правила, которые могут быть легко проверены и поняты человеком. Например, мы использовали данные о больных с определенной медицинской патологией, и модель сформировала правила, которые помогают понять причины конкретных классификационных решений. ## Значимость Наша модель Neural Logic Networks может быть применена в тех областях, где необходима точность классификации и понятность решений. Например, в медицине, где важно понимать, по каким причинам было принято решение о лечении. Выгоды модели в том, что она обеспечивает интерпретируемые решения без ущерба точности, что делает её привлекательной для решения задач, где требуется ответственность и прозрачность. ## Выводы Мы усовершенствовали технологию Neural Logic Networks, добавив в неё новые операции и биазы, что улучшило их способность выделять логические правила. Наши результаты показали, что модель обеспечивает как точность, так и интерпретируемость в задачах классификации. В будущем мы планируем расширить модель, чтобы она могла работать с более сложными задачами и примерами.