Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, May 11, 2017 - 5:10:34 PM
Last modification on : Thursday, March 5, 2020 - 5:41:38 PM
Long-term archiving on: : Saturday, August 12, 2017 - 1:51:16 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads