OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. Abstract. This paper presents a target language for representing arguments mined from natural language. The key features are the connection between possible reasons and possible claims and recursive embedding of such connections. Given a base of these arguments and counterarguments mined from texts or dialogues, we want be able combine them, deconstruct them, and to analyse them (for instance to check whether the set is inconsistent). To address these needs, we propose a formal language for representing reasons and claims, and a framework for inferencing with the arguments and counterarguments in this formal language.
REF propose a formal language approach to construct arguments from natural language texts that are mostly enthymemes.
Representing and Reasoning About Arguments Mined from Texts and Dialogues
ECSQARU
Computer Science