Hercules Dalianis
Abstract
In this paper we show how to use the so-called aggregation technique to remove redundancies in the fact base of a formal specification. Redundancies are always present in formal languages to make them explicit and non-ambiguous The objective is to generate non-redundant natural language text. The aggregation rules preserves the meaning. Tation is expressed in the Delphi language, which is a sort of conceptuel modelling language. A prototype of the natural language aggregation generation system is implemented in Prolog.