Carneades tools for argument (re)construction, evaluation, mapping and interchange

Carneades 4.2

Version 4.2 of Carneades was released today. New in 4.2 are:

  • User-definable argument evaluation functions, for deriving relative argument weights from properties of the arguments (4.1 included a few builtin argument evaluation functions.)
  • A language, based on YAML, for representing argumentation schemes.
  • Automatic argument construction from argumentation schemes and assumptions via an inference engine implemented using Constraint Handling Rules.

As before, you can try Carneades 4.2 online using the Carneades server without having to build or install the system yourself.

The source code is available in the Carneades-4 Github project. The code is open source, using the MPL-2.0 license.

ICCMA 2015 Results

The results of the First International Competition on Computational Models of Argument (ICCMA) are now available.

And the winners are:

  1. CoQuiAAS
  2. ArgSemSAT
  3. LabSATSolver

Congratulations!

Our own entry, Carneades 4.0, placed 2nd in all four of the grounded semantics “tracks”, and 7th overall, in a field of 18 solvers.

As expected, in the tracks for the intractable tasks (no pun indented), we didn’t stand a chance against the systems using SAT solvers. The argumentation frameworks used were too large for our straightforward generate and test algorithm.

You can try out the Carneades solver for Dung abstract argumentation frameworks online if you would like, using the Carneades server.

Announcing Carneades 4

We have begun work on version 4 of Carneades. With this version we are pursuing the following goals:

  • Developing a new version of the Carneades Argument Evaluation Structures (CAES) formal model of structured argumentation, with better support for cyclic argument graphs, cumulative arguments, practical reasoning, case-based reasoning, and multi-criteria decision analysis. This new model both generalizes and simplifies the previous CAES model. It also improves its compatibility with other models of structured argument, such as the Argument Interchange Format (AIF), ASPIC+ and IBIS (Issue-Based Information Systems).

  • Refocusing our efforts on formalisms, data structures and algorithms for argumentation tasks (server-side), away from graphical user interfaces (client-side).

  • Making it easier for other developers to contribute to the project, by using more mainstream tools and languages.

  • Reducing the memory requirements of the system.

  • Making it easier to build, install and deploy the system.

Today we are pleased to announce the first release of this new version, Carneades 4.1. This release includes:

  • An evaluator for structured arguments, based on the new version of the Carneades Argument Evaluation Structures (CAES) formal model of structured argument. Argument graphs can be represented in AGXML, AIF, LKIF, CAF and YAML and exported to DOT, GraphML and YAML.

  • An implementation of a solver for Dung abstract argumentation frameworks, using grounded, complete, preferred and stable semantics. Argumentation Frameworks can be represented using the Trivial Graph Format. The computed extensions can be exported to GraphML and plain text. (DOT export is planned and will be available “soon”.)

We recommend using the free yEd GraphML program for editing and viewing the GraphML files.

You can use the Carneades 4.1 Server without having to build or install the system yourself.

The source code is available in the Carneades-4 Github project. The code is open source, using the MPL-2.0 license.

Carneades 3.7

Carneades 3.7 is now available for downloading. This version of Carneades is a web application, with a three-tiered architecture. The web client of this version has been completing rewritten to make use of modern JavaScript libraries for interactive web applications. The user interface is designed to be usable on all devices, including smart phones and tablets, as well as desktop computers.

See the Carneades 3.7 User Manual for futher information about downloading, installing and using the system.

Caveat: Carneades is a research prototype, not production-quality software. The 3.7 version of Carneades is work in progress, has not been thoroughly tested and is missing some planned features.