About

The Online Argument Structures Tool (TOAST) is an implementation of the ASPIC+ theory of structured argumentation. Using the text fields below, build an argumentation theory consisting of a knowledge base, rules, contrariness and preferences. Evaluating the theory first translates it into a Dung-style abstract argumentation framework, which is subsequently evaluated for to determine the acceptability of the arguments. More information about the format of the knowledge base and rules can be found on the help page. A RESTful API is also available.

Argumentation Theory

Axioms:

Premises:

Assumptions:

Preferences:

Rules:

Add rule labels | Close under transposition?

Rule Preferences:

Contrariness:

Options:

Preference principle:
Last link Weakest link

Evaluation engine:

Semantics:

Show islands in abstract framework?

Query: Load an example | Help | API |

Citation

If you find TOAST useful, and wish to reference it, please use the following citation:

Snaith, M. & Reed, C. (2012) "TOAST: online ASPIC+ implementation" in Verheij, B., Szeider, S. & Woltran, S. (eds.) Proceedings of the Fourth International Conference on Computational Models of Argument (COMMA 2012), IOS Press, Vienna, pp509--510. [pdf]

Source code

Coming soon.