|
Title:
|
A WEB-BASED INTERACTIVE SYSTEM FOR LEARNING FOL TO CF CONVERSION |
|
Author(s):
|
Foteini Grivokostopoulou, Isidoros Perikos, Ioannis Hatzilygeroudis |
|
ISBN:
|
978-972-8939-71-7 |
|
Editors:
|
Miguel Baptista Nunes and Pedro Isaías |
|
Year:
|
2012 |
|
Edition:
|
Single |
|
Keywords:
|
Web-based interactive system, e-learning, teaching logic, adaptive system |
|
Type:
|
Full Paper |
|
First Page:
|
287 |
|
Last Page:
|
294 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
In this paper, we present a web-based interactive system that aims at helping students in learning to convert first order logic sentences into their clause form. It is aimed for use in teaching logic as a knowledge representation and reasoning language. The system provides a step-by-step guidance and help during that process. It adapts its interface to the current step requirements. Also, it offers to the students the capability of trying the conversion of any FOL sentence they want or choosing any of the pre-stored ones. Evaluation of the system has shown quite satisfactory results as far as its usability and learning capabilities are concerned. |
|
|
|
|
|
|
