Version 4.3 of Carneades was released today. New in 4.3 are:
- Argument validation, by matching arguments to schemes
- Argumentation scheme validation, checking for syntatic and semantic errors in a theory (knowledge-base)
- Native implementation of a Constraint Handling Rules (CHR) inference engine, in Go, for constructing arguments. Removes the dependency on Prolog.
The Go implementation of CHR was designed and implemented by Horst Friedrich. It has a separate GitHub project, GoCHR.
As before, you can try Carneades 4.3 online using the Carneades server without having to build or install the system yourself.