Reseña: “An intelligent tutoring system for teaching FOL equivalence”

Se ha publicado un artículo sobre enseñanza de la lógica titulado An intelligent tutoring system for teaching FOL equivalence.

Sus autores son Foteini Grivokostopoulou, Isidoros Perikos, Ioannis Hatzilygeroudis (de la Universidad de patras en Grecia).

El trabajo se ha presentado hoy en el AIEDCS 2013 (The First Workshop on AI-supported Education for Computer Science).

Su resumen es

In this paper, we present an intelligent tutoring system developed to assist students in learning logic. The system helps students to learn how to construct equivalent formulas in first order logic (FOL), a basic knowledge representation language. Manipulating logic formulas is a cognitively complex and error prone task for the students to deeply understand. The system assists stu- dents to learn to manipulate and create logically equivalent formulas in a step-based process. During the process the system provides guidance and feedback of various types in an intelligent way based on user’s behavior. Evaluation of the system has shown quite satisfactory results as far as its usability and learning capabilities are concerned.