Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
On modelling burdens and standards of proof in structured argumentation
View through CrossRef
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.
Title: On modelling burdens and standards of proof in structured argumentation
Description:
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.
Related Results
Argumentation In Flux (Modelling Change in the Theory of Argumentation)
Argumentation In Flux (Modelling Change in the Theory of Argumentation)
Argumentation In Flux (Modélisation du changement dans la théorie de l'argumentation)
Abstract argumentation frameworks are a widely used formalism in the field of ...
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores
The Transport Layer Security (TLS) 1.0 protocol has been formally verified with CafeInMaude Proof Generator (CiMPG) and Proof Assistant (CiMPA), where CafeInMaude is the second maj...
Elements of Argumentation
Elements of Argumentation
Background and techniques for formalizing deductive argumentation in a logic-based framework for artificial intelligence.
Logic-based formalizations of argumentation...
PERSUASÃO: o componente pragmático da argumentação
PERSUASÃO: o componente pragmático da argumentação
Spe2 E OliveiraA publicação do Tratado da Argumentação: a nova retórica, em 1958, costuma suscitar, entre os adeptos dos estudos em argumentação, uma aproximação com a retórica de ...
On free proof and regulated proof
On free proof and regulated proof
Free proof and regulated proof are two basic modes of judicial proof. The system of ‘legal proof’ established in France in the 16th century is a classical model of regulated proof....
Mathematical Proof through Toulmin Argumentation Schema: A SLR in the Context of Mathematics Education
Mathematical Proof through Toulmin Argumentation Schema: A SLR in the Context of Mathematics Education
Proof and argumentation are integral components in mathematics education, as argumentation serves as a crucial foundation in constructing mathematical proofs. However, students’ ab...
Toward a Theory of Legal Argumentation
Toward a Theory of Legal Argumentation
Abstract
This chapter synthesizes some of the key insights from the book’s contributors as a first effort toward building a theory of international legal argumentati...
Argumentation studies and discourse analysis: the French situation and global perspectives
Argumentation studies and discourse analysis: the French situation and global perspectives
This article focuses on the development of argumentation studies in France and their complex relations with discourse analysis. First, the meanings of the basic word `argument' in ...