Proof Verbalization as an Application of NLG
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Natural-language Processing and Graphical Presentation. 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.
@inproceedings{ijcai1997p139,
title = {Proof Verbalization as an Application of NLG},
author = {Huang, Xiaorong and Fiedler, Armin},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {965--971},
year = {1997},
note = {Natural-language Processing and Graphical Presentation},
url = {https://ijcai.org/proceedings/1997/139},
}
TY - CPAPER TI - Proof Verbalization as an Application of NLG AU - Huang, Xiaorong AU - Fiedler, Armin T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 965 EP - 971 UR - https://ijcai.org/proceedings/1997/139 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
