Skip to main content
Article thumbnail
Location of Repository

An Intelligent Tutoring System for Teaching FOL Equivalence

By Foteini Grivokostopoulou, Isidoros Perikos and Ioannis Hatzilygeroudis


Abstract. 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 students to learn to manipulate and create logically equivalent formulas in a stepbased 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

Topics: Intelligent Tutoring System, Teaching Logic, First Order Logic, Logic Equivalence
Year: 2014
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.