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