TOAST calculates acceptability semantics of structured argumentation frameworks.
As part of the work on the Dialectical Argumentation Machines project, we have implemented a version of Prakken’s ASPIC+ framework. The application allows computation of various acceptability semantics over structured argumentation systems, making use of the Dung-O-Matic engine designed for abstract frameworks.
The system is deployed as a web service, with a demonstration interface available at http://www.arg.dundee.ac.uk/toast/. A help page, with details of the syntax used, can be found at http://www.arg.dundee.ac.uk/toast/help/web.
The reference to go with it is:
Snaith, M. & Reed, C. (2012) “TOAST: online ASPIC+ implementation” in Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), IOS Press, Vienna.
It’s reasonably scalable: it’s being used with rulesets of around 20,000 in work by Phil Quinlan. It’s also providing an evaluation back-end to the AIFdb. But as ever, please let us have your feedback.