Araucaria (programvara)
Utvecklare | Chris Reed, Glenn Rowe |
---|---|
Stabil frisättning | 3.1 / 27 juni 2006
|
Skrivet i | Java |
Operativ system |
Windows Mac OS X Unix Linux Solaris |
Typ | Programvara för kartläggning av argument |
Licens | GNU General Public License |
Hemsida |
Araucaria är ett verktyg för argument kartläggning utvecklat 2001 av Chris Reed och Glenn Rowe, i Argumentation Research Group vid School of Computing vid University of Dundee , Skottland . Den är utformad för att visuellt representera argument genom diagram som kan användas för analys och lagras i Argument Markup Language (AML), baserat på XML . Som fri programvara är den tillgänglig under GNU General Public License och kan laddas ner gratis på internet.
Hur det fungerar
Användargränssnittet består av ett huvudfönster (diagram), en schemaredigerare och onlinegränssnittet AraucariaDB.
När en textfil laddas in i programmet visas texten i den vänstra panelen i huvudfönstret. Om du markerar delar av text innan du klickar på den högra (större) panelen skapas motsvarande noder längst ner på panelen. Noder kan sedan paras ihop genom att dra den ena (vilket kommer att vara premissen) till den andra (slutsatsen). Till varje nod kan ett värde knytas såsom äganderätten till förslaget, eller en utvärdering som anger graden av förtroende för premissen. På liknande sätt kan symboler läggas till pilarna för att ange styrkan i slutsatsen. Dessutom kan användaren länka argument, tillhandahålla saknade lokaler (rekonstruktion av argument) och använda vederlag. Diagrammet kommer alltid att ha formen av en trädstruktur i Araucaria. Användaren kan välja att översätta argumentet till standarddiagram, Toulmin- diagram eller Wigmore -diagram, där Araucaria 3.1 är den första mjukvaran som integrerar den senare ontologin och tar itu med översättningsproblemen mellan de olika diagrammen.
Medan Araucaria hjälper till att identifiera strukturen för ett argument, ger det frihet för analysresurser. Schemaredigeraren låter användaren skapa argumentationsscheman , gruppera dem och spara dem i en schemauppsättningsfil. Schematuppsättningen appliceras sedan på diagrammet, helt eller delvis. Som en illustration skulle ett argumentschema som förlitar sig på symtom kunna tillämpas på följande påstående: "Ljuset har slocknat. Därför måste glödlampan vara trasig", med kritiska frågor avsedda att avgöra om resultatet kan bero på en annan orsak (t.ex. som "har alla lampor i lägenheten slocknat?").
AraucariaDB Online Repository kan bläddras för att hämta specifika argument för att passa ett diagram. Alternativt kan ett argumentdiagram, tillsammans med anteckningar, sparas i databasen.
Tekniska detaljer
Araucaria utvecklades i Java för att kunna stödjas på de flesta plattformar. Den är licensierad under GNU General Public License och överensstämmer med standarder för fri programvara . Argument Markup Language (AML) skapades för att upprätthålla det utvecklande förhållandet mellan text och diagram. För detta ändamål läggs taggar till i texten och anger kopplingen mellan varje komponent. AML är utformad för att vara en tillämpning av argumentationsteori inom artificiell intelligens .
Eftersom det är baserat på XML , en standard som ofta används av utvecklare, kan AML-innehåll nås via annan programvara som stöder XML. På samma sätt är AML-data lätt tillgänglig online efter att du har använt stilmallar för att skapa HTML -webbsidor.
Araucaria i sig är tänkt att vara kompatibel med andra verktyg. Ett exempel på integration är argumentationsmjukvarubiblioteket Argkit. Korpusförsörjningen online är en förlängning av Araucaria-projektet. Ytterligare integration planeras med andra applikationer som för närvarande är under utveckling.
Ansökningar
Programvaran syftar till att tillhandahålla både ett pedagogiskt verktyg (förbättra undervisningen i kritiskt tänkande tack vare diagrambildning) och ett stöd för forskning inom områdena argumentationsteori och informell logik . Dessutom passar det professionella ändamål, eftersom det minskar tiden som behövs för att behandla data.
Bland valen av diagram tillgängliga för användaren var Wigmore-diagram avsedda att användas för juridiska fallanalyser. Argumentkartläggningsverktyg är särskilt lämpade för yrkesverksamma och forskare inom det juridiska området som har en stor mängd argument som krävs för att behandlas på ett konsekvent sätt. Araucaria har använts av domare i domstolarna i Ontario för att hjälpa till med en stor mängd relativt enkla fall.
Fördelarna med att använda Araucaria i både inlärnings- och undervisningsfilosofi övervägdes av programmets författare, tillsammans med andra forskare, i en artikel som publicerades 2006. De betonade hur mycket lättare det är att förklara och sammanfatta filosofers teorier när argument visualiseras i en diagram. En kvalitativ undersökning genomfördes bland studenter som visade positiva resultat.
Araucaria liknar annan redan existerande programvara i vissa av sina applikationer. Författarnas avsikt var dock att "fylla en lucka" i att tillhandahålla ett verktyg som kan "stödja både undervisning och forskning i argumentationsteori".
Från och med mitten av 2009 bedöms Araucaria ha cirka 10 000 användare, även om det är svårt att bedöma med precision när det gäller programvara som är tillgänglig gratis på internet. IP-adressloggar visar att användarbasen är mycket bred både på geografisk nivå (mer än 40 länder) och på sektorsnivå (utbud av domäner inklusive läkare, statistiker, jurister och ingenjörer).
Framtida utveckling
Även om Araucaria utan tvekan är ett av de mest sofistikerade programvarupaketen för diagram och har en viktig användarbas, kan dess gränssnitt och funktioner ses som föråldrade. Enligt Chris Reed är "en storskalig omskrivning på gång, som ger AIF -stöd". Det är okänt om denna omskrivning kommer att vara tillfället att förvandla Araucaria till ett online- och/eller samarbetsprogram. Ett onlineverktyg som stöder AIF, om än med mindre omfattande funktioner, utvecklades nyligen av Reeds forskargrupp (ARG:dundee). En alfaversion av denna Online Visualization of Argument (OVA) är tillgänglig.
Dessutom hade ett av Reeds långvariga projekt varit att ta itu med begränsningarna med datordiagram som framkallats av tolkning av naturligt språk, och att lägga till en dialogisk argumentationsstruktur till programvaran. Från oktober 2009 till mars 2013 har ett forskningsprogram som kallas "Dialectical Argumentation Machines" försökt ta ett första steg mot detta mål.
Se även
- Argument karta
- Koncept gruvdrift
- Heuristisk
- Informationsteknologi
- Problembaserat informationssystem
- Icke-monotonisk logik
- Ontologi
- Semantisk webb
- Stephen Toulmin
- Wigmore diagram
- XML
Anteckningar
- Araucaria: Software for Puzzles in Argument Diagramming and XML, Chris Reed & Glenn Rowe, 2001
- Araucaria: Software for Argument Analysis, Diagramming and Representation, Chris Reed och Glenn Rowe, 2004
- Argumentationsmetoder för artificiell intelligens i juridik, Douglas N. Walton, 2005
- Araucaria as a Tool for Diagramming Arguments in Teaching and Studying Philosophy, Glenn Rowe, Fabrizio Macagno, Chris Reed, Douglas Walton, 2006
- Refactoring the Law: Reformulating Legal Ontologies, Garret Wilson, 2006
- Wigmore, Toulmin & Walton, The Diagramming Trinity and their Application in Legal Practice, Chris Reed, 2007
- Witness Testimony Evidence: Argumentation and the Law, Douglas N. Walton, 2007
- Dialogteori för kritisk argumentation, Douglas N. Walton, 2007
- Computational Models of Argument: Proceedings of COMMA 2008, Philippe Besnard, Sylvie Doutre, Anthony Hunter
- AI & Law on Legal Argument: Research Trends and Application Prospects, Henry Prakken, SCRIPTed, volym 5, nummer 3, december 2008
- Knowledge Cartography: Software Tools and Mapping Techniques, Alexandra Okada, Simon J. Buckingham Shum, Tony Sherborne, 2008
- Att föra visuell klarhet till komplexa frågor, Tim van Gelder, 2009
- Argumentation in Artificial Intelligence, Iyad Rahwan, Guillermo R. Simari (redaktör), 2009
- Argumentationsschema för fallbaserad inlärning och samarbetande argumentdiagram online, J. Dowell, M. Tscholl, T. Gladisch, M. Asgari-Targhi, 2009
- Legal Ontologies Spin a Semantic Web, Dr. Adam Z. Wyner, 2009
- Förbättra kritiskt tänkande med hjälp av webbaserade argumentkartläggningsövningar med automatiserad feedback, S.Butchart, D.Forster, I.Gold, J.Bigelow, K.Korb, G.Oppy, A.Serrenti, 2009