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 ...
KEMAMPUAN MENULIS ARGUMENTASI MAHASISWA Survei pada Mahasiswa Pendidikan Fisika Universitas Ahmad Dahlan Yogyakarta
KEMAMPUAN MENULIS ARGUMENTASI MAHASISWA Survei pada Mahasiswa Pendidikan Fisika Universitas Ahmad Dahlan Yogyakarta
This research is aimed to determine the correlation between (1) grammatical competency and the ability in writing argumentation, (2) attitude toward Indonesian language and the abi...
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...
The Testimonial Argumentation
The Testimonial Argumentation
In the encyclical letter Fides et Ratio, Pope John Paul II, summarizes his thinking, his philosophical and theological reflections on the testimonial argumentation:
“Human beings...
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....
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...