CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2018

CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs

Abstract

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.
Fichier principal
Vignette du fichier
27_Boudjani.pdf (115.38 Ko) Télécharger le fichier
Loading...

Dates and versions

lirmm-02103849 , version 1 (18-04-2019)

Licence

Attribution - NonCommercial

Identifiers

Cite

Nadira Boudjani, Abdelkader Gouaich, Souhila Kaci. CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs. COMMA 2018 - 7th International Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.281-288, ⟨10.3233/978-1-61499-906-5-281⟩. ⟨lirmm-02103849⟩
71 View
78 Download

Altmetric

Share

Gmail Facebook X LinkedIn More