Assistant Tools for Teaching FOL to CF Conversion

Abstract : The FOL to CF system is an interactive web-based system for learning to convert first order logic (FOL) formulas into Clause Form (CF). FOL to CF conversion is a fundamental part of using FOL for making inferences. In this paper, we present two tutor assistant tools integrated with that system. The first, called tutoring manager, helps the tutor to manage the teaching material and monitor the progress of students. It helps tutors to investigate students’ answers and errors made by providing useful statistics. Also, it gives a graphical view of them for an easier understanding of difficulties that students face. The second tool, the difficulty estimating expert system, aims at helping tutors in determining the difficulty level of a formula’s conversion process. This is based on the complexity of the FOL formula. Experimental results show that the difficulty estimating system is quite successful.
Type de document :
Communication dans un congrès
Lazaros Iliadis; Ilias Maglogiannis; Harris Papadopoulos. 8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. Springer, IFIP Advances in Information and Communication Technology, AICT-381 (Part I), pp.306-315, 2012, Artificial Intelligence Applications and Innovations. 〈10.1007/978-3-642-33409-2_32〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01521414
Contributeur : Hal Ifip <>
Soumis le : jeudi 11 mai 2017 - 17:10:34
Dernière modification le : mardi 26 décembre 2017 - 16:38:01
Document(s) archivé(s) le : samedi 12 août 2017 - 13:51:16

Fichier

978-3-642-33409-2_32_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Foteini Grivokostopoulou, Isidoros Perikos, Ioannis Hatzilygeroudis. Assistant Tools for Teaching FOL to CF Conversion. Lazaros Iliadis; Ilias Maglogiannis; Harris Papadopoulos. 8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. Springer, IFIP Advances in Information and Communication Technology, AICT-381 (Part I), pp.306-315, 2012, Artificial Intelligence Applications and Innovations. 〈10.1007/978-3-642-33409-2_32〉. 〈hal-01521414〉

Partager

Métriques

Consultations de la notice

117

Téléchargements de fichiers

29