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.
Type de document :
Communication dans un congrès
Harris Papadopoulos; Andreas S. Andreou; Max Bramer. 6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. Springer, IFIP Advances in Information and Communication Technology, AICT-339, pp.170-178, 2010, Artificial Intelligence Applications and Innovations. 〈10.1007/978-3-642-16239-8_24〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01060665
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 novembre 2017 - 14:47:18
Dernière modification le : lundi 18 décembre 2017 - 01:11:00
Document(s) archivé(s) le : dimanche 18 février 2018 - 15:39:53

Fichier

ChronopoulosPH10.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Themistoklis Chronopoulos, Isidoros Perikos, Ioannis Hatzilygeroudis. An Example-Tracing Tutor for Teaching NL to FOL Conversion. Harris Papadopoulos; Andreas S. Andreou; Max Bramer. 6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. Springer, IFIP Advances in Information and Communication Technology, AICT-339, pp.170-178, 2010, Artificial Intelligence Applications and Innovations. 〈10.1007/978-3-642-16239-8_24〉. 〈hal-01060665〉

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

7