|
Title:
|
TEACHING ASSISTANT TOOLS FOR NL TO FOL CONVERSION |
|
Author(s):
|
Isidoros Perikos, Foteini Grivokostopoulou, Ioannis Hatzilygeroudis |
|
ISBN:
|
978-972-8939-38-0 |
|
Editors:
|
Miguel Baptista Nunes and Pedro Isaías |
|
Year:
|
2011 |
|
Edition:
|
Volume I |
|
Keywords:
|
Teaching Assistant Tools, Teaching First Order Logic, Natural Language Processing, FOL parsing, Web-based E-learning system |
|
Type:
|
Full Paper |
|
First Page:
|
337 |
|
Last Page:
|
344 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
The NLtoFOL system is a web based interactive system that aims at helping the students convert (or translate) natural language (NL) sentences into first-order logic (FOL) formulas. In this paper, we present two teaching assistant tools to be embedded into the NLtoFOL system. First, the teaching material manager, which helps the tutor to insert information about a new sentences conversion process, by automatically analyzing the sentence and filling in corresponding data for all ten conversion process steps. The tutor can also edit them or delete existing ones. Second, the teaching data analyser, which is used to help the tutor in examining students progress. It helps him/her to investigate students answers and errors made by providing useful statistics. It also gives him/her a graphical view of them for a deeper understanding of difficulties that students face. So, the tutor can reconfigure and adapt the content and its difficulty to the students. |
|
|
|
|
|
|
