Skip to Main content Skip to Navigation
Conference papers

CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs

Nadira Boudjani 1 Abdelkader Gouaich 1 Souhila Kaci 1
1 SMILE - Système Multi-agent, Interaction, Langage, Evolution
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Nadira Boudjani <>
Submitted on : Thursday, April 18, 2019 - 6:11:36 PM
Last modification on : Thursday, March 4, 2021 - 11:08:42 AM


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License




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



Record views


Files downloads