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