Argumentation

Supporting the interchange of argument as Argument Interchange Format (AIF).

Representation

Argument Maps

OVA+ is an online tool that lets you create and save an argument map as AIF. It’s possible to draw the same sort of arguments map using something like the yEd Graph Editor, and then transform the resulting diagram to AIF.

• Converting GraphML to AIF

HTML

We want arguments that make sense to both humans and machines. An argument can be laid out text as on a web page for the human reader that is made accessible to a machine reasoning agent through semantic mark-up. In particular, RDFa allows linked data to be embedded in HTML.

• A general purpose RDFa extractor

Evaluation

Argumentation Schemes

Argumentation schemes are patterns describing particular classes or types of argument. They are useful in evaluating arguments, explaining the conclusions reached by an argument, and arguing about arguments.

We maintain a working document describing the schemes used within eleatics, which is both human and machine readable (along the lines discussed in the Knowledge Representation section).

• Argumentation Schemes - working document
• Wiki: Argumentation Schemes