Logical Representation and Analysis for RC-Arguments

An argument is seen as reason in favour of a claim. It is made of three parts: a set of premises representing the reason, a conclusion representing the supported claim, and a connection showing how the premises lead to the conclusion. Arguments are frequently exchanged by human agents in natural language (spoken or written) in discussion, debate, negotiation, persuasion, etc. They may be very different in that their three components may have various forms. In this paper, we propose a language for representing such arguments. We show that it is general enough to capture the various forms of arguments encountered in natural language, and that it is possible to represent attack and support relations between arguments as formulas of the same language.