Araucaria (software)

Last updated
Araucaria
Developer(s) Chris Reed, Glenn Rowe
Stable release
3.1 / June 27, 2006;16 years ago (2006-06-27)
Written in Java
Operating system Windows
Mac OS X
Unix
Linux
Solaris
Type Argument mapping software
License GNU General Public License
Website araucaria.computing.dundee.ac.uk/doku.php

Araucaria is an argument mapping software tool developed in 2001 by Chris Reed and Glenn Rowe, in the Argumentation Research Group at the School of Computing in the University of Dundee, Scotland. It is designed to visually represent arguments through diagrams that can be used for analysis and stored in Argument Markup Language (AML), based on XML. As free software, it is available under the GNU General Public License and may be downloaded for free on the internet. [1]

Contents

How it works

The user interface is composed of a main window (diagramming), a schemes editor and the AraucariaDB online interface.

When a text file is loaded into the program, the text is displayed in the left-hand panel of the main window. Highlighting portions of text before clicking on the right (larger) panel creates corresponding nodes at the bottom of that panel. Nodes can then be paired together by dragging one (which will be the premise) to the other (the conclusion). To each node may be attached a value such as the ownership of the proposition, or an evaluation specifying the degree of confidence placed in premise. Similarly, symbols can be added to the arrows to state the strength of the inference. In addition, the user may link arguments, supply missing premises (argument reconstruction) and use refutations. The diagram will always take the form of a tree structure in Araucaria. The user has the choice of translating the argument into standard diagram, Toulmin diagram or Wigmore diagram, Araucaria 3.1 being the first software to integrate the latter ontology and to address the translation issues between the different diagrams. [2]

While Araucaria helps identify the structure of an argument, it provides freedom of analysis resources. The scheme editor allows the user to create argumentation schemes, group them together and save them into a scheme set file. The scheme set is then applied to the diagram, entirely or in part. As an illustration, an argument scheme relying on symptoms could be applied to the following assertion: "The light has gone off. Therefore, the bulb must be broken", with critical questions intended to determine if the result could stem from another reason (such as "have all the lights in the flat gone off?").

The AraucariaDB Online Repository can be browsed to retrieve specific arguments to fit a diagram. Alternatively, an argument diagram, along with annotations, can be saved into the database.

Technical details

Araucaria was developed in Java in order to be supported on most platforms. [3] It is licensed under the GNU General Public License and complies with free software standards. Argument Markup Language (AML) was created to maintain the evolving relationship between text and diagram. To this end, tags are added to the text and specify the connection between each component. AML is designed to be an application of argumentation theory in artificial intelligence. [4]

Because it is based on XML, a standard widely used by developers, AML content can be accessed through other software that support XML. Likewise, AML data is easily available online after using style sheets to create HTML web pages.

Araucaria itself is conceived to be compatible with other tools. One example of integration is the argumentation software library Argkit. [5] The online corpus provision [6] [7] is an extension of the Araucaria project. Further integration is planned with other applications currently under development. [8]

Applications

The software is aimed at providing both a pedagogical tool (enhancing the teaching of critical thinking skills thanks to diagramming) and a support for research within the fields of argumentation theory and informal logic. In addition, it fits professional purposes, [9] as it reduces the time needed to process data.

Among the choices of diagram available to the user, Wigmore charts were intended to be used for legal case analysis. Argument mapping tools are particularly suited to professionals and scholars in the legal field who have a considerable amount of arguments required to be processed in a consistent manner. Araucaria has been used by magistrates in Ontario Courts to help with a large volume of relatively simple cases. [10]

The advantages of using Araucaria in both learning and teaching philosophy was considered by the program's authors, along with other scholars, in a paper published in 2006. [11] They emphasized how much easier it is to explain and summarize philosophers' theories when arguments are visualized in a diagram. A qualitative survey was carried out among students revealing positive results. [12]

Araucaria is similar to other pre-existing software in some of its applications. However, the authors' intention was to "fill a gap" in providing a tool able to "support both teaching and research in argumentation theory". [13]

As of mid-2009, Araucaria is deemed to have approximately 10,000 users, [14] even though that is hard to assess with precision when it comes to software available for free on the internet. IP address logs show that the user base is very wide both on a geographical level (more than 40 countries) and on a sectoral level (range of domains including doctors, statisticians, lawyers and engineers). [15]

Future developments

While Araucaria is arguably one of the most sophisticated diagramming software packages and enjoys an important user base, its interface and features may be viewed as outdated. According to Chris Reed, "a large-scale rewrite is underway, which provides AIF support". [16] It is unknown if this rewrite will be the occasion to turn Araucaria into an online and/or collaborative program. An online tool supporting AIF, albeit with less comprehensive features, was recently developed by Reed's research group (ARG:dundee). [17] An alpha version of this Online Visualisation of Argument (OVA) is available. [18]

In addition, one of Reed's long-time projects had been to tackle the limitations of computer diagramming induced by natural language interpretation, and to add a dialogic argumentation structure to the software. From October 2009 to March 2013, a research program called "Dialectical Argumentation Machines" [19] is attempted to make a first step towards this objective.

See also

Notes

  1. "version_3.1 [Araucaria@ARG:dundee]". Araucaria.computing.dundee.ac.uk. 2009-09-14. Archived from the original on 24 August 2010. Retrieved 2010-09-08.
  2. Besnard, 2008, p357
  3. "As part of the commitment to supporting diversity", Reed, 2004, p5
  4. Reed 2004, p10
  5. "Araucaria - ArgKit". Argkit.org. 2008-01-18. Retrieved 2010-09-08. and Besnard 2008, p366
  6. "AraucariaDB Home". Arg.dundee.ac.uk. Archived from the original on 24 August 2010. Retrieved 2010-09-08.
  7. "AIFdb". Arg.dundee.ac.uk. Retrieved 2015-01-12.
  8. Reed, 2004, p1
  9. Reed, 2007, p36
  10. Reed, 2007, p37 and Prakken, 2008, p453
  11. Rowe, Macagno, Reed, Walton, 2006
  12. Rowe, Macagno, Reed, Walton, 2006, p122
  13. Reed, 2001, p4
  14. Rahwan, 2009, p398
  15. Okada, 2008, p177
  16. Rahwan 2009, p398
  17. "Online Visualisation of Argument - ARG:dundee". Arg.dundee.ac.uk. 2008-11-14. Archived from the original on 16 August 2010. Retrieved 2010-09-08.
  18. "OVA from ARG@Dundee - arg.dundee.ac.uk". Ova.computing.dundee.ac.uk. Archived from the original on 23 August 2010. Retrieved 2010-09-08.
  19. "Dialectical Argumentation Machines". Gow.epsrc.ac.uk. Retrieved 2010-09-08.

Related Research Articles

MPEG-7 is a multimedia content description standard. It was standardized in ISO/IEC 15938. This description will be associated with the content itself, to allow fast and efficient searching for material that is of interest to the user. MPEG-7 is formally called Multimedia Content Description Interface. Thus, it is not a standard which deals with the actual encoding of moving pictures and audio, like MPEG-1, MPEG-2 and MPEG-4. It uses XML to store metadata, and can be attached to timecode in order to tag particular events, or synchronise lyrics to a song, for example.

A modeling language is any artificial language that can be used to express information or knowledge or systems in a structure that is defined by a consistent set of rules. The rules are used for interpretation of the meaning of components in the structure Programing language.

<span class="mw-page-title-main">Microsoft Visio</span> Diagramming and vector graphics software application

Microsoft Visio is a diagramming and vector graphics application and is part of the Microsoft Office family. The product was first introduced in 1992, made by the Shapeware Corporation, later renamed Visio Corporation. It was acquired by Microsoft in 2000. A lightweight version of Visio is now included with all commercial SKU of Microsoft 365 and is known as Visio in Microsoft 365. It has two other subscription based SKUs. Visio Plan 1 includes the Visio web app whereas Visio Plan 2 provides access to both the web app as well as the Desktop application.

<span class="mw-page-title-main">Infographic</span> Graphic visual representation of information

Infographics are graphic visual representations of information, data, or knowledge intended to present information quickly and clearly. They can improve cognition by utilizing graphics to enhance the human visual system's ability to see patterns and trends. Similar pursuits are information visualization, data visualization, statistical graphics, information design, or information architecture. Infographics have evolved in recent years to be for mass communication, and thus are designed with fewer assumptions about the readers' knowledge base than other types of visualizations. Isotypes are an early example of infographics conveying information quickly and easily to the masses.

<span class="mw-page-title-main">Argumentation theory</span> Study of how conclusions are reached through logical reasoning; one of four rhetorical modes

Argumentation theory, or argumentation, is the interdisciplinary study of how conclusions can be supported or undermined by premises through logical reasoning. With historical origins in logic, dialectic, and rhetoric, argumentation theory, includes the arts and sciences of civil debate, dialogue, conversation, and persuasion. It studies rules of inference, logic, and procedural rules in both artificial and real-world settings.

<span class="mw-page-title-main">Stephen Toulmin</span> English philosopher (1922–2009)

Stephen Edelston Toulmin was a British philosopher, author, and educator. Influenced by Ludwig Wittgenstein, Toulmin devoted his works to the analysis of moral reasoning. Throughout his writings, he sought to develop practical arguments which can be used effectively in evaluating the ethics behind moral issues. His works were later found useful in the field of rhetoric for analyzing rhetorical arguments. The Toulmin model of argumentation, a diagram containing six interrelated components used for analyzing arguments, and published in his 1958 book The Uses of Argument, was considered his most influential work, particularly in the field of rhetoric and communication, and in computer science.

<span class="mw-page-title-main">Metamodeling</span> Concept of software engineering

A metamodel or surrogate model is a model of a model, and metamodeling is the process of generating such metamodels. Thus metamodeling or meta-modeling is the analysis, construction and development of the frames, rules, constraints, models and theories applicable and useful for modeling a predefined class of problems. As its name implies, this concept applies the notions of meta- and modeling in software engineering and systems engineering. Metamodels are of many types and have diverse applications.

Douglas Neil Walton was a Canadian academic and author, known for his books and papers on argumentation, logical fallacies and informal logic. He was a Distinguished Research Fellow of the Centre for Research in Reasoning, Argumentation, and Rhetoric (CRRAR) at the University of Windsor, Ontario, Canada, and before that (2008–2014), he held the Assumption Chair of Argumentation Studies at the University of Windsor. Walton's work has been used to better prepare legal arguments and to help develop artificial intelligence.

PRONOM is a web-based technical registry to support digital preservation services, developed by The National Archives of the United Kingdom. PRONOM was the first and remains, to date, the only operational public file format registry in the world, although the "Magic File" repository of the File Command has served this role in a less formal capacity for two decades. Other projects to develop technical registries, including the UK Digital Curation Centre's Representation Information Registry, and the Global Digital Format Registry project at Harvard University, are now in progress.

<span class="mw-page-title-main">Argument map</span> Visual representation of the structure of an argument

An argument map or argument diagram is a visual representation of the structure of an argument. An argument map typically includes the key components of the argument, traditionally called the conclusion and the premises, also called contention and reasons. Argument maps can also show co-premises, objections, counterarguments, rebuttals, and lemmas. There are different styles of argument map but they are often functionally equivalent and represent an argument's individual claims and the relationships between them.

<span class="mw-page-title-main">Design rationale</span>

A design rationale is an explicit documentation of the reasons behind decisions made when designing a system or artifact. As initially developed by W.R. Kunz and Horst Rittel, design rationale seeks to provide argumentation-based structure to the political, collaborative process of addressing wicked problems.

<span class="mw-page-title-main">General Architecture for Text Engineering</span>

General Architecture for Text Engineering or GATE is a Java suite of tools originally developed at the University of Sheffield beginning in 1995 and now used worldwide by a wide community of scientists, companies, teachers and students for many natural language processing tasks, including information extraction in many languages.

An argument is a statement or group of statements called premises intended to determine the degree of truth or acceptability of another statement called a conclusion. Arguments can be studied from three main perspectives: the logical, the dialectical and the rhetorical perspective.

<span class="mw-page-title-main">Compendium (software)</span> Social science computer program

Compendium is a computer program and social science tool that facilitates the mapping and management of ideas and arguments. The software provides a visual environment that allows people to structure and record collaboration as they discuss and work through wicked problems.

yEd Diagramming program

yEd is a general-purpose diagramming program with a multi-document interface.

Knowledge extraction is the creation of knowledge from structured and unstructured sources. The resulting knowledge needs to be in a machine-readable and machine-interpretable format and must represent knowledge in a manner that facilitates inferencing. Although it is methodically similar to information extraction (NLP) and ETL, the main criterion is that the extraction result goes beyond the creation of structured information or the transformation into a relational schema. It requires either the reuse of existing formal knowledge or the generation of a schema based on the source data.

<span class="mw-page-title-main">ConceptDraw DIAGRAM</span>

ConceptDraw DIAGRAM is proprietary diagramming software used to create business graphics, including: diagrams, flowcharts, Infographics, data visualization for business process models, data presentation and project management documentation. It can also be used for creating professional and technical diagrams, such as: UML diagrams, DFD, ERD, computer networks topology, engineering schemes, floor plans, and other technical graphic formats. The program was developed by CS Odessa in 1999. Since 2008, it has formed a part of ConceptDraw OFFICE. A set of solution add-ons that include collections of task-oriented templates and vector stencils libraries, have been released for ConceptDraw DIAGRAM, relating to certain industry-specific graphical tasks. The software also contains a set of tools for vector graphics drawing, along with a built-in presentation mode.

Argument technology is a sub-field of artificial intelligence that focuses on applying computational techniques to the creation, identification, analysis, navigation, evaluation and visualisation of arguments and debates. In the 1980s and 1990s, philosophical theories of arguments in general, and argumentation theory in particular, were leveraged to handle key computational challenges, such as modeling non-monotonic and defeasible reasoning and designing robust coordination protocols for multi-agent systems. At the same time, mechanisms for computing semantics of Argumentation frameworks were introduced as a way of providing a calculus of opposition for computing what it is reasonable to believe in the context of conflicting arguments.

The Argument Web is a large-scale Web of interconnected arguments created by individuals as they express their opinions and interact with the opinions of others. The Argument Web aims to make online debate intuitive for participants such as mediators, students, academics, broadcasters and bloggers, to create a Web infrastructure that allows for the storage, automatic retrieval and analysis of linked argument data, and to improve the quality of online argument and debate. The Argument Web can be described as a portion of a larger Semantic Web.

In argumentation theory, an argumentation scheme or argument scheme is a template that represents a common type of argument used in ordinary conversation. Many different argumentation schemes have been identified. Each one has a name and presents a type of connection between premises and a conclusion in an argument, and this connection is expressed as a rule of inference. Argumentation schemes can include inferences based on different types of reasoning—deductive, inductive, abductive, probabilistic, etc.

References