Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations

## Контекст В настоящее время многие решающие процессы в области интеллектуальных систем построены на основе беседных моделей и аргументационных фреймворков. Обсуждение моделей являются полезными инструментами для моделирования интеллектуальных систем, которые принимают решения, основываясь на аргументациях, как будто они были предложены человеком. Однако сложность этих процессов возникает при изменении информации или дополнении ее, что приводит к изменению выводов. Изменение выводов может иметь много разных причин и, следовательно, требует критериев, позволяющих объяснить изменения. Модель, представленная в данной статье, включает новый способ объяснения изменений в аргументационных фреймворках, называемых Quantitative Bipolar Argumentation Frameworks (QBAFs). Эта модель позволяет отслеживать изменения силы аргументов в процессе изменения QBAF и выявлять причины этих изменений, что является важной задачей в развитии интеллектуальных систем. ## Метод Главная идея этого метода заключается в том, чтобы отслеживать выводы в QBAFs и отслеживать изменения силы аргументов в процессе изменений в QBAF. Для этого разработана модель, отслеживающая изменения в частичном порядке сил аргументов, которые определены семантикой. Эта модель отслеживает те изменения, которые приводят к изменению вывода и выявляет их причины. Основные технические решения включают разработку алгоритма, который обнаруживает причины различий в силе аргументов. Этот алгоритм работает с тем, чтобы выявить причины изменений в порядке аргументов и предоставить подробные объяснения. Также разработана инфраструктура для автоматического поиска этих объяснений. ## Результаты Проведенные эксперименты показали, что модель позволяет эффективно отслеживать изменения в силе аргументов и выявлять их причины. Было протестировано несколько сценариев изменения QBAF, в том числе изменение входных данных и добавление новых аргументов. Результаты показали, что модель способна выявить причины изменений в силе аргументов и предоставить подробные объяснения в форме различных типов объяснений: достаточных, необходимых и возможных. Эксперименты также подтвердили, что модель может автоматически находить эти объяснения с помощью инструмента, реализованного на основе описанного алгоритма. Это демонстрирует позитивный эффект использования такой модели в реальных ситуациях, где необходимо понять, почему сила аргументов изменилась в процессе изменения QBAF. ## Значимость Предлагаемый подход имеет широкое применение в различных областях, включая системы решающих процессов, анализ данных и интеллектуальные системы. Основные преимущества этой модели заключаются в том, что она обеспечивает возможность понять,