Араукария (программное обеспечение)
![]() | |
Разработчик(и) | Крис Рид, Гленн Роу |
---|---|
Стабильная версия | 3.1 / 27 июня 2006 г |
Написано в | Ява |
Операционная система | Окна Мак ОС Х Юникс Линукс Солярис |
Тип | Программное обеспечение для сопоставления аргументов |
Лицензия | Стандартная общественная лицензия GNU |
Веб-сайт | араукария |
Araucaria — это программный инструмент для отображения аргументов, разработанный в 2001 году Крисом Ридом и Гленном Роу в группе исследования аргументации Школы вычислительной техники Университета Данди , Шотландия . Он предназначен для визуального представления аргументов с помощью диаграмм, которые можно использовать для анализа и хранить на языке разметки аргументов (AML), основанном на XML . Будучи свободным программным обеспечением , оно доступно под лицензией GNU General Public License и может быть бесплатно загружено из Интернета. [1]
Как это работает
[ редактировать ]Пользовательский интерфейс состоит из главного окна (схем), редактора схем и онлайн-интерфейса AraucariaDB.
Когда текстовый файл загружается в программу, текст отображается на левой панели главного окна. Выделение частей текста перед нажатием на правую (большую) панель создает соответствующие узлы внизу этой панели. Затем узлы можно объединить в пары, перетащив один (который будет предпосылкой) на другой (заключение). К каждому узлу может быть прикреплено значение, такое как право собственности на предложение, или оценка, определяющая степень доверия к предпосылке. Аналогичным образом, к стрелкам можно добавить символы, чтобы обозначить силу вывода. Кроме того, пользователь может связывать аргументы, дополнять недостающие предпосылки (реконструкция аргументов) и использовать опровержения. Диаграмма всегда будет иметь форму древовидной структуры в Араукарии. Пользователь может выбрать перевод аргумента в стандартную диаграмму, диаграмму Тулмина или диаграмму Вигмора , причем Araucaria 3.1 является первым программным обеспечением, интегрирующим последнюю онтологию и решающим проблемы перевода между различными диаграммами. [2]
Хотя араукария помогает определить структуру аргумента, она предоставляет свободу анализа ресурсов. Редактор схем позволяет пользователю создавать схемы аргументации , группировать их и сохранять в файл набора схем. Затем набор схем применяется к диаграмме полностью или частично. В качестве иллюстрации можно применить схему аргументации, основанную на симптомах, к следующему утверждению: «Свет погас. Следовательно, лампочка должна быть разбита», с критическими вопросами, призванными определить, может ли результат быть вызван другой причиной (например, как «В квартире погас свет?»).
Онлайн-репозиторий AraucariaDB можно просматривать для получения конкретных аргументов, соответствующих диаграмме. Альтернативно, диаграмму аргументов вместе с аннотациями можно сохранить в базе данных.
Технические детали
[ редактировать ]Араукария была разработана на Java для поддержки на большинстве платформ. [3] Он распространяется по лицензии GNU General Public License и соответствует стандартам свободного программного обеспечения .Язык разметки аргументов (AML) был создан для поддержания развивающихся отношений между текстом и диаграммой. Для этого в текст добавляются теги, задающие связь между каждым компонентом. AML задуман как применение теории аргументации в искусственном интеллекте . [4]
Поскольку он основан на XML , стандарте, широко используемом разработчиками, доступ к контенту AML можно получить через другое программное обеспечение, поддерживающее XML. Аналогичным образом, данные AML легко доступны в Интернете после использования таблиц стилей для создания веб-страниц HTML .
Сама араукария задумана как совместимая с другими средствами. Одним из примеров интеграции является библиотека программного обеспечения для аргументации Argkit. [5] Положение об онлайн-корпусе [6] [7] является продолжением проекта Араукария. Планируется дальнейшая интеграция с другими приложениями, находящимися в стадии разработки. [8]
Приложения
[ редактировать ]Программное обеспечение предназначено как для педагогического инструмента (улучшение обучения навыкам критического мышления благодаря построению диаграмм), так и для поддержки исследований в области теории аргументации и неформальной логики . Кроме того, он подходит для профессиональных целей, [9] поскольку это сокращает время, необходимое для обработки данных.
Среди доступных пользователю диаграмм диаграммы Вигмора предназначались для анализа юридических дел. Инструменты сопоставления аргументов особенно подходят профессионалам и ученым в области права, которым необходимо последовательно обрабатывать значительное количество аргументов. Араукария использовалась мировыми судьями в судах Онтарио для помощи в рассмотрении большого количества относительно простых дел. [10]
Преимущества использования араукарии как в обучении, так и в преподавании философии были рассмотрены авторами программы вместе с другими учеными в статье, опубликованной в 2006 году. [11] Они подчеркнули, насколько легче объяснять и обобщать теории философов, когда аргументы визуализируются в виде диаграммы. Среди студентов проведен качественный опрос, показавший положительные результаты. [12]
Araucaria в некоторых своих приложениях похожа на другое ранее существовавшее программное обеспечение. Однако намерение авторов состояло в том, чтобы «заполнить пробел» в предоставлении инструмента, способного «поддерживать как преподавание, так и исследования в области теории аргументации». [13]
По состоянию на середину 2009 года у Araucaria около 10 000 пользователей. [14] хотя это трудно оценить с точностью, когда речь идет о программном обеспечении, бесплатно доступном в Интернете. Журналы IP-адресов показывают, что база пользователей очень широка как на географическом уровне (более 40 стран), так и на отраслевом уровне (диапазон доменов, включая врачей, статистиков, юристов и инженеров). [15]
Будущие разработки
[ редактировать ]Хотя Araucaria, возможно, является одним из самых сложных программных пакетов для построения диаграмм и имеет значительную базу пользователей, его интерфейс и функции можно рассматривать как устаревшие. По словам Криса Рида, «идет масштабная переработка, обеспечивающая поддержку AIF ». [16] Неизвестно, станет ли эта переработка поводом для превращения Араукарии в онлайн-программу и/или совместную программу. Онлайн-инструмент, поддерживающий AIF, хотя и с менее обширными функциями, недавно был разработан исследовательской группой Рида (ARG:dundee). [17] ) . Доступна альфа-версия онлайн-визуализации аргумента (OVA [18]
Кроме того, одним из давних проектов Рида было устранение ограничений компьютерных диаграмм, вызванных интерпретацией естественного языка, и добавление в программное обеспечение структуры диалогической аргументации. С октября 2009 г. по март 2013 г. проходила исследовательская программа «Машины диалектической аргументации». [19] предпринимается попытка сделать первый шаг к этой цели.
См. также
[ редактировать ]- Карта аргументов
- Концепция майнинга
- эвристика
- Информационные технологии
- Тематическая информационная система
- Немонотонная логика
- Онтология
- Семантическая сеть
- Стивен Тулмин
- Диаграмма Вигмора
- XML
Примечания
[ редактировать ]- ^ "version_3.1 [Araucaria@ARG:dundee]" . Araucaria.computing.dundee.ac.uk. 14 сентября 2009 г. Архивировано из оригинала 24 августа 2010 года . Проверено 8 сентября 2010 г.
- ^ Беснар, 2008, стр. 357.
- ^ «В рамках приверженности поддержке разнообразия», Рид, 2004, стр. 5.
- ^ Рид 2004, стр. 10.
- ^ «Араукария — АргКит» . Argkit.org. 18 января 2008 г. Проверено 8 сентября 2010 г. и Беснар 2008, стр. 366.
- ^ «Домашняя страница AraucariaDB» . Arg.dundee.ac.uk. Архивировано из оригинала 24 августа 2010 года . Проверено 8 сентября 2010 г.
- ^ «АИФдб» . Arg.dundee.ac.uk . Проверено 12 января 2015 г.
- ^ Рид, 2004, стр. 1.
- ^ Рид, 2007, стр. 36.
- ^ Рид, 2007, стр. 37 и Праккен, 2008, стр. 453.
- ^ Роу, Маканьо, Рид, Уолтон, 2006 г.
- ^ Роу, Маканьо, Рид, Уолтон, 2006, стр. 122.
- ^ Рид, 2001, стр. 4.
- ^ Рахван, 2009, стр. 398.
- ^ Окада, 2008, стр. 177.
- ^ Рахван 2009, стр. 398.
- ^ «Онлайн-визуализация аргумента — ARG:dundee» . Arg.dundee.ac.uk. 14 ноября 2008 г. Архивировано из оригинала 16 августа 2010 года . Проверено 8 сентября 2010 г.
- ^ «OVA от ARG@Dundee — arg.dundee.ac.uk» . Ova.computing.dundee.ac.uk. Архивировано из оригинала 23 августа 2010 года . Проверено 8 сентября 2010 г.
- ^ «Машины диалектической аргументации» . Gow.epsrc.ac.uk . Проверено 8 сентября 2010 г.
Ссылки
[ редактировать ]- Араукария: программное обеспечение для решения головоломок в области диаграмм аргументов и XML, Крис Рид и Гленн Роу, 2001 г.
- Араукария: программное обеспечение для анализа, построения диаграмм и представления аргументов, Крис Рид и Гленн Роу, 2004 г.
- Методы аргументации искусственного интеллекта в праве, Дуглас Н. Уолтон, 2005 г.
- Араукария как инструмент для построения диаграмм аргументов в преподавании и изучении философии, Гленн Роу, Фабрицио Маканьо, Крис Рид, Дуглас Уолтон, 2006 г.
- Рефакторинг закона: переформулирование юридических онтологий, Гаррет Уилсон, 2006 г.
- Вигмор, Тулмин и Уолтон, Диаграммная троица и их применение в юридической практике, Крис Рид, 2007 г.
- Свидетельские показания: аргументация и закон, Дуглас Н. Уолтон, 2007 г.
- Теория диалога для критической аргументации, Дуглас Н. Уолтон, 2007 г.
- Вычислительные модели аргументации: материалы COMMA 2008, Филипп Беснар, Сильви Дутр, Энтони Хантер
- Искусственный интеллект и закон о юридических аргументах: тенденции исследований и перспективы применения, Генри Праккен, SCRIPTed, том 5, выпуск 3, декабрь 2008 г.
- Картография знаний: программные средства и методы картографирования, Александра Окада, Саймон Дж. Бэкингем Шам, Тони Шерборн, 2008 г.
- Привнесение визуальной ясности в сложные проблемы, Тим ван Гелдер, 2009 г.
- Аргументация в области искусственного интеллекта , Ияд Рахван, Гильермо Р. Симари (редактор), 2009 г.
- Схема аргументации для обучения на основе конкретных случаев и совместного построения диаграмм аргументов онлайн, Дж. Доуэлл, М. Чолль, Т. Гладиш, М. Асгари-Тарги, 2009 г.
- Юридические онтологии создают семантическую сеть, доктор Адам З. Винер, 2009 г.
- Улучшение критического мышления с помощью упражнений по сопоставлению аргументов через Интернет с автоматической обратной связью, С.Бутчарт, Д.Форстер, И.Голд, Дж.Бигелоу, К.Корб, Г.Оппи, А.Серренти, 2009 г.