Abstract
A formal model is proposed of argumentation with burdens and standards of proof, overcoming shortcomings of earlier work. The model is based on a distinction between default and inverted burdens of proof. This distinction is formalised by adapting the definition of defeat of the ASPIC+ framework for structured argumentation. Since ASPIC+ generates abstract argumentation frameworks,
the model is thus given a Dungean semantics. It is shown to adequately capture
shifting proof burdens as well as Carneades’ definitions of proof standards
the model is thus given a Dungean semantics. It is shown to adequately capture
shifting proof burdens as well as Carneades’ definitions of proof standards
| Original language | English |
|---|---|
| Title of host publication | Legal Knowledge and Information Systems. JURIX 2011: The Twenty-Fourth Annual Conference |
| Editors | K.D. Atkinson |
| Publisher | IOS Press |
| Pages | 83-92 |
| ISBN (Print) | 978-1-60750-980-6 |
| Publication status | Published - 2011 |
Publication series
| Name | Frontiers in Artificial Intelligence and Applications |
|---|---|
| Publisher | IOS Press |
| Volume | 235 |
| ISSN (Print) | 1570-3886 |