Araucaria — это программное обеспечение для отображения аргументов, разработанное в 2001 году Крисом Ридом и Гленном Роу в группе исследований аргументации в Школе вычислений в Университете Данди , Шотландия . Оно предназначено для визуального представления аргументов с помощью диаграмм, которые могут использоваться для анализа и храниться в языке разметки аргументов (AML) на основе XML . Как свободное программное обеспечение , оно доступно под лицензией GNU General Public License и может быть бесплатно загружено в Интернете. [1]
Пользовательский интерфейс состоит из главного окна (диаграмм), редактора схем и онлайн-интерфейса AraucariaDB.
Когда текстовый файл загружен в программу, текст отображается на левой панели главного окна. Выделение фрагментов текста перед нажатием на правую (большую) панель создает соответствующие узлы в нижней части этой панели. Затем узлы можно объединять в пары, перетаскивая один (который будет предпосылкой) на другой (вывод). Каждому узлу можно присвоить значение, например, право собственности на предложение или оценку, указывающую степень уверенности в предпосылке. Аналогичным образом, к стрелкам можно добавлять символы, чтобы указать силу вывода. Кроме того, пользователь может связывать аргументы, предоставлять недостающие предпосылки (реконструкция аргумента) и использовать опровержения. Диаграмма всегда будет иметь форму древовидной структуры в Araucaria. Пользователь может выбрать перевод аргумента в стандартную диаграмму, диаграмму Тулмина или диаграмму Вигмора , Araucaria 3.1 является первым программным обеспечением, интегрирующим последнюю онтологию и решающим проблемы перевода между различными диаграммами. [2]
Хотя Araucaria помогает определить структуру аргумента, она предоставляет свободу ресурсов анализа. Редактор схем позволяет пользователю создавать схемы аргументации , группировать их вместе и сохранять в файле набора схем. Затем набор схем применяется к диаграмме, полностью или частично. В качестве иллюстрации схема аргументации , основанная на симптомах, может быть применена к следующему утверждению: «Свет погас. Следовательно, лампочка, должно быть, сломана», с критическими вопросами, призванными определить, может ли результат быть вызван другой причиной (например, «все ли огни в квартире погасли?»).
Онлайн-репозиторий AraucariaDB можно просматривать для извлечения определенных аргументов, подходящих для диаграммы. В качестве альтернативы, диаграмма аргументов вместе с аннотациями может быть сохранена в базе данных.
Araucaria была разработана на Java для поддержки на большинстве платформ. [3] Она лицензирована в соответствии с GNU General Public License и соответствует стандартам свободного программного обеспечения . Argument Markup Language (AML) был создан для поддержания развивающихся отношений между текстом и диаграммой. С этой целью к тексту добавляются теги, которые определяют связь между каждым компонентом. AML разработан как приложение теории аргументации в искусственном интеллекте . [4]
Поскольку он основан на XML , стандарте, широко используемом разработчиками, доступ к контенту AML можно получить через другое программное обеспечение, поддерживающее XML. Аналогично, данные AML легко доступны в сети после использования таблиц стилей для создания веб-страниц HTML .
Сама Araucaria задумана как совместимая с другими инструментами. Одним из примеров интеграции является библиотека программного обеспечения для аргументации Argkit. [5] Онлайн-корпусное обеспечение [6] [7] является расширением проекта Araucaria. Планируется дальнейшая интеграция с другими приложениями, которые в настоящее время находятся в разработке. [8]
Программное обеспечение нацелено на предоставление как педагогического инструмента (улучшение обучения навыкам критического мышления благодаря диаграммированию), так и поддержки исследований в области теории аргументации и неформальной логики . Кроме того, оно подходит для профессиональных целей, [9] поскольку сокращает время, необходимое для обработки данных.
Среди вариантов диаграмм, доступных пользователю, диаграммы Вигмора были предназначены для использования в анализе судебных дел. Инструменты картирования аргументов особенно подходят для профессионалов и ученых в области права, у которых есть значительное количество аргументов, которые необходимо обрабатывать последовательно. Араукария использовалась магистратами в судах Онтарио для помощи с большим объемом относительно простых дел. [10]
Преимущества использования Араукарии как в обучении, так и в преподавании философии были рассмотрены авторами программы, вместе с другими учеными, в статье, опубликованной в 2006 году. [11] Они подчеркнули, насколько легче объяснять и обобщать теории философов, когда аргументы визуализированы в виде диаграммы. Качественный опрос был проведен среди студентов, выявивших положительные результаты. [12]
Araucaria похожа на другие уже существующие программы в некоторых своих приложениях. Однако намерением авторов было «заполнить пробел» в предоставлении инструмента, способного «поддерживать как обучение, так и исследования в области теории аргументации». [13]
По состоянию на середину 2009 года, Araucaria, как полагают, имела около 10 000 пользователей, [14] хотя это трудно оценить с точностью, когда речь идет о программном обеспечении, доступном бесплатно в Интернете. Журналы IP-адресов показывают, что база пользователей очень широка как на географическом уровне (более 40 стран), так и на отраслевом уровне (диапазон доменов, включая врачей, статистиков, юристов и инженеров). [15]
Хотя Araucaria, возможно, является одним из самых сложных пакетов программного обеспечения для построения диаграмм и имеет значительную пользовательскую базу, его интерфейс и функции могут считаться устаревшими. По словам Криса Рида, «ведётся масштабная переработка, которая обеспечивает поддержку AIF ». [16] Неизвестно, станет ли эта переработка поводом превратить Araucaria в онлайн- и/или совместную программу. Онлайн-инструмент, поддерживающий AIF, хотя и с менее комплексными функциями, был недавно разработан исследовательской группой Рида (ARG:dundee). [17] Доступна альфа-версия этой Онлайн-визуализации аргумента (OVA). [ 18 ]
Кроме того, одним из долгосрочных проектов Рида было преодоление ограничений компьютерного построения диаграмм, вызванных интерпретацией естественного языка, и добавление диалогической структуры аргументации в программное обеспечение. С октября 2009 года по март 2013 года исследовательская программа под названием «Машины диалектической аргументации» [19] пытается сделать первый шаг к этой цели.