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 metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01060665
Contributor : Hal Ifip <>
Submitted on : Friday, November 17, 2017 - 2:47:18 PM
Last modification on : Monday, December 18, 2017 - 1:11:00 AM
Long-term archiving on : Sunday, February 18, 2018 - 3:39:53 PM

File

ChronopoulosPH10.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

376

Files downloads

96