Teaching NL to FOL and FOL to CF Conversions

Ioannis Hatzilygeroudis

In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process of making the conversion, introduced here, which helps students, and the support of two software tools, one based on an implementation of that process and the other making translation from a FOL formula to a NL-like sentence. FOL to CF conversion teaching is based on a software tool that implements the conversion process and allows the intermediate steps to be visible. This gives the students the capability of trying the conversion of any FOL formula to its CF. The first experience results are promising.

Subjects: 1.3 Computer-Aided Education

Submitted: Feb 10, 2007


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.