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

Authors:
Aikaterini Mpagouli;Ioannis Hatzilygeroudis
Affiliations:
School of Engineering Department of Computer Engineering & Informatics, University of Patras, Patras 26500;School of Engineering Department of Computer Engineering & Informatics, University of Patras, Patras 26500
Venue:
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Year:
2009

Citing 9
Cited 0

Logical foundations of artificial intelligence

Logical foundations of artificial intelligence
Controlled Natural Language Can Replace First-Order Logic

ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Knowledge Representation and Reasoning

Knowledge Representation and Reasoning
Building Natural Language Generation Systems (Studies in Natural Language Processing)

Building Natural Language Generation Systems (Studies in Natural Language Processing)
ERIC: a generic rule-based framework for an affective embodied commentary agent

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Jess in action: rule-based systems in java

Jess in action: rule-based systems in java
Paraphrasing OCL Expressions with SBVR

NLDB '08 Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems
Understanding Z: A Specification Language and its Formal Semantics

Understanding Z: A Specification Language and its Formal Semantics
Translating formal software specifications to natural language

LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 the NL sentences. The whole system is implemented in Jess, a java-implemented rule-based programming tool. Experimental results confirm the success of our choices.