Технология аргументов - Argument technology

Технология аргументов является подполе искусственный интеллект который фокусируется на применении вычислительных методов для создания, идентификации, анализа, навигации, оценки и визуализации аргументов и дебатов. Искусственный интеллект В 1980-х и 1990-х годах философские теории аргументы использовались для решения ключевых вычислительных задач, таких как моделирование немонотонный и отменяемый обоснование и разработка надежных протоколов координации для мультиагентные системы. В то же время механизмы вычисления семантика из Фреймворки аргументации были введены как способ обеспечения исчисления оппозиции[1] для вычисления того, во что разумно верить в контексте противоречивых аргументов.

Создав эти основы, этот регион был запущен семинаром, проведенным в Шотландском Высокогорье в 2000 году, результатом которого стала книга, написанная философами аргументации, риторами, учеными-юристами и исследователями искусственного интеллекта.[2] С тех пор в этой области проводятся различные специализированные мероприятия, такие как Международный семинар по вычислительным моделям естественного аргумента (CMNA).[3] который проводится ежегодно с 2001 года; Международный семинар по аргументам в многоагентных системах (ArgMAS) ежегодно с 2004 г .; семинар по интеллектуальному анализу,[4] ежегодно с 2014 года и Конференция по вычислительным моделям аргументов (COMMA),[5] один раз в два года с 2006 г. С 2010 г. ведется также собственный журнал, Аргументы и вычисления, который издавался Taylor & Francis до 2016 г.[6] и с тех пор IOS Press.[7]

Одной из проблем, с которыми столкнулась технология аргументации, было отсутствие стандартизации в представлении и лежащей в основе концепции аргументации в машиночитаемых терминах. Множество различных программных инструментов для руководства анализ аргументов, в частности, были разработаны идиосинкразические и специальные способы представления аргументов, которые отражали различные лежащие в основе способы представления аргументативной структуры.[8] Отсутствие стандартизации также означало, что не было обмена между инструментами или между исследовательскими проектами, а также мало повторного использования ресурсов данных, создание которых часто было дорогостоящим. Чтобы решить эту проблему, Формат обмена аргументами намеревались установить общий стандарт, который отражает минимальные общие черты аргументации, которые затем могут быть расширены в различных условиях.

Технология Argment находит применение в различных областях, в том числе образование, здравоохранение, создание политики, и управление рисками и имеет множество подобластей, методологий и технологий.[9]

Технологии

Помощник по аргументам

Смотрите также: Помощник доказательства и Компьютерное доказательство

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

Аргумент блоггинга

Смотрите также: Сеть аргументов

ArguBlogging - это программное обеспечение, которое позволяет пользователям выбирать части гипертекста на веб-страницах в своих Веб-браузеры и соглашаться или не соглашаться с выбранным контентом, размещая свои аргументы к их блоги с связанные данные аргумента.[10] Он реализован как букмарклет, добавляя функциональность к Веб-браузеры и взаимодействие с платформами для ведения блогов, такими как Blogger и Tumblr.[10]

Отображение аргументов

Основная статья: Карта аргументов

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

Анализ аргументов

Основная статья: Анализ аргументов

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

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

Основная статья: Поисковая система (вычисления)

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

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

Основная статья: Автоматическая оценка эссе

Цель автоматизированных систем аргументированной оценки эссе - помочь студентам улучшить свои письменные навыки путем измерения качества аргументированного содержания.[12][13]

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

Основная статья: Технология дебатов

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

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

Основные статьи: Система поддержки принятия решений и Интеллектуальная система поддержки принятия решений

Технология аргументации может улучшить системы поддержки принятия решений и интеллектуальные системы поддержки принятия решений.

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

Смотрите также: Моральное рассуждение

Система поддержки этических решений - это система поддержки принятия решений который поддерживает пользователей в моральное рассуждение и принимать решение.[16][17]

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

Основные статьи: Правовая экспертная система и Применение искусственного интеллекта в правовой информатике

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

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

Основные статьи: Объяснимый искусственный интеллект, Аргумент § Пояснения, и Объяснение

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

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

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

An интеллектуальная система обучения представляет собой компьютерную систему, которая направлена ​​на предоставление учащимся немедленных и индивидуальных инструкций или обратной связи, обычно без вмешательства учителя-человека. Пересечение технологии аргументации и интеллектуальных обучающих систем включает компьютерные системы, которые нацелены на обучение критическому мышлению, аргументации и т. Д.[18] этика,[19] закон,[20] математика,[21] и философия.

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

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

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

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

Основная статья: Машинная этика
Смотрите также: Моральное рассуждение

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

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

Основные статьи: Помощник доказательства и Компьютерное доказательство

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

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

  1. ^ Праккен, Генри (2014). «Платформа ASPIC + для структурированной аргументации: учебное пособие». Аргументы и вычисления. 5 (1): 31–62.
  2. ^ Рид К. и Норман Т.Дж. (ред.) Машины аргументации. Kluwer, 2003.
  3. ^ «Вычислительные модели естественного аргумента». www.cmna.info.
  4. ^ Например: "Материалы 6-го семинара по интеллектуальному анализу аргументов - антология ACL". www.aclweb.org. Ассоциация компьютерной лингвистики. Август 2019 г.. Получено 7 декабря 2020.
  5. ^ "Вычислительные модели аргументов серии конференций". www.comma-conf.org.
  6. ^ "Журнал аргументов и вычислений". www.tandf.co.uk. Архивировано из оригинал 21 февраля 2012 г.
  7. ^ "Журнал аргументов и вычислений". www.iospress.nl.
  8. ^ Scheuer, O .; Loll, F .; Pinkwart, N .; Макларен, Б. «Компьютерная аргументация: обзор современного состояния». Совместное обучение с помощью компьютера. 5 (1): 43–102.
  9. ^ Бекс, Флорис Дж .; Грассо, Флориана; Грин, Нэнси Л .; Пальери, Фабио; Рид, Крис, ред. (2017). Аргументальные технологии: теория, анализ и приложения. Исследования по логике и аргументации. 68. Лондон: публикации колледжа. ISBN  9781848902183. OCLC  1012498399.
  10. ^ а б Бекс, Флорис Дж .; Снайт, Марк; Лоуренс, Джон; Рид, Крис (март 2014 г.). «ArguBlogging: приложение для сети аргументов» (PDF). Веб-семантика: наука, услуги и агенты во всемирной паутине. 25: 9–15. Дои:10.1016 / j.websem.2014.02.002.
  11. ^ Ахарони, Эхуд; и другие. (2014). «Требования по запросу - первая демонстрация системы автоматического обнаружения и идентификации полярности контекстно-зависимых требований в массивных корпусах». Материалы COLING 2014: 6–9.
  12. ^ Удар, Кристиан; Гуревич, Ирина (2014). «Выявление структур аргументированного дискурса в убедительных эссе». Материалы ЕМНЛП 2014: 46–56. Дои:10.3115 / v1 / D14-1006.
  13. ^ Грин, Нэнси Л. (2013). «К автоматизированному анализу аргументов студентов». В переулке, Х. Чад; Яцеф, Калина; Мостоу, Джек; Павлик, Филипп (ред.). Искусственный интеллект в образовании: 16-я международная конференция AIED 2013, Мемфис, Теннесси, США, 9–13 июля 2013 г .: материалы. Конспект лекций по информатике. 7926. Берлин; Нью-Йорк: Springer-Verlag. С. 591–594. Дои:10.1007/978-3-642-39112-5_66. ISBN  9783642391118.
  14. ^ Например: «Аргумент-аналитика». analytics.arg.tech. Получено 11 августа 2020.
  15. ^ Например: «Киало». www.kialo.com. Получено 11 августа 2020.
  16. ^ Манчерджи, Кевин; Содан, Анджела С. (сентябрь 2004 г.). «Могут ли компьютерные инструменты поддерживать принятие этических решений?». ACM SIGCAS Компьютеры и общество. 34 (2): 1. CiteSeerX  10.1.1.61.7160. Дои:10.1145/1052791.1052792.
  17. ^ Мэтисон, Киран (декабрь 2007 г.). «К науке о дизайне поддержки этических решений». Журнал деловой этики. 76 (3): 269–292. Дои:10.1007 / s10551-006-9281-4. JSTOR  25075516.
  18. ^ Лолл, Фрэнк; Пинкварт, Нильс; Шойер, Оливер; Макларен, Брюс М. (июль 2009 г.). «На пути к гибкой интеллектуальной системе обучения аргументации». 2009 Девятая Международная конференция IEEE по передовым технологиям обучения, 15–17 июля 2009 г.. IEEE. С. 647–648. CiteSeerX  10.1.1.329.6574. Дои:10.1109 / ICALT.2009.138.
  19. ^ Гольдин, Илья М .; Эшли, Кевин Д.; Пинкус, Роза Л. (май 2001 г.). «Представляем PETE: компьютерная поддержка этики преподавания». ICAIL '01: Материалы 8-й Международной конференции по искусственному интеллекту и праву. Нью-Йорк: Ассоциация вычислительной техники. С. 94–98. CiteSeerX  10.1.1.19.6676. Дои:10.1145/383535.383546. ISBN  978-1-58113-368-4.
  20. ^ Эшли, Кевин Д.; Алевен, Винсент (май 1991 г.). «К интеллектуальной системе обучения для обучения студентов юридических факультетов аргументированию судебных дел». ICAIL '91: Материалы 3-й Международной конференции по искусственному интеллекту и праву. Нью-Йорк: Ассоциация вычислительной техники. С. 42–52. Дои:10.1145/112646.112651. ISBN  978-0-89791-399-7.
  21. ^ Риттер, Стивен; Андерсон, Джон Р .; Koedinger, Kenneth R .; Корбетт, Альберт (апрель 2007 г.). «Когнитивный репетитор: прикладные исследования в математическом образовании» (PDF). Психономический бюллетень и обзор. 14 (2): 249–255. CiteSeerX  10.1.1.158.4283. Дои:10.3758 / bf03194060. PMID  17694909.