Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
CLEAR: Argumentation Frameworks for Constructing and Evaluating Deductive Mathematical Proofs
View through CrossRef
This paper presents a tool for constructing and evaluating deductive mathematical proofs using formal argumentation called CLEAR (Constructing and evaLuating dEductive mAthematical pRoofs). This tool has a twofold objective: (i) allows students to construct deductive proofs collaboratively using a structured argumentative debate; and (ii) helps instructors to evaluate these proofs and all intermediary steps in order to provide constructive feedbacks to students. This paper focuses on objective (i) and presents results of an experimental study conducted with undergraduate students. The behavior of students during the construction of deductive proofs is analyzed to show whether formal argumentation frameworks allow students to build deductive proofs and measure students' acceptance of CLEAR.
Title: CLEAR: Argumentation Frameworks for Constructing and Evaluating Deductive Mathematical Proofs
Description:
This paper presents a tool for constructing and evaluating deductive mathematical proofs using formal argumentation called CLEAR (Constructing and evaLuating dEductive mAthematical pRoofs).
This tool has a twofold objective: (i) allows students to construct deductive proofs collaboratively using a structured argumentative debate; and (ii) helps instructors to evaluate these proofs and all intermediary steps in order to provide constructive feedbacks to students.
This paper focuses on objective (i) and presents results of an experimental study conducted with undergraduate students.
The behavior of students during the construction of deductive proofs is analyzed to show whether formal argumentation frameworks allow students to build deductive proofs and measure students' acceptance of CLEAR.
Related Results
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...
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 ...
VECTOR-LOGICAL FAULT SIMULATION
VECTOR-LOGICAL FAULT SIMULATION
Context. The main idea is the creation of vector-logical in-memory computing (VLC), which uses only read-write transactions on the address memory for faults-as-addresses simulation...
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...
INNOVATIVE TECHNOLOGIES IN MATHEMATICS EDUCATION
INNOVATIVE TECHNOLOGIES IN MATHEMATICS EDUCATION
The introduction of the competence model of Mathematics education involves the actualization of personal and activity factors of development of subjects of the educational process,...
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 ...
Reasoning about Preferences in Structured Extended Argumentation Frameworks
Reasoning about Preferences in Structured Extended Argumentation Frameworks
This paper combines two recent extensions of Dung's abstract argumentation frameworks in order to define an abstract formalism for reasoning about preferences in structured argumen...
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...