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 metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02103849
Contributor : Nadira Boudjani <>
Submitted on : Thursday, April 18, 2019 - 6:11:36 PM
Last modification on : Friday, May 3, 2019 - 1:25:57 AM

Identifiers

  • HAL Id : lirmm-02103849, version 1

Collections

Citation

Nadira Boudjani, Abdelkader Gouaich, Souhila Kaci. CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs. COMMA: Computational Models of Argument, Sep 2018, Varsovie, Poland. ⟨lirmm-02103849⟩

Share

Metrics

Record views

108

Files downloads

57