Технология аргументации — это подобласть коллективного и искусственного интеллекта , которая фокусируется на применении вычислительных методов для создания, идентификации, анализа, навигации, оценки и визуализации аргументов и дебатов.
В 1980-х и 1990-х годах философские теории аргументов в целом и теория аргументации в частности использовались для решения ключевых вычислительных задач, таких как моделирование немонотонных и отменяемых рассуждений и разработка надежных протоколов координации для многоагентных систем . [1] В то же время были введены механизмы вычисления семантики фреймворков аргументации как способ обеспечения исчисления оппозиции для вычисления того, во что разумно верить в контексте конфликтующих аргументов. [2]
Благодаря этому фундаменту, в этой области начался семинар, проведенный в Шотландском Хайленде в 2000 году, результатом которого стала книга, написанная в соавторстве с философами аргументации, риторами, учеными-юристами и исследователями искусственного интеллекта. [3] С тех пор эта область поддерживалась различными специализированными мероприятиями, такими как Международный семинар по вычислительным моделям естественного аргумента (CMNA) [4], который проводится ежегодно с 2001 года; Международный семинар по аргументам в мультиагентных системах (ArgMAS) ежегодно с 2004 года; Семинар по анализу аргументов [5] ежегодно с 2014 года и Конференция по вычислительным моделям аргументов (COMMA) [6] раз в два года с 2006 года. С 2010 года в этой области также существует собственный журнал Argument & Computation , который публиковалось Тейлором и Фрэнсисом до 2016 года [7], а с тех пор — IOS Press. [8]
Одной из проблем, с которыми столкнулась технология аргументации, было отсутствие стандартизации представления и базовой концепции аргументации в машиночитаемых терминах. Многие различные программные инструменты для ручного анализа аргументов , в частности, разработали уникальные и специальные способы представления аргументов, которые отражают различные основные способы понимания структуры аргументации. [9] Отсутствие стандартизации также означало отсутствие обмена между инструментами или исследовательскими проектами, а также незначительное повторное использование ресурсов данных, создание которых часто было дорогостоящим. Чтобы решить эту проблему, формат обмена аргументами [10] был призван установить общий стандарт, охватывающий минимальные общие черты аргументации, которые затем можно было бы расширить в различных условиях.
Примерно с 2018 года технология аргументации быстро развивается, например, IBM Grand Challenge, Project Debater , результаты которого были опубликованы в журнале Nature в марте 2021 года; [11] Немецкий спонсор исследований, общенациональная исследовательская программа DFG по машинам надежной аргументации, RATIO, [12] началась в 2019 году; и развертывание BBC The Evidence Toolkit по всей Великобритании в 2019 году . [13] Видео 2021 года, озвученное Стивеном Фраем, дает краткое изложение социальных мотивов для работы в области технологий аргументации. [14]
Технология аргументации находит применение в различных областях, включая образование , здравоохранение , выработку политики , политологию , анализ разведывательных данных и управление рисками , а также имеет множество подобластей, методологий и технологий. [15]
Помощник по аргументам — это программный инструмент, который помогает пользователям при написании аргументов . Помощники по аргументации могут помочь пользователям составлять контент, просматривать контент друг у друга, в том числе в диалоговых контекстах. Помимо веб-сервисов, такие функциональные возможности могут предоставляться посредством архитектуры плагинов текстового процессора или веб-браузеров. Интернет-форумы , например, могут быть значительно улучшены с помощью таких программных инструментов и услуг.
ArguBlogging — это программное обеспечение, которое позволяет пользователям выбирать части гипертекста на веб-страницах в своих веб-браузерах и соглашаться или не соглашаться с выбранным контентом, публикуя свои аргументы в своих блогах со связанными данными аргументов . [16] Он реализован в виде букмарклета , добавляющего функциональность веб-браузерам и взаимодействующего с платформами для ведения блогов, такими как Blogger и Tumblr . [16]
Карты аргументов — это визуальные, схематические представления аргументов . Такие визуальные диаграммы облегчают схематическое рассуждение и способствуют быстрому и легкому восприятию и осмыслению информации. Карты аргументов могут обеспечить структурированную, полуформальную основу для представления аргументов с использованием интерактивного визуального языка . Одним из направлений исследований и разработок является создание онлайн-платформ для использования коллективного разума для заполнения таких карт и интеграции данных, оптимизации и оценки аргументов.
Интеллектуальный анализ аргументов или интеллектуальный анализ аргументов — это область исследований в области обработки естественного языка . Целью интеллектуального анализа аргументов является автоматическое извлечение и идентификация аргументативных структур из текста на естественном языке с помощью компьютерных программ.
Поисковая система аргументов — это поисковая система, которая получает тему в качестве пользовательского запроса и возвращает список аргументов за и против темы [18] [19] или по этой теме. [20] Такие механизмы можно использовать для поддержки принятия обоснованных решений или для помощи участникам дебатов в подготовке к дебатам .
Цель автоматизированных систем оценки аргументированных эссе — помочь учащимся улучшить свои навыки письма путем измерения качества их аргументированного содержания. [21] [22]
Технология дебатов фокусируется на взаимодействии человека и машины и, в частности, на предоставлении систем, которые поддерживают, контролируют и участвуют в дебатах. Одним из наиболее ярких примеров технологии дебатов является Project Debater от IBM [11] , который сочетает в себе запрограммированную коммуникацию с очень крупномасштабной обработкой новостных статей для выявления и построения аргументов на лету в условиях конкурентных дебатов . Технология дебатов также включает в себя инструменты, предназначенные для обеспечения понимания дебатов, обычно с использованием методов науки о данных . Эта аналитика была разработана как в академических [25], так и в коммерческих [26] условиях.
Технология аргументации может уменьшить как индивидуальные, так и групповые предубеждения и способствовать принятию более точных решений. Системы поддержки принятия решений на основе аргументов делают это, помогая пользователям различать утверждения и подтверждающие их доказательства, а также выражать свою уверенность и оценивать силу доказательств конкурирующих утверждений. [27] Они использовались для улучшения прогнозов тенденций рынка жилья, [27] анализа рисков, [28] принятия этических и юридических решений.
Система поддержки этических решений — это система поддержки принятия решений , которая помогает пользователям в моральных рассуждениях и принятии решений . [29] [30]
Система поддержки юридических решений — это система поддержки принятия решений , которая помогает пользователям в юридических рассуждениях и принятии решений .
Объяснимая или прозрачная система искусственного интеллекта — это система искусственного интеллекта , действия которой могут быть легко поняты людьми.
Интеллектуальная система обучения — это компьютерная система, целью которой является предоставление учащимся немедленных и индивидуальных инструкций или обратной связи, обычно без вмешательства учителя-человека. Пересечение технологии аргументации и интеллектуальных систем обучения включает в себя компьютерные системы, целью которых является обучение критическому мышлению, аргументации, [31] этике, [32] праву, [33] математике, [34] и философии.
Правовая экспертная система — это специализированная экспертная система , которая использует искусственный интеллект для имитации способностей человека-эксперта в области права принимать решения .
Машинная этика — это часть этики искусственного интеллекта , касающаяся морального поведения существ с искусственным интеллектом. Поскольку люди спорят о морали и моральном поведении, аргумент можно рассматривать как компонент систем машинной этики и компонентов моральных рассуждений .
В информатике и математической логике помощник по доказательству или интерактивное средство доказательства теорем — это программный инструмент, помогающий разрабатывать формальные доказательства посредством сотрудничества человека и машины. Это включает в себя своего рода интерактивный редактор доказательств или другой интерфейс , с помощью которого человек может руководить поиском доказательств , детали которого хранятся в компьютере , а некоторые шаги выполняются им .
Этические соображения, связанные с технологией аргументации, включают конфиденциальность, прозрачность, социальные проблемы и разнообразие в представлении. Эти факторы затрагивают различные уровни, такие как технология, дизайн пользовательского интерфейса , пользователь, контекст обслуживания и общество. [35] Существует обеспокоенность по поводу неэтичного злоупотребления «генерацией аргументов по спорным темам с конкретными позициями и их размещением на социальных платформах». [36] Другая проблема может касаться разработки алгоритмов принятия выводов, таких как, например, возможность сделать вывод о том, что необходимы определенные ключевые данные, вместо того, чтобы просто составлять списки наиболее подходящих выводов или позволить генерировать несколько выводов на основе одних и тех же данных. на разных аргументах-оценках или методах оценки.