12 Jan 2016
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
29 Jul 2015
of the First International Competition on Computational Models of
Argument (ICCMA) are now available.
And the winners are:
Our own entry, Carneades
4.0, placed 2nd in all four
of the grounded semantics “tracks”, and 7th overall, in a field of 18
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
29 Jul 2015
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
Refocusing our efforts on formalisms, data structures and algorithms
for argumentation tasks (server-side), away from graphical user
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
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
project. The code is open source, using the
24 Feb 2015
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
user interface is designed to be usable on all devices, including
smart phones and tablets, as well as desktop computers.
Carneades 3.7 User Manual
for futher information about downloading, installing and using the
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.