Assistant Tools for Teaching FOL to CF Conversion - Artificial Intelligence Applications and Innovations - Part I (AIAI 2012) Access content directly
Conference Papers Year : 2012

Assistant Tools for Teaching FOL to CF Conversion


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.
Fichier principal
Vignette du fichier
978-3-642-33409-2_32_Chapter.pdf (251.03 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01521414 , version 1 (11-05-2017)





Foteini Grivokostopoulou, Isidoros Perikos, Ioannis Hatzilygeroudis. Assistant Tools for Teaching FOL to CF Conversion. 8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.306-315, ⟨10.1007/978-3-642-33409-2_32⟩. ⟨hal-01521414⟩
127 View
300 Download



Gmail Facebook X LinkedIn More