A first glimpse of how AIF is supporting interchange on the Argument Web

Prototype development on infrastructure and basic tools has reached the point where we can get a first glimpse of how the Argument Web will support a wide range of argument-related practice online. The video shows how different argument analysis tools can interact with each other, and how tools for analysis can work in harmony with tools for argument authoring and debate.

All the software is currently available, and going through some final testing before release. Later on in January, we will open access to the AIF database, and the first set of import/export filters. Then in February, we will release a public beta of the first practical Argument Web tool: FireBack, a Firefox plugin for argublogging. Tools for debate, analysis and automated computation will then follow later in the Spring.

(Download the video here).

We’ve just heard that a consortium including Indiana University, the University of East London and ARG:dundee are one of eleven successful teams in the Digging into Data Challenge call, funded by JISC, ESRC and AHRC in the UK, NEH in the US, SSHRC in Canada and NWO in the Netherlands. We will be investigating how big datasets from sources such Google Books can support navigation through debate. More information will follow.

OVA-gen user interface

OVA-gen alpha-2 is the second release of our tool for constructing and analysing Dung-style argumentation frameworks.

What’s new:

• Acceptability semantics can be individually selected (instead of computing all semantics and scrolling through)
• When semantics are selected, acceptability renderings will be updated automatically
• Integration with the new version of Dung-O-Matic, which allows the following new semantics to be computed:
  - admissible sets
  - all preferred extensions
  - all stable extensions

OVA-gen can be found at http://ova.computing.dundee.ac.uk/ova-gen

As ever, we welcome your feedback.

We are delighted to be hosting a visit from Prof. Tom Gordon from Fraunhofer Institute for Open Communications Systems (FOKUS) and  Institute of Computer Science of the University of Potsdam. Tom is here to work with us on interactions between the EPSRC-funded DAM project and the EU FP7 IMPACT project, and to explore in detail connections between the AIF and LKIF (used in Tom’s Carneades system) in particular. Tom is also giving a seminar here, on Wednesday, 28 September at 12 noon in Wolfson, entitled,

The IMPACT Argumentation Toolbox for Policy Deliberations

Abstract. IMPACT is a European Framework 7 research and development project on the theme of information and communications technology for governance and policy modeling. IMPACT is conducting original research to develop and integrate formal, computational models of policy and arguments about policy, to facilitate deliberations about policy at a conceptual, language-independent level. These models will be used to develop and evaluate a prototype of an innovative argumentation toolbox for supporting open, inclusive and transparent deliberations about public policy on the World-Wide-Web. Four integrated web applications are being developed for the IMPACT toolbox: 1. Argument Reconstruction Tool; 2. Structured Consultation Tool; 3. Policy Modelling Tool; and 4. Argument Visualisation and Tracking Tool. All four tools are based on the same underlying computational model of argument and exchange arguments using the Legal Knowledge Interchange Format (LKIF), an XML format for argumentation schemes and arguments inspired in part by the Argument Interchange Format (AIF) developed partly at the University of Dundee’s School of Computing.

With so many people in this geographical region working on computational models of argument, Nir Oren finally took the initiative to do what so many of us had been threatening to do: namely, to run a workshop meeting. So, the first meeting of what we hope will be an enthusiastic schedule of collaboration is being held today, and the whole ARG:dundee group is heading up to Aberdeen. If you’re interested in tracking it and finding out more, drop us an email, or join the LinkedIn group.

With Katarzyna Budzynska, Chris is this week delivering a course at the European Agent Systems Summer School, EASSS 2011, in Girona. The topic is Dialectics in Multiagent Interaction.

Together with Marcello Guarini, Chris is this week delivering a graduate school on Reasoning & Argument: Computing & Cognitive Science Perspectives. The school is run in affiliation with the Centre for Research on Reasoning, Argumentation and Rhetoric (CRRAR) at the University of Windsor in Ontario, Canada, and runs immediately prior to the OSSA-2011 conference.

Chris is today taking part in an event to inaugurate the University of Houston Law School’s new program in Law and Computation. He joins folk representing legal AI (de Maat), Law (Ohm, Sichelman, Surden), Statistics (Izenman), Visualization (Katz), Business (Bommarito, Kotancheck) and the wider computer science world (Wolfram) to mark the start of Seth Chandler’s exciting new initiative at UH.

Many congratulations to Joseph Devereux who, subject to minor corrections, today successfully defended his thesis entitled, Strategies for Persuasion in Inter-Agent Dialogue. He was examined by Francesca Toni (Imperial) and Ekaterina Komendantskaya (Dundee).

The Eleventh Annual Workshop on Computational Models of Natural Argument will be with AAAI in San Francisco this August. The Call for Papers is available on the CMNA website, www.cmna.info. The deadlines for submissions are 22 April (for long papers) and 1 May (for short papers). CMNA 2011 should be another productive and enjoyable event in the CMNA series.