stringtranslate.com

Технология аргументации

Технология аргументации — это подобласть коллективного и искусственного интеллекта , которая фокусируется на применении вычислительных методов для создания, идентификации, анализа, навигации, оценки и визуализации аргументов и дебатов.

В 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]

Сопоставление аргументов

Схема дерева дебатов Киало с примером пути через него: все поля «против» и некоторые «за» были очищены, чтобы проиллюстрировать пример пути. [17]

Карты аргументов — это визуальные, схематические представления аргументов . Такие визуальные диаграммы облегчают схематическое рассуждение и способствуют быстрому и легкому восприятию и осмыслению информации. Карты аргументов могут обеспечить структурированную, полуформальную основу для представления аргументов с использованием интерактивного визуального языка . Одним из направлений исследований и разработок является создание онлайн-платформ для использования коллективного разума для заполнения таких карт и интеграции данных, оптимизации и оценки аргументов.

Добыча аргументов

Интеллектуальный анализ аргументов или интеллектуальный анализ аргументов — это область исследований в области обработки естественного языка . Целью интеллектуального анализа аргументов является автоматическое извлечение и идентификация аргументативных структур из текста на естественном языке с помощью компьютерных программ.

Поиск аргументов

Поисковая система аргументов — это поисковая система, которая получает тему в качестве пользовательского запроса и возвращает список аргументов за и против темы [18] [19] или по этой теме. [20] Такие механизмы можно использовать для поддержки принятия обоснованных решений или для помощи участникам дебатов в подготовке к дебатам .

Автоматизированная оценка аргументированных эссе

Цель автоматизированных систем оценки аргументированных эссе — помочь учащимся улучшить свои навыки письма путем измерения качества их аргументированного содержания. [21] [22]

Технология дебатов

Структурированные дебаты на таких платформах, как Kialo, можно использовать для «искусственных совещательных агентов» (ADA) или вычислительных рассуждений. [23] [24]
Пример ADA, вносящего недостающую информацию в дебаты с помощью сканированных данных Kialo и выбранных на основе предыдущего разговора и сканированных рейтингов веса аргументов . [24]

Технология дебатов фокусируется на взаимодействии человека и машины и, в частности, на предоставлении систем, которые поддерживают, контролируют и участвуют в дебатах. Одним из наиболее ярких примеров технологии дебатов является Project Debater от IBM [11] , который сочетает в себе запрограммированную коммуникацию с очень крупномасштабной обработкой новостных статей для выявления и построения аргументов на лету в условиях конкурентных дебатов . Технология дебатов также включает в себя инструменты, предназначенные для обеспечения понимания дебатов, обычно с использованием методов науки о данных . Эта аналитика была разработана как в академических [25], так и в коммерческих [26] условиях.

Система поддержки принятия решений

Технология аргументации может уменьшить как индивидуальные, так и групповые предубеждения и способствовать принятию более точных решений. Системы поддержки принятия решений на основе аргументов делают это, помогая пользователям различать утверждения и подтверждающие их доказательства, а также выражать свою уверенность и оценивать силу доказательств конкурирующих утверждений. [27] Они использовались для улучшения прогнозов тенденций рынка жилья, [27] анализа рисков, [28] принятия этических и юридических решений.

Система поддержки этических решений

Система поддержки этических решений — это система поддержки принятия решений , которая помогает пользователям в моральных рассуждениях и принятии решений . [29] [30]

Система поддержки юридических решений

Система поддержки юридических решений — это система поддержки принятия решений , которая помогает пользователям в юридических рассуждениях и принятии решений .

Объяснимый искусственный интеллект

Объяснимая или прозрачная система искусственного интеллекта — это система искусственного интеллекта , действия которой могут быть легко поняты людьми.

Интеллектуальная система обучения

Интеллектуальная система обучения — это компьютерная система, целью которой является предоставление учащимся немедленных и индивидуальных инструкций или обратной связи, обычно без вмешательства учителя-человека. Пересечение технологии аргументации и интеллектуальных систем обучения включает в себя компьютерные системы, целью которых является обучение критическому мышлению, аргументации, [31] этике, [32] праву, [33] математике, [34] и философии.

Правовая экспертная система

Правовая экспертная система — это специализированная экспертная система , которая использует искусственный интеллект для имитации способностей человека-эксперта в области права принимать решения .

Машинная этика

Машинная этика — это часть этики искусственного интеллекта , касающаяся морального поведения существ с искусственным интеллектом. Поскольку люди спорят о морали и моральном поведении, аргумент можно рассматривать как компонент систем машинной этики и компонентов моральных рассуждений .

Помощник по доказательствам

В информатике и математической логике помощник по доказательству или интерактивное средство доказательства теорем — это программный инструмент, помогающий разрабатывать формальные доказательства посредством сотрудничества человека и машины. Это включает в себя своего рода интерактивный редактор доказательств или другой интерфейс , с помощью которого человек может руководить поиском доказательств , детали которого хранятся в компьютере , а некоторые шаги выполняются им .

Этические соображения

Этические соображения, связанные с технологией аргументации, включают конфиденциальность, прозрачность, социальные проблемы и разнообразие в представлении. Эти факторы затрагивают различные уровни, такие как технология, дизайн пользовательского интерфейса , пользователь, контекст обслуживания и общество. [35] Существует обеспокоенность по поводу неэтичного злоупотребления «генерацией аргументов по спорным темам с конкретными позициями и их размещением на социальных платформах». [36] Другая проблема может касаться разработки алгоритмов принятия выводов, таких как, например, возможность сделать вывод о том, что необходимы определенные ключевые данные, вместо того, чтобы просто составлять списки наиболее подходящих выводов или позволить генерировать несколько выводов на основе одних и тех же данных. на разных аргументах-оценках или методах оценки.

Рекомендации

  1. ^ ван Эмерен, Франс Х.; Гарссен, Барт; Краббе, Эрик CW; Снук Хенкеманс, А. Франциска; Верхей, Барт; Вагеманс, Жан Х.М. (2014), ван Эмерен, Франс Х.; Гарссен, Барт; Краббе, Эрик CW; Сноек Хенкеманс, А. Франциска (ред.), «Аргументация и искусственный интеллект», Справочник по теории аргументации , Дордрехт: Springer Нидерланды, стр. 615–675, номер документа : 10.1007/978-90-481-9473-5_11, ISBN 978-90-481-9473-5, получено 8 декабря 2021 г.
  2. ^ Праккен, Генри (2014). «Среда ASPIC + для структурированной аргументации: учебное пособие». Аргумент и вычисление . 5 (1): 31–62. дои : 10.1080/19462166.2013.869766 .
  3. ^ Рид, К. и Норман, Т.Дж. (ред.) Машины аргументации. Клювер, 2003.
  4. ^ «Вычислительные модели естественного аргумента». www.cmna.info .
  5. ^ Например: «Материалы 6-го семинара по анализу аргументов - Антология ACL». www.aclweb.org . Ассоциация компьютерной лингвистики . Август 2019 года . Проверено 7 декабря 2020 г.
  6. ^ "Серия конференций по вычислительным моделям аргументов" . www.comma-conf.org .
  7. ^ "Журнал аргументов и вычислений". www.tandf.co.uk . Архивировано из оригинала 21 февраля 2012 г.
  8. ^ "Журнал аргументов и вычислений". www.iospress.nl . Август 2023.
  9. ^ Шойер, О.; Лолль, Ф.; Пинкварт, Н.; Макларен, Б.М. (2010). «Аргументация, поддерживаемая компьютером: обзор современного состояния». Совместное обучение с компьютерной поддержкой . 5 (1): 43–102. doi : 10.1007/s11412-009-9080-x. S2CID  4473082.
  10. ^ Рахван, Ияд; Рид, Крис (2009), Симари, Гильермо; Рахван, Ияд (ред.), «Формат обмена аргументами», Аргументация в искусственном интеллекте , Бостон, Массачусетс: Springer US, стр. 383–402, Bibcode : 2009aai..book..383R, doi : 10.1007/978-0 -387-98197-0_19, hdl : 21.11116/0000-0002-CA71-B , ISBN 978-0-387-98197-0, получено 8 декабря 2021 г.
  11. ^ аб Слоним, Ноам; Билу, Йонатан; Альзате, Карлос; Бар-Хаим, Рой; Богин, Бен; Бонен, Франческа; Хошен, Лешем; Коэн-Карлик, Эдо; Данкин, Лена; Эдельштейн, Лилах; Эйн-Дор, Лиат (март 2021 г.). «Автономная дискуссионная система». Природа . 591 (7850): 379–384. Бибкод : 2021Natur.591..379S. doi : 10.1038/s41586-021-03215-w. ISSN  1476-4687. PMID  33731946. S2CID  232305184.
  12. ^ «Приоритетная программа «Машины надежной аргументации (RATIO)» (SPP 1999/2)». www.dfg.de. ​Проверено 8 декабря 2021 г.
  13. ^ Виссер, Джеки; Лоуренс, Джон; Рид, Крис (22 октября 2020 г.). «Причина проверки фейковых новостей». Коммуникации АКМ . 63 (11): 38–40. дои : 10.1145/3397189. ISSN  0001-0782. S2CID  225041563.
  14. ^ ИИ разоблачает группу, стоящую за Covid, Брекситом и климатом, со Стивеном Фраем. , получено 8 декабря 2021 г.
  15. ^ Бекс, Флорис Дж.; Грассо, Флориана; Грин, Нэнси Л.; Пальери, Фабио; Рид, Крис, ред. (2017). Технологии аргументации: теория, анализ и приложения . Исследования логики и аргументации. Том. 68. Лондон: Публикации колледжа. ISBN 9781848902183. ОСЛК  1012498399.
  16. ^ аб Бекс, Флорис Дж.; Снайт, Марк; Лоуренс, Джон; Рид, Крис (март 2014 г.). «ArguBlogging: приложение для сети аргументов» (PDF) . Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 25 :9–15. дои : 10.1016/j.websem.2014.02.002 .
  17. ^ Болтон, Эрик; Колдервуд, Алекс; Кристенсен, Найлз; Кафруни, Джером; Дрори, Иддо (2020). «Высококачественная генерация структурированных дебатов в реальном времени». arXiv : 2012.00209 [cs.CL].
  18. ^ Ахарони, Эхуд; и другие. (2014). «Претензии по требованию - первоначальная демонстрация системы автоматического обнаружения и идентификации полярности контекстно-зависимых претензий в огромных массивах». Материалы COLING 2014 : 6–9.
  19. ^ Аджжур, Ямен (2019). «Сбор данных для поиска аргументов: корпус args.me». 42-я Немецкая конференция по искусственному интеллекту (KI 2019) : 48–59.
  20. ^ Лоуренс, Джон; Бекс, Флорис; Рид, Крис; Снайт, Марк (сентябрь 2012 г.). «AIFdb: Инфраструктура для сети аргументов». В Верхейе, Барт; Зейдер, Стефан; Вольтран, Стефан (ред.). Вычислительные модели аргументации . Границы искусственного интеллекта и приложений. Том. 245. ИОС Пресс. стр. 515–516. дои : 10.3233/978-1-61499-111-3-515.
  21. ^ Стаб, Кристиан; Гуревич, Ирина (2014). «Определение аргументативных структур дискурса в убедительных эссе». Труды EMNLP 2014 : 46–56. дои : 10.3115/v1/D14-1006 . S2CID  71907.
  22. ^ Грин, Нэнси Л. (2013). «К автоматизированному анализу студенческих аргументов». Ин Лейн, Х. Чад; Ясеф, Калина; Мостоу, Джек; Павлик, Филип (ред.). Искусственный интеллект в образовании: 16-я международная конференция AIED 2013, Мемфис, Теннесси, США, 9–13 июля 2013 г.: материалы . Конспекты лекций по информатике. Том. 7926. Берлин; Нью-Йорк: Springer-Verlag . стр. 591–594. дои : 10.1007/978-3-642-39112-5_66. ISBN 9783642391118.
  23. ^ Анастасиу, Лукас; Де Лиддо, Анна (8 мая 2021 г.). «Осмысление онлайн-обсуждений: могут ли помочь автоматизированные отчеты?». Расширенные тезисы конференции CHI 2021 года по человеческому фактору в вычислительных системах . Ассоциация вычислительной техники. стр. 1–7. дои : 10.1145/3411763.3451815. ISBN 9781450380959. S2CID  233987842.
  24. ^ Аб Бец, Грегор (2022). «Мультиагентное моделирование динамики аргументированных мнений на естественном языке». Журнал искусственных обществ и социального моделирования . 25 : 2.arXiv : 2104.06737 . дои : 10.18564/jasss.4725. S2CID  233231231.
  25. ^ Например: «Аналитика аргументов». аналитика.arg.tech . Проверено 11 августа 2020 г. .
  26. ^ Например: «Киало». www.kialo.com . Проверено 11 августа 2020 г. .
  27. ^ аб Интрон, Джошуа; Яндоли, Лука (01 августа 2014 г.). «Повышение эффективности принятия решений посредством аргументации: система поддержки принятия решений на основе аргументов для вычислений с доказательствами». Системы поддержки принятия решений . 64 : 79–89. дои : 10.1016/j.dss.2014.04.005. ISSN  0167-9236.
  28. ^ Ханссон, Свен Уве; Хирш Хадорн, Гертруда (2 декабря 2018 г.). «Аргументационная поддержка принятия решений для анализа рисков». Журнал исследований рисков . 21 (12): 1449–1464. дои : 10.1080/13669877.2017.1313767. ISSN  1366-9877. S2CID  125354345.
  29. ^ Манчерджи, Кевин; Содан, Анджела К. (сентябрь 2004 г.). «Могут ли компьютерные инструменты способствовать принятию этических решений?». ACM SIGCAS Компьютеры и общество . 34 (2): 1. CiteSeerX 10.1.1.61.7160 . дои : 10.1145/1052791.1052792. S2CID  5503640. 
  30. ^ Мэтисон, Киран (декабрь 2007 г.). «На пути к науке о дизайне этической поддержки принятия решений». Журнал деловой этики . 76 (3): 269–292. дои : 10.1007/s10551-006-9281-4. JSTOR  25075516. S2CID  143999917.
  31. ^ Лолл, Фрэнк; Пинкварт, Нильс; Шойер, Оливер; Макларен, Брюс М. (июль 2009 г.). «На пути к гибкой интеллектуальной системе обучения аргументации». 2009 г. Девятая международная конференция IEEE по передовым технологиям обучения, 15–17 июля 2009 г. IEEE. стр. 647–648. CiteSeerX 10.1.1.329.6574 . дои : 10.1109/ICALT.2009.138. S2CID  1026429. 
  32. ^ Голдин, Илья М.; Эшли, Кевин Д.; Пинкус, Роза Л. (май 2001 г.). «Представляем PETE: компьютерную поддержку преподавания этики». ICAIL '01: Материалы 8-й Международной конференции по искусственному интеллекту и праву . Нью-Йорк: Ассоциация вычислительной техники . стр. 94–98. CiteSeerX 10.1.1.19.6676 . дои : 10.1145/383535.383546. ISBN  978-1-58113-368-4. S2CID  979724.
  33. ^ Эшли, Кевин Д.; Алевен, Винсент (май 1991 г.). «На пути к интеллектуальной системе обучения для обучения студентов-юристов аргументировать дела». ICAIL '91: Материалы 3-й Международной конференции по искусственному интеллекту и праву. Нью-Йорк: Ассоциация вычислительной техники . стр. 42–52. дои : 10.1145/112646.112651. ISBN 978-0-89791-399-7. S2CID  6814858.
  34. ^ Риттер, Стивен; Андерсон, Джон Р.; Кёдингер, Кеннет Р.; Корбетт, Альберт (апрель 2007 г.). «Когнитивный наставник: прикладные исследования в математическом образовании» (PDF) . Психономический бюллетень и обзор . 14 (2): 249–255. CiteSeerX 10.1.1.158.4283 . дои : 10.3758/bf03194060. PMID  17694909. S2CID  9547046. 
  35. ^ Брюггемайер, Биргит; Лалоне, Филип (январь 2022 г.). «Восприятие и реакция на конфиденциальность разговоров, инициируемую диалоговым пользовательским интерфейсом». Компьютерная речь и язык . 71 : 101269. doi : 10.1016/j.csl.2021.101269 . ISSN  0885-2308.
  36. ^ Аль Хатиб, Халид; Траутнер, Лукас; Ваксмут, Хеннинг; Хоу, Юфан; Штейн, Бенно (август 2021 г.). «Использование графов знаний аргументации для нейронной генерации аргументов» (PDF) . Материалы 59-го ежегодного собрания Ассоциации компьютерной лингвистики и 11-й Международной совместной конференции по обработке естественного языка (Том 1: Длинные статьи) . Ассоциация компьютерной лингвистики: 4744–4754. doi : 10.18653/v1/2021.acl-long.366. S2CID  236460348.