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.