Araukaria (oprogramowanie)
Deweloperzy | Chrisa Reeda, Glenna Rowe'a |
---|---|
Wersja stabilna | 3.1 / 27 czerwca 2006
|
Napisane w | Jawa |
System operacyjny |
Windows Mac OS X Unix Linux Solaris |
Typ | Oprogramowanie do mapowania argumentów |
Licencja | Powszechna Licencja Publiczna GNU |
Strona internetowa |
Araucaria to narzędzie do mapowania argumentów opracowane w 2001 roku przez Chrisa Reeda i Glenna Rowe'a w Argumentation Research Group w School of Computing na Uniwersytecie w Dundee w Szkocji . Został zaprojektowany do wizualnego przedstawiania argumentów za pomocą diagramów, które można wykorzystać do analizy i przechowywać w języku Argument Markup Language (AML), opartym na XML . Jako wolne oprogramowanie jest dostępne na licencji GNU General Public License i można je bezpłatnie pobrać z Internetu.
Jak to działa
Interfejs użytkownika składa się z okna głównego (diagramowanie), edytora schematów oraz interfejsu internetowego AraucariaDB.
Po załadowaniu pliku tekstowego do programu tekst jest wyświetlany w lewym panelu głównego okna. Podświetlanie fragmentów tekstu przed kliknięciem prawego (większego) panelu tworzy odpowiednie węzły na dole tego panelu. Węzły można następnie połączyć w pary, przeciągając jeden (który będzie przesłanką) do drugiego (wniosek). Do każdego węzła można dołączyć wartość, taką jak własność zdania lub ocena określająca stopień zaufania do przesłanki. Podobnie, do strzałek można dodać symbole, aby określić siłę wnioskowania. Ponadto użytkownik może łączyć argumenty, uzupełniać brakujące przesłanki (rekonstrukcja argumentów) oraz stosować obalenia. Diagram zawsze będzie miał formę struktury drzewa w Araucaria. Użytkownik ma wybór tłumaczenia argumentu na standardowy diagram, Toulmina lub diagram Wigmore'a , przy czym Araucaria 3.1 jest pierwszym oprogramowaniem, które integruje tę ostatnią ontologię i rozwiązuje problemy z translacją między różnymi diagramami.
Podczas gdy Araucaria pomaga zidentyfikować strukturę argumentu, zapewnia swobodę zasobów analitycznych. Edytor schematów umożliwia użytkownikowi tworzenie schematów argumentacji , grupowanie ich i zapisywanie w pliku zestawu schematów. Zestaw schematów jest następnie stosowany do diagramu, w całości lub w części. Dla ilustracji, schemat argumentacji oparty na objawach można by zastosować do następującego twierdzenia: „Światło zgasło. A zatem żarówka musi być pęknięta”, z krytycznymi pytaniami mającymi na celu ustalenie, czy wynik może wynikać z innej przyczyny (np. jako „czy wszystkie światła w mieszkaniu zgasły?”).
Repozytorium online AraucariaDB można przeglądać w celu pobrania określonych argumentów pasujących do diagramu. Alternatywnie diagram argumentów wraz z adnotacjami można zapisać w bazie danych.
Szczegóły techniczne
Araucaria została opracowana w Javie, aby była obsługiwana na większości platform. Jest objęty licencją GNU General Public License i jest zgodny ze standardami wolnego oprogramowania . Argument Markup Language (AML) został stworzony w celu utrzymania ewoluującego związku między tekstem a diagramem. W tym celu do tekstu dodawane są znaczniki określające połączenie między poszczególnymi komponentami. AML ma być zastosowaniem teorii argumentacji w sztucznej inteligencji .
Ponieważ jest oparty na XML , standardzie powszechnie używanym przez programistów, dostęp do treści AML można uzyskać za pośrednictwem innego oprogramowania obsługującego XML. Podobnie dane AML są łatwo dostępne online po użyciu arkuszy stylów do tworzenia stron internetowych HTML .
Sama Araucaria jest pomyślana jako kompatybilna z innymi narzędziami. Jednym z przykładów integracji jest biblioteka oprogramowania argumentacyjnego Argkit. Udostępnianie korpusu online jest rozszerzeniem projektu Araucaria. Planowana jest dalsza integracja z innymi aplikacjami, które są obecnie opracowywane.
Aplikacje
Oprogramowanie ma na celu dostarczenie zarówno narzędzia pedagogicznego (wzmacniającego nauczanie umiejętności krytycznego myślenia dzięki diagramom), jak i wsparcia badań z zakresu teorii argumentacji i logiki nieformalnej . Ponadto sprawdza się w celach zawodowych, gdyż skraca czas potrzebny na przetwarzanie danych.
Spośród dostępnych dla użytkownika wykresów do wyboru, wykresy Wigmore'a miały służyć do analizy spraw prawnych . Narzędzia do mapowania argumentów są szczególnie odpowiednie dla profesjonalistów i naukowców z dziedziny prawa, którzy mają do przetworzenia znaczną liczbę argumentów w spójny sposób. Araucaria była wykorzystywana przez sędziów w sądach Ontario do pomocy w dużej liczbie stosunkowo prostych spraw.
Zalety stosowania araukarii zarówno w uczeniu się, jak i nauczaniu filozofii autorzy programu, wraz z innymi naukowcami, rozważali w artykule opublikowanym w 2006 roku. Podkreślali oni, o ile łatwiej jest wyjaśniać i streszczać teorie filozofów, gdy argumenty są wizualizowane w formie diagram. Wśród uczniów przeprowadzono badanie jakościowe, które wykazało pozytywne wyniki.
Araucaria jest podobna do innych wcześniej istniejących programów w niektórych swoich aplikacjach. Jednak intencją autorów było „wypełnienie luki” w dostarczeniu narzędzia zdolnego „wspierać zarówno nauczanie, jak i badania w teorii argumentacji”.
Szacuje się, że w połowie 2009 r. Araucaria miała około 10 000 użytkowników, chociaż trudno to dokładnie oszacować, jeśli chodzi o oprogramowanie dostępne za darmo w Internecie. Logi adresów IP pokazują, że baza użytkowników jest bardzo szeroka zarówno na poziomie geograficznym (ponad 40 krajów), jak i sektorowym (zakres domen, w tym lekarze, statystycy, prawnicy i inżynierowie).
Przyszły rozwój
Chociaż Araucaria jest prawdopodobnie jednym z najbardziej wyrafinowanych pakietów oprogramowania do tworzenia diagramów i cieszy się dużą rzeszą użytkowników, jego interfejs i funkcje mogą być postrzegane jako przestarzałe. Według Chrisa Reeda „trwa przepisywanie na dużą skalę, które zapewnia wsparcie AIF ”. Nie wiadomo, czy to przepisanie będzie okazją do przekształcenia Araucarii w program online i / lub program współpracy. Narzędzie online obsługujące AIF, choć z mniej wszechstronnymi funkcjami, zostało niedawno opracowane przez grupę badawczą Reeda (ARG:dundee). wersja alfa tej wizualizacji argumentów online (OVA).
Ponadto jednym z długoletnich projektów Reeda było zmierzenie się z ograniczeniami tworzenia diagramów komputerowych wywołanymi interpretacją języka naturalnego oraz dodanie do oprogramowania dialogowej struktury argumentacji. Od października 2009 do marca 2013 program badawczy o nazwie „Maszyny do argumentacji dialektycznej” próbuje zrobić pierwszy krok w tym kierunku.
Zobacz też
- Mapa argumentów
- Eksploracja koncepcji
- Heurystyczny
- Technologia informacyjna
- System informacyjny oparty na problemach
- Logika niemonotoniczna
- Ontologia
- Sieć semantyczna
- Stefana Toulmina
- Wykres Wigmore'a
- XML
Notatki
- Araucaria: oprogramowanie do łamigłówek w diagramach argumentów i XML, Chris Reed i Glenn Rowe, 2001
- Araucaria: oprogramowanie do analizy argumentów, tworzenia diagramów i reprezentacji, Chris Reed i Glenn Rowe, 2004
- Metody argumentacji dla sztucznej inteligencji w prawie, Douglas N. Walton, 2005
- Araucaria jako narzędzie do tworzenia diagramów argumentów w nauczaniu i studiowaniu filozofii , Glenn Rowe, Fabrizio Macagno, Chris Reed, Douglas Walton, 2006
- Refaktoryzacja prawa: przeformułowanie ontologii prawnych, Garret Wilson, 2006
- Wigmore, Toulmin & Walton, Diagramowanie Trójcy i ich zastosowanie w praktyce prawnej, Chris Reed, 2007
- Dowody zeznań świadków: argumentacja i prawo, Douglas N. Walton, 2007
- Teoria dialogu dla krytycznej argumentacji, Douglas N. Walton, 2007
- Modele obliczeniowe argumentów: Proceedings of COMMA 2008, Philippe Besnard, Sylvie Doutre, Anthony Hunter
- AI & Law on Legal Argument: Research Trends and Application Prospects, Henry Prakken, SCRIPTed, tom 5, wydanie 3, grudzień 2008
- Kartografia wiedzy: narzędzia programowe i techniki mapowania, Alexandra Okada, Simon J. Buckingham Shum, Tony Sherborne, 2008
- Wizualna przejrzystość złożonych problemów, Tim van Gelder, 2009
- Argumentacja w sztucznej inteligencji, Iyad Rahwan, Guillermo R. Simari (redaktor), 2009
- Schemat argumentacji dla uczenia się opartego na przypadkach i wspólnego tworzenia diagramów argumentów online, J. Dowell, M. Tscholl, T. Gladisch, M. Asgari-Targhi, 2009
- Ontologie prawne spinają sieć semantyczną, dr Adam Z. Wyner, 2009
- Poprawa krytycznego myślenia za pomocą internetowych ćwiczeń mapowania argumentów z automatyczną informacją zwrotną, S.Butchart, D.Forster, I.Gold, J.Bigelow, K.Korb, G.Oppy, A.Serrenti, 2009