CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs

Nadira Boudjani; Abdelkader Gouaich; Souhila Kaci

doi:10.3233/978-1-61499-906-5-281

Retour

CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs

Acte de colloque

Open Access

CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs

Nadira Boudjani, Abdelkader Gouaich et Souhila Kaci

Computational Models of Argument, Vol.305(Frontiers in Artificial Intelligence and Applications), pp.281-288

Computational Models of Argument

COMMA 2018 - 7th International Conference on Computational Models of Argument (Varsovie, Poland, 11/09/2018–14/09/2018)

2018

DOI: https://doi.org/10.3233/978-1-61499-906-5-281

Résumé

Argumentative debate

Construction of proofs

Argumentation frameworks

Deductive mathematical proof

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.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: CLEAR: Argumentation Framework for Constructing and Evaluating Deductive Mathematical Proofs
Créateurs - sans rôle: Nadira Boudjani - InterAction
Abdelkader Gouaich - InterAction
Souhila Kaci - InterAction
Détails de publication: Computational Models of Argument, Vol.305(Frontiers in Artificial Intelligence and Applications), pp.281-288
Colloque: COMMA 2018 - 7th International Conference on Computational Models of Argument (Varsovie, Poland, 11/09/2018–14/09/2018)
Publications en série: Computational Models of Argument
Identifiants: 9946799309311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: lirmm-02103849