📊 Статистика дайджестов

Всего дайджестов: 34022 Добавлено сегодня: 0

Последнее обновление: сегодня
Авторы:

Timotheus Kampik, Kristijonas Čyras, José Ruiz Alarcón

## Контекст В настоящее время многие решающие процессы в области интеллектуальных систем построены на основе беседных моделей и аргументационных фреймворков. Обсуждение моделей являются полезными инструментами для моделирования интеллектуальных систем, которые принимают решения, основываясь на аргументациях, как будто они были предложены человеком. Однако сложность этих процессов возникает при изменении информации или дополнении ее, что приводит к изменению выводов. Изменение выводов может иметь много разных причин и, следовательно, требует критериев, позволяющих объяснить изменения. Модель, представленная в данной статье, включает новый способ объяснения изменений в аргументационных фреймворках, называемых Quantitative Bipolar Argumentation Frameworks (QBAFs). Эта модель позволяет отслеживать изменения силы аргументов в процессе изменения QBAF и выявлять причины этих изменений, что является важной задачей в развитии интеллектуальных систем. ## Метод Главная идея этого метода заключается в том, чтобы отслеживать выводы в QBAFs и отслеживать изменения силы аргументов в процессе изменений в QBAF. Для этого разработана модель, отслеживающая изменения в частичном порядке сил аргументов, которые определены семантикой. Эта модель отслеживает те изменения, которые приводят к изменению вывода и выявляет их причины. Основные технические решения включают разработку алгоритма, который обнаруживает причины различий в силе аргументов. Этот алгоритм работает с тем, чтобы выявить причины изменений в порядке аргументов и предоставить подробные объяснения. Также разработана инфраструктура для автоматического поиска этих объяснений. ## Результаты Проведенные эксперименты показали, что модель позволяет эффективно отслеживать изменения в силе аргументов и выявлять их причины. Было протестировано несколько сценариев изменения QBAF, в том числе изменение входных данных и добавление новых аргументов. Результаты показали, что модель способна выявить причины изменений в силе аргументов и предоставить подробные объяснения в форме различных типов объяснений: достаточных, необходимых и возможных. Эксперименты также подтвердили, что модель может автоматически находить эти объяснения с помощью инструмента, реализованного на основе описанного алгоритма. Это демонстрирует позитивный эффект использования такой модели в реальных ситуациях, где необходимо понять, почему сила аргументов изменилась в процессе изменения QBAF. ## Значимость Предлагаемый подход имеет широкое применение в различных областях, включая системы решающих процессов, анализ данных и интеллектуальные системы. Основные преимущества этой модели заключаются в том, что она обеспечивает возможность понять,
Annotation:
This paper presents a formal approach to explaining change of inference in Quantitative Bipolar Argumentation Frameworks (QBAFs). When drawing conclusions from a QBAF and updating the QBAF to then again draw conclusions (and so on), our approach traces changes -- which we call strength inconsistencies -- in the partial order over argument strengths that a semantics establishes on some arguments of interest, called topic arguments. We trace the causes of strength inconsistencies to specific argum...
ID: 2509.18215v1 cs.AI, cs.LO, cs.MA
Авторы:

Hasra Dodampegama, Mohan Sridharan

## КОНТЕКСТ И ПРОБЛЕМАТИКА В современных приложениях искусственного интеллекта (ИИ) все чаще возникает необходимость в сотрудничестве агентов ИИ с другими агентами, в том числе людьми или другими ИИ-системами, без предварительной координации. Такое сотрудничество, известное как ad hoc teamwork, представляет собой сложную задачу, особенно когда агенты должны принимать решения в динамических и непредсказуемых средах. Традиционные методы, основанные на обучении с использованием больших метокных данных, имеют ряд недостатков: они требуют значительных ресурсов для сбора и аннотирования данных, не являются достаточно прозрачными и сложно адаптируются к изменениям в среде или поведении других агентов. Кроме того, по мере роста количества агентов сложность принятия решений увеличивается экспоненциально, что делает эффективное сотрудничество еще более сложной задачей. В таких ситуациях необходим подход, который мог бы объединить сильные стороны как знаний, основанных на предварительных моделях, так и данных, полученных в реальном времени. В этой статье авторы предлагают новый подход, который сочетает в себе логическое немонотонное резонирование с использованием доменного знания, быстрое обучение моделей поведения других агентов и представление абстрактных будущих целей на основе общих знаний, доступных в фундаментальных моделях. Такой подход позволяет создать более гибкую и адаптивную систему для решения задач ad hoc teamwork. ## ПРЕДЛОЖЕННЫЙ МЕТОД Авторы предлагают архитектуру, которая интегрирует три ключевые компонента для решения задач ad hoc teamwork: 1. **Предварительные доменные знания**: Агент использует предварительно заданные логические модели для немонотонного резонирования. Эти знания помогают агенту определять действия, основываясь на общих принципах и доменном знании. 2. **Быстрое обучение моделей поведения**: Агент может быстро обучать модели для прогнозирования поведения других агентов на основе небольшого количества наблюдений. Это позволяет агенту адаптироваться к изменениям в поведении других участников. 3. **Абстрактные будущие цели**: Используя общие знания из фундаментальных моделей, агент может предвидеть будущие цели и структурировать свои действия в соответствии с ними. Архитектура разработана так, чтобы обеспечить нелинейную логику принятия решений, позволяющую агенту быстро адаптироваться к новым условиям и изменениям в среде. Такой подход позволяет сочетать силу знаний и данных, что делает его особенно эффективным в задачах ad hoc teamwork. ## ЭКСПЕРИМЕНТАЛЬНЫЕ РЕЗУЛЬТАТЫ Для оценки эффективности предложенной архитектуры авторы провели эксперименты в VirtualHome, реалистичной 3D-симуляции с физикой. В этих экспериментах агенты должны были выполнять различные задачи, такие как подготовка еды или уборка помещений, в сотрудничестве с другими агентами. Результаты показали, что предложенный метод значительно улучшает эффективность сотрудничества агентов в сравнении с традиционными методами. Агенты, использующие предложенную архитектуру, были в состоянии быстрее адаптироваться к изменениям в поведении других агентов и эффективнее выполнять задачи в динамической среде. ## ПРАКТИЧЕСКАЯ ЗНАЧИМОСТЬ Предложенный метод имеет широкий спектр применений в областях, требующих сотрудничества агентов ИИ с людьми или другими системами. Например, в медицинских приложениях, логистике, или даже в домашних роботах, где агенты должны быстро адаптироваться к новым задачам и средам. Благодаря сочетанию знаний и данных, этот подход может обеспечить более эффективное и прозрачное сотрудничество в сложных ситуациях. ## ВЫВОДЫ И ПЕРСПЕКТИВЫ В работе было показано, что интеграция логического резонирования, быстрого обучения и фундаментальных знаний может значительно улучшить эффективность сотрудничества агентов в задачах ad hoc teamwork. Будущие исследования могут сосредоточиться на дальнейшей оптимизации этой архитектуры для различных доменов и улучшении ее адаптивности к более сложным средам.
Annotation:
AI agents deployed in assistive roles often have to collaborate with other agents (humans, AI systems) without prior coordination. Methods considered state of the art for such ad hoc teamwork often pursue a data-driven approach that needs a large labeled dataset of prior observations, lacks transparency, and makes it difficult to rapidly revise existing knowledge in response to changes. As the number of agents increases, the complexity of decision-making makes it difficult to collaborate effecti...
ID: 2508.04163v1 cs.AI, cs.LO, cs.MA