Bottom-up argumentation

{{Summary
 * title=Bottom-up argumentation
 * authors=Francesca Toni and Paolo Torroni
 * url=http://www.doc.ic.ac.uk/~ft/PAPERS/tafaPT.pdf
 * tags=Facebook, online argumentation, abductive reasoning, Assumption-Based Argumentation
 * summary=Turns a Facebook discussion into a logical representation, based on the concepts of comments, opinions, and links. Opinions are "meta-level comments" extracted from what people say directly in comments, while links represent the relationships. There are three key relationships: that a comment is "supportedBy" something, that an opinion or link is "basedOn", and that there is an "objection" between two things.

The representation used is Assumption-Based Argumentation (see e.g. Assumption-Based Argumentation), a general-purpose argumentation framework (e.g. formal model), presumably chosen due to the importance of abductive reasoning in this endeavor.

They provide a graph (page 15) which uses continuous lines to represent basedOn/supportedBy links/relations, which are given as e.g. link(l_1_1,o1,c1) in the model; meanwhile dashed lines in the graph represent objection links/relations which are given as e.g. alink(l_4_17,o4,p17) in the model.

This allows them to check the "dialectic validity" using the semantics of Assumption-Based Argumentation.

Background knowledge
}}
 * Dung, P. M., Kowalski, R., and Toni, F. Assumption-Based Argumentation. In Argumentation in Artificial Intelligence edited by I. Rahwan and G. Simari) Springer, 2009. preprint
 * relevance=Turns a Facebook discussion thread into a logical representation.
 * journal=First International Workshop on the Theory and Applications of Formal Argumentation
 * pub_date=2011
 * subject=Computer Science