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.
CITATION STYLE
Huang, X., & Fiedler, A. (1997). Proof verbalization as an application of NLG. In IJCAI International Joint Conference on Artificial Intelligence (Vol. 2, pp. 965–970).
Mendeley helps you to discover research relevant for your work.