Formalizing informal logic with Carneades Argumentation System for clearer debates.
The paper formalizes informal logic using the Carneades Argumentation System, a model that resolves conflicts between arguments using proof standards like preponderance of evidence. It also formalizes argumentation schemes to check if an argument fits the dialogue's norms.
