Also published in SpringerLink Home:
Abductive Reasoning, Interpretation and Collaborative Processes
x hide permanently

A Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences

SpringerLink Home
In this paper, we mainly present the implementation of a system that translates first order logic (FOL) formulas into natural language (NL) sentences. The motivation comes from an intelligent tutoring system teaching logic as a knowledge representation language, where it is used as a means for feedback to the students-users. FOL to NL conversion is achieved by using a rule-based approach, where we exploit the pattern matching capabilities of rules. So, the system consists of rule-based modules corresponding to the phases of our translation methodology. Facts are used in a lexicon providing lexical and grammatical information that helps in producing ...
Mentions: University of Patras