---
title: "Proof Verbalization as an Application of NLG"
authors:
  - "Xiaorong Huang"
  - "Armin Fiedler"
doi: ""
url: "https://ijcai.org/proceedings/1997/139"
pdf: "https://ijcai.org/proceedings/1997/0139.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "965-971"
track: "Natural-language Processing and Graphical Presentation"
keywords:
---

# Proof Verbalization as an Application of NLG

Xiaorong Huang, Armin Fiedler

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 965-971.

## Abstract

This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of hierarchical planning and focus-guided navigation. The microplanner then maps communicative acts and domain concepts into linguistic resources, paraphrases and aggregates such resources to produce the final Text Structure. A Text Structure contains all necessary syntactic information, and can be executed by our realizer into grammatical sentences. The system works fully automatically and performs particularly well for textbook size examples.