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. © 2010 IFIP.
Author supplied keywords
Cite
CITATION STYLE
Chronopoulos, T., Perikos, I., & Hatzilygeroudis, I. (2010). An example-tracing tutor for teaching NL to FOL conversion. In IFIP Advances in Information and Communication Technology (Vol. 339 AICT, pp. 170–178). https://doi.org/10.1007/978-3-642-16239-8_24
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
