An Example-Tracing Tutor for Teaching NL to FOL Conversion - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

An Example-Tracing Tutor for Teaching NL to FOL Conversion

(1) , (1) , (1)
1

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.
Fichier principal
Vignette du fichier
ChronopoulosPH10.pdf (478.95 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01060665 , version 1 (17-11-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
328 View
66 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More