Planning Reference Choices for Argumentative Teas

Planning Reference Choices for Argumentative Texts Xiaorong Huang* Techne Knowledge Systems 439 University Avenue Toronto, Ontario M5S 3G4 Canada xhCFormalSyst ems. ca Abstract This paper deals with the reference choices in- volved in the generation of argumentative text. Since a natual segmentation of discourse into attentional spaces is needed to carry out this task, this paper first proposes an architecture for natural language generation that combines hierarchical planning and focus-guided naviga- tion, a work in its own right. While hierarchi- cal planning spans out an attentional hierarchy of the discourse produced, local navigation fills details into the primitive discourse spaces. The usefulness of this architecture actually goes be- yond the particular domain of application for which it is developed. A piece of argumentative text such as the proof of a mathematical theorem conveys a sequence of derivations. For each step of derivation, the premises derived in the previous context and the inference method (such as the application of a particular theorem or definition) must be made clear. Although not restricted to nominal phrases, our reference decisions are similar to those concerning nominal subsequent referring expressions. Based on the work of Reichmann, this paper presents a discourse theory that han- dles reference choices by taking into account both textual distance as well as the attentional hierarchy. 1 Introduction This paper describes how reference decisions are made in PROVERB, a system that verbalizes machine-found natural deduction (ND) proofs. A piece of argumentative text such as the proof of a mathematical theorem can be viewed as a sequence *Much of this research was carried out while the au- thor was at Dept. of CS, Univ. of the Saarland, sup- ported by DFG (German Research Council). This paper was written while the author was a visitor at Dept. of CS, Univ. of Toronto, using facilities supported by a grant from the Natural Sciences and Engineering Re- search Council of Canada. of derivations. Each such derivation is realized in PROVERB by a proof communicative act (PEA), following the viewpoint that language utterances are actions. PeAs involve referring phrases that should help a reader to unambiguously identify an object of a certain type from a pool of candidates. Concretely, such references must be made for previously derived conclusions used as premises and for the inference method used in the current step. As an example, let us look at the PeA with the name Derive below: (Derive Derived-Formula: u * Iv = u Reasons : (unit(1u, U, *), u 6U) Method : Def-Semigroup*unit) Here, the slot Derived-Formula is filled by a new conclusion which this PeA aims to convey. It can be inferred by applying the filler of Method to the filler of Reasons as prernises. There are alternative ways of referring to both the Reasons and the Method. Depending on the discourse history, the following are two of the possible verbalizations: 1. (inference method omitted): "Since 1~ is the unit element of U, and u is an element of U, u * lu -- u." 2. …

Content truncated to 500 words