Vi presenterar en algoritm för att generera strängar från logiska formkodningar som förbättrar vid tidigare algoritmer genom att den sätter färre restriktioner på den grammatikklass som den är tillämplig på. I synnerhet, till skillnad från en tidigare bottom-up generator, det tillåter användning av semlantically nonmonotonic grammatik, men till skillnad från top-down metoder, det tillåter också vänster-recursion. Den möjliggörande designen av algoritmen är dess implicita traversal av analysträdet för strängen som genereras på ett semantiskt-huvud-drivet sätt.
REF presenterade en semantisk huvuddriven metod för generering från logiska former baserade på regler skrivna i Prolog.
Semantic-Head-Driven Generation