Date: 2011
Type: Contribution to book
On Modelling Burdens and Standards of Proof in Structured Argumentation
Katie M. ATKINSON (ed.), Proceedings of JURIX 2011: The twenty-fourth annual conference on legal knowledge and information systems, Amsterdam, IOS, 2011, Frontiers in Artificial Intelligence and Applications, Volume 235: Legal Knowledge and Information Systems, 83-92
PRAKKEN, Henry, SARTOR, Giovanni, On Modelling Burdens and Standards of Proof in Structured Argumentation, in Katie M. ATKINSON (ed.), Proceedings of JURIX 2011: The twenty-fourth annual conference on legal knowledge and information systems, Amsterdam, IOS, 2011, Frontiers in Artificial Intelligence and Applications, Volume 235: Legal Knowledge and Information Systems, 83-92
- https://hdl.handle.net/1814/26283
Retrieved from Cadmus, EUI Research Repository
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.
Cadmus permanent link: https://hdl.handle.net/1814/26283
Full-text via DOI: 10.3233/978-1-60750-981-3-83
ISBN: 9781607509806; 9781607509813
Files associated with this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |