Formalizing balancing arguments

This paper presents a formal model of structured argument that can handle balancing arguments, arguments were pros and cons are balanced to choose among alternative options. The model can handle cumulative arguments, arguments that provide bits of evidence that can support or undermine hypothesis as new evidence comes in. The model has been fully implemented in version 4 of the Carneades Argumentation System.