%0 Conference Proceedings
%T Assistant Tools for Teaching FOL to CF Conversion
%+ Department of Computer Engineering and Informatics [Patras]
%A Grivokostopoulou, Foteini
%A Perikos, Isidoros
%A Hatzilygeroudis, Ioannis
%Z Part 8: Multi Attribute DSS
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 8th International Conference on Artificial Intelligence Applications and Innovations (AIAI)
%C Halkidiki, Greece
%Y Lazaros Iliadis
%Y Ilias Maglogiannis
%Y Harris Papadopoulos
%I Springer
%3 Artificial Intelligence Applications and Innovations
%V AICT-381
%N Part I
%P 306-315
%8 2012-09-27
%D 2012
%R 10.1007/978-3-642-33409-2_32
%K Tutor assistant tool
%K Student progress statistics
%K Difficulty level estimation
%K First Order Logic
%K Clause Form
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01521414/document
%2 https://inria.hal.science/hal-01521414/file/978-3-642-33409-2_32_Chapter.pdf
%L hal-01521414
%U https://inria.hal.science/hal-01521414
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC12
%~ IFIP-AIAI
%~ IFIP-WG12-5
%~ IFIP-AICT-381