Skip to Main content Skip to Navigation
Conference papers

An Example-Tracing Tutor for Teaching NL to FOL Conversion

Abstract : In this paper we present an Example-tracing Tutor for the conversion of a sentence written in natural language (NL) to a sentence written in first order logic (FOL), which is a basic knowledge representation language. The tutor is based on the scripting of the process of the NL to FOL conversion and it has been authored using the Cognitive Tutoring Authoring Tool (CTAT) in which we have implemented a completed student interface and we also have created a Behavior Recorder graph for the above process.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Friday, November 17, 2017 - 2:47:18 PM
Last modification on : Thursday, March 5, 2020 - 5:40:56 PM
Long-term archiving on: : Sunday, February 18, 2018 - 3:39:53 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Themistoklis Chronopoulos, Isidoros Perikos, Ioannis Hatzilygeroudis. An Example-Tracing Tutor for Teaching NL to FOL Conversion. 6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. pp.170-178, ⟨10.1007/978-3-642-16239-8_24⟩. ⟨hal-01060665⟩



Record views


Files downloads