<?xml version="1.0"?><!DOCTYPE article SYSTEM "/project/take/software/searchbench_offline_processing/paperxml_generator/aclextractor/src/python/../resource/dtd/paperxml.dtd"><article><header><firstpageheader><page local="1" global="1097"/><title>Grammar Comparison Study for Translational Equivalence Modeling and Statistical Machine Translation</title><pubinfo>Proceedings of the 22nd International Conference on Computational Linguistics (Coling 2008),pages 1097-1104 Manchester, August 2008</pubinfo><author surname="Zhang" givenname="Min"><org  name="Institute for Infocomm Research" country="Singapore"/></author><author surname="Jiang" givenname="Hongfei"><org  name="Harbin Institute of Technology" country="China" city="Harbin"/></author><author surname="Li" givenname="Haizhou"><org  name="Institute for Infocomm Research" country="Singapore"/></author><author surname="Aw" givenname="Aiti"><org  name="Institute for Infocomm Research" country="Singapore"/></author><author surname="Li" givenname="Sheng"><org  name="Harbin Institute of Technology" country="China" city="Harbin"/></author></firstpageheader><frontmatter><p><b>Grammar Comparison Study for Translational Equivalence Modeling and Statistical Machine Translation</b></p><p><b>1 2 11 2</b></p><p><b>Min Zhang , Hongfei Jiang , Haizhou Li , Aiti Aw  and Sheng Li</b></p><p>institute for Infocomm Research, Singapore <footnote anchor="2"/>Harbin Institute of Technology, China (mzhang, hli, aaiti}@i2r.a-star.edu.sg (hfjiang, lisheng}@mtlab.hit.edu.cn</p></frontmatter><abstract>This paper presents a general platform, namely synchronous tree sequence sub­stitution grammar (STSSG), for the grammar comparison study in Transla­tional Equivalence Modeling (TEM) and Statistical Machine Translation (SMT). Under the STSSG platform, we compare the expressive abilities of various gram­mars through synchronous parsing and a real translation platform on a variety of Chinese-English bilingual corpora. Ex­perimental results show that the STSSG is able to better explain the data in paral­lel corpora than other grammars. Our study further finds that the complexity of structure divergence is much higher than suggested in literature, which imposes a big challenge to syntactic transformation- based SMT. </abstract></header><body><section number="1" title="Introduction"><p>Translational equivalence is a mathematical rela­tion that holds between linguistic expressions with the same meaning (Wellington et al., 2006). The common explicit representations of this rela­tion are word alignments, phrase alignments and structure alignments between bilingual sentences. Translational Equivalence Modeling (TEM) is a process to describe and build these alignments using mathematical models. Thus, the study of TEM is highly relevant to Statistical Machine Translation (SMT).</p><p>Grammar is the most important infrastructure for TEM and SMT since translation models' ex­pressive and generative abilities are mainly de© 2008. Licensed under the <i>Creative Commons Attri­bution-Noncommercial-Share Alike 3.0 Unported </i>license (http://creativecommons.org/licenses/by-nc-<u>sa/3.0/</u>). Some rights reserved.</p><p>termined by the grammar. Many grammars, such as finite-state grammars (FSG), bracket/inversion transduction grammars (BTG/ITG) (Wu, 1997), context-free grammar (CFG), tree substitution grammar (TSG) (Comon et al., 2007) and their synchronous versions, have been explored in SMT. Based on these grammars, a great number of SMT models have been recently proposed, including string-to-string model (Synchronous FSG) (Brown et al., 1993; Koehn et al., 2003), tree-to-string model (TSG-string) (Huang et al., 2006; Liu et al., 2006; Liu et al., 2007), string-to-tree model  (string-CFG/TSG)  (Yamada and 2006), tree-to-tree model (Synchronous CFG/TSG, Data-Oriented Translation) (Chiang, 2005; Cowan et al., 2006; Eisner, 2003; Ding and Palmer, 2005; Zhang et al., 2007; Bod, 2007; Quirk wt al., 2005; Poutsma, 2000; Hearne and Way, 2003) and so on.</p><doubt alpha="52.1" length="48" tooSmall="False" monospace="0.0">Knight, 2001; Galley et al., 2006; Marcu et al.,</doubt><p>Although many achievements have been ob­tained by these advances, it is still unclear which of these important pursuits is able to best explain human translation data, as each has its advan­tages and disadvantages. Therefore, it has great meaning in both theory and practice to do com­parison studies among these grammars and SMT models to see which of them are capable of better describing parallel translation data. This is a fun­damental issue worth exploring in multilingual information processing. However, little effort in previous work has been put in this point. To ad­dress this issue, in this paper we define a general platform, namely synchronous tree sequence substitution grammar (STSSG), for the compari­son studies. The STSSG can be seen as a gener­alization of Synchronous TSG (STSG) by replac­ing elementary tree (a single subtree used in STSG) with contiguous tree sequence as the ba­sic translation unit. As a result, most of previous grammars used in SMT can be interpreted as the reduced versions of the STSSG. Under the STSSG platform, we compare the expressive abilities of various grammars and translation models through linguistically-based synchronous parsing and a real translation platform.<page local="2" global="1098"/> By syn­chronous parsing, we aim to study which gram­mar can well explain translation data (i.e. transla-tional equivalence alignment) while by the real translation platform, we expect to investigate which model can achieve better translation per­formance. In addition, we also measure the im­pact of various factors in this study, including the genera of corpora (newspaper domain via spoken domain), the accuracy of word alignments and syntax parsing (automatically vs. manually).</p><p>We report our experimental settings, experi­mental results and our findings in detail in the rest of the paper, which is organized as follows: Section 2 reviews previous work. Section 3 elaborates the general framework while Section 4 reports the experimental results. Finally, we con­clude our work in Section 5.</p></section><section number="2" title="Previous Work"><p>There are only a few of previous work related to the study of translation grammar comparison.</p><p>Fox (2002) is the first to look at how well pro­posed translation models fit actual translation data empirically. She examined the issue of phrasal cohesion between English and French and discovered that while there is less cohesion than one might desire, there is still a large amount of regularity in the constructions where breakdowns occur. This suggests that reordering words by phrasal movement is a reasonable strat­egy (Fox, 2002). She has also examined the dif­ferences in cohesion between Treebank-style parse trees, trees with flattened verb phrases, and dependency structures. Their experimental re­sults indicate that the highest degree of cohesion is present in dependency structures.</p><p>Motivated by the same problem raised by Fox better explain human translation data. They first propose a theory that gives formal semantics to word-level alignments defined over parallel cor­pora, and then use the theory to introduce a linear algorithm that is used to derive from word-aligned, parallel corpora the minimal set of syn­tactically motivated transformation rules to ex­plain human translation data. Their basic idea is to create transformation rules that condition on larger fragments of tree structure. Their experi­mental results suggest that their proposed rules provide a good, realistic indicator of the com­plexities inherent in translation than SCFG.</p><doubt alpha="54.2" length="48" tooSmall="False" monospace="0.0">(2002), Galley et al. (2004) study what rule can</doubt><p>Wellington et al. (2006) describes their study of the patterns of translational equivalence exhib­ited by a variety of bilingual/monolingual bitexts. They empirically measure the lower bounds on alignment failure rates with and without gaps under the constraints of word alignment alone or with one or both side parse trees. Their study finds surprisingly many examples of translational equivalence that could not be analyzed using bi­nary-branching structures without discontinuities. Thus, they claim that the complexity of these patterns in every bitext is higher than suggested in the literature. In addition, they suggest that the low coverage rates without gaps under the con­straints of independently generated monolingual parse trees might be the main reason why "syn­tactic" constraints have not yet increased the ac­curacy of SMT systems. However, they find that simply allowing a single gap in bilingual phrases or other types of constituent can improve cover­age dramatically.</p><p>DeNeefe et al. (2007) compares the strengths and weaknesses of a syntax-based MT model with a phrase-based MT model from the view­points of translational equivalence extraction methods and coverage. They find that there are surprising differences in phrasal coverage - nei­ther is merely a superset of the other. They also investigate the reason why some phrase pairs are not learned by the syntax-based model. They fur­ther propose several solutions and evaluate on the syntax-based extraction techniques in light of phrase pairs captured and translation accuracy. Finally, significant performance improvement is reported using their solutions.</p><p>Different from previous work discussed above, this paper mainly focuses on the expressive abil­ity comparison studies among different gram­mars and models through synchronous parsing and a real SMT platform. Fox (2002), Galley et al (2004) and Wellington et al. (2006) examine</p><p>TEM only. DeNeefe et al. (2007) only compares the strengths and weaknesses of a syntax-based MT model with a phrase-based MT model.</p></section><section number="3" title="The General Platform: the STSSG"><p>In this section, we first define the STSSG plat­form in Subsection 3.1, and then explain why it is a general framework that can cover most of previous syntax-based translation grammars and models in Subsection 3.2. In Subsection 3.3 and 3.4, we discuss the STSSG-based SMT and syn­chronous parsing, which are used to compare different grammars and translation models.</p><page local="3" global="1099"/><subsection number="3.1" title="Definition of the STSSG"><p>The STSSG is an extension of the STSG by us­ing tree sequences (rather than elementary trees) as the basic translation unit. A STSSG is a septet <i>G </i><i>=&lt; E</i><i>s,</i><i>E</i><i>t</i>, <i>N</i><i>s, </i><i>N</i><i>t, </i><i>S</i><i>s, </i><i>S</i><i>t, </i><i>P </i><i>&gt;</i>, where:</p><p><i>• E</i><i>s </i>and <i>E</i><i>t </i>are source and target terminal alphabets (POSs or lexical words), respec­tively, and</p><p><i>• N</i><i>s </i>and <i>N</i><i>t </i>are source and target non­terminal alphabets (linguistic phrase tag, i.e. NP/VP...), respectively, and</p><p><i>• S</i><i>s </i><i>e N</i><i>s </i>and <i>S</i><i>t </i><i>e N</i><i>t </i>are the source and tar­get start symbols (roots of source and target parse trees), and</p><p><i>•</i><i> </i><i>P</i><i> </i>is a production rule set.</p><p>A grammar rule <i>ri</i><i> </i>in the STSSG is an aligned tree sequence pair, &lt;^s , <i>A </i>&gt;, where <i>%s </i>and <i>£,t</i><i> </i>are tree sequences of source side and target sides, respectively, and <i>AA</i><i> </i>is the alignments be­tween leaf nodes of two tree sequences. Here, the key concept of "tree sequence" refers to an or­dered subtree sequence covering a consecutive tree fragment in a complete parse tree. The leaf nodes of a subtree in a tree sequence can be ei­ther non-terminal symbols or terminal symbols. Fig. 2 shows two STSSG rules extracted from the aligned tree pair shown in Fig. 1, where <i>r1</i><i> </i>is also a STSG rule.</p><p>In the STSSG, a translational equivalence is modeled as a tree sequence pair while MT is viewed as a tree sequence substitution process. From the definition of "tree sequence", we can see that a subtree in a tree sequence is a so-called elementary tree used in TSG. This suggests that SCFG and STSG are only a subset of STSSG and SCFG is a subset of STSG. The next subsec­tion discusses how to configure the STSSG to implement the other two simplified grammars. This is the reason why we call the STSSG a gen­eral framework for synchronous grammar-based translation modeling.</p><p>It is worth noting that, from rule rewriting viewpoint, STSSG can be thought of as a re­stricted version of synchronous multi-component TAGs (Schuler et al., 2000) although TAG is more powerful than TSG due to the additional operation "adjunctions". The synchronous multi-component TAG can also rewrite several non­terminals in one step of derivation. The differ­ence between them is that the rewriting sites (i.e. the substitution nodes) must be contiguous in STSSG. In addition, STSSG is also related to tree automata (Comon et al., 2007). However, the discussion on the theoretical relation and com­parison between them is out of the scope of the paper. In this paper, we focus on the comparison study of SMT grammars using the STSSG plat­form.</p><figure caption="Figure 1. A word-aligned parse tree pairs of a Chi­nese sentence and its English translation"></figure><figure caption="Figure 2. Two examples of translation rules"></figure></subsection><subsection number="3.2" title="Rule Extraction and Grammar Con­figuration"><p>All the STSSG mapping rules are extracted from bi-parsed trees. Our rule extraction algorithm is an extension of that presented at (Chiang, 2005; Liu et al., 2006; Zhang et al., 2007). We modify their tree-to-tree/string rule extraction algorithms to extract tree-sequence-to-tree-sequence rules. Our rules<footnote anchor="2"/> are extracted in two steps:</p><footnote label="2">We classify the rules into two categories: initial rules, whose leaf nodes must be terminals, and ab-</footnote><page local="4" global="1100"/><p>1) Extracting <i>initial rules </i>from bi-parsed trees. This is rather straightforward. We first generate all fully lexicalized source and target tree se­quences (whose leaf nodes must be lexical words) using a DP algorithm and then iterate over all generated source and target sequence pairs. If their word alignments are all within the scope of the current tree sequence pair, then the current tree sequence pair is an <i>initial rule.</i></p><p>2) Extracting <i>abstract rules </i>from the extracted <i>initial rules. </i>The idea behind is that we generate an <i>abstract rule </i>from a "big" <i>initial rule </i>by re­moving one or more "small" <i>initial rules </i>from the "big" one, where the "small" ones must be a sub-graph of the "big" one. Please refer to (Chiang, 2005; Liu et al., 2006; Zhang et al., 2007) for the implementation details.</p><p>As indicated before (Chiang, 2005; Zhang et al., 2007), the above scheme generates a very large number of rules, which not only makes the system too complicated but also introduces too many undesirable ambiguities. To control the overall model complexity, we introduce the fol­lowing parameters:</p><p>1) The maximal numbers of trees in the source and target tree sequences: <i>as </i>and <i>at</i>.</p><p>2) The maximal tree heights in the source and target tree sequences: <i>j3s </i>and <i>j3t</i>.</p><p>3) The maximal numbers of non-terminal leaf nodes in the source and target tree sequences:</p><p><i>Y</i><i>s</i>and <i>Y</i>.</p><p>Now let us see how to implement other mod­els in relation to STSSG based the STSSG through configuring the above parameters.</p><p>1) STSG-based tree-to-tree model (Zhang et al., 2007; Bod, 2007) when <i>as </i>= Ot =1.</p><p>2) SCFG-based tree-to-tree model when <i>as </i>= <i>O</i><b><i>Ct </i></b>=1 and <i>J3s </i>= <i>J3t </i>=2.</p><p>3) Phrase-based translation model only (no re­ordering model) when <i>Ys</i><i> </i>= <i>Yt </i>=0 and <i>j3s </i>= <i>j3t</i>=1.</p><doubt alpha="62.4" length="85" tooSmall="False" monospace="0.0">4) TSG-CFG-based tree-to-string model (Liu et al., 2006) whenas=Ot=1,/3t=2 and ignore</doubt><p>phrase tags in target side.</p><p>5) CFG-TSG-based string-to-tree model (Gal­ley et al., 2006) when <i>as </i>= Ot =1and <i>j3s </i>=2.</p><p>6) TSSG-CFG-based tree-sequence-to-string model (Liu et al., 2007) when <i>j3t </i>=2 and ignore phrase tags in target side.</p><p>From the above definitions, we can see that all of previous related models/grammars can be can be interpreted as the reduced versions of the STSSG. This is the reason why we use the STSSG as a general platform for our model and grammar comparison studies.</p></subsection><subsection number="3.3" title="Model Training and Decoder for SMT"><p>We use the tree sequence mapping rules to model the translation process. Given the source parse tree <i>T</i><i> </i><i>(fJ</i><i> </i>), there are multiple derivations<footnote anchor="3"/> that could lead to the same target tree <i>T(e<footnote anchor="1"/>^ </i>) , the mapping probability <i>P</i><i>r </i><i>(T </i>(e<footnote anchor="1"/> )| <i>T</i><i> </i><i>(fJ</i><i> </i>)) is ob­tained by summing over the probabilities of all derivations. The probability of each derivation # is given by the product of the probabilities of all the rules <i>p(ri</i><i> </i>) used in the derivation (here we assume that a rule is applied <i>independently </i>in a derivation).</p><doubt alpha="41.4" length="29" tooSmall="False" monospace="0.0">Pr(e/|f1J) =Pr(T(e{)|T (f1J))</doubt><doubt alpha="0.0" length="3" tooSmall="False" monospace="0.0">(1)</doubt><doubt alpha="50.0" length="6" tooSmall="False" monospace="0.0">0 rle0</doubt><p>The model is implemented under log-linear framework. We use seven basic features that are analogous to the commonly used features in phrase-based systems (Koehn, 2004): 1) bidirec­tional rule mapping probabilities; 2) bidirectional lexical translation probabilities; 3) the target lan­guage model; 4) the number of rules used and 5) the number of target words. Besides, we define two new features: 1) the number of lexical words in a rule to control the model's preference for lexicalized rules over un-lexicalized rules and 2) the average tree height in a rule to balance the usage of hierarchical rules and more flat rules. The overall training process is similar to the process in the phrase-based system (koehn et al., 2007): word alignment, rule extraction, feature extraction and probability calculation and feature weight tuning.</p><p>Given <i>T</i><i> </i><i>(fJ</i><i> </i>), the decoder is to find the best derivation <i>6 </i>that generates &lt; <i>T</i><i> </i><i>(fJ</i><i> </i>), <i>T</i><i> </i>(e<footnote anchor="1"/>) &gt;. <i>e = </i>argmax <i>P</i><i>r </i><i>(T </i>(e/ )|T <i>(fJ</i>)) <i>~</i><i> </i>argmaxHP(ri)</p><doubt alpha="33.3" length="6" tooSmall="False" monospace="0.0">e1I(2)</doubt><p>By default, same as other SMT decoder, here we use Viterbi derivation in Eq (2) instead of the <i>stract rule </i>that having at least one non-terminal leaf A derivation is a sequence of tree sequence rules that node. maps a source parse tree to its target one.</p><page local="5" global="1101"/><p>summing probabilities in Eq (3). This is to make the decoder speed not too slow. The decoder is a standard span-based chart parser together with a function for mapping the source derivations to the target ones. To speed up the decoder, we util­ize several thresholds to limit the search beams for each span, such as the number of rules used and the number of hypotheses generated.</p></subsection><subsection number="3.4" title="Synchronous Parsing"><p>A synchronous parser is an algorithm that can infer the syntactic structure of each component text in a multitext and simultaneously infer the correspondence relation between these structures. When a parser's input can have fewer dimen­sions than the parser's grammar, we call it a translator. When a parser's grammar can have fewer dimensions than the parser's input, we call it a synchronizer (Melamed, 2004). Therefore, synchronous parsing and MT are closed to each other. In this paper, we use synchronous parsing to compare the ability of different grammars in translational equivalence modeling.</p><p>Given a bilingual sentence pair <i>f1J </i>and <i>e1I </i>, the synchronous parser is to find a derivation <i>6 </i>that parser is similar to the synchronous CKY parser presented at (Melamed, 2004). The difference is that we implement it based on our STSSG de­coder. Therefore, in nature the parser is a stan­dard synchronous chart parser but constrained by the rules of the STSSG grammar. In our imple­mentation, we simply use our decoder to simu­late the bilingual parser: 1) for each sentence pair, we extract one model; 2) we use the model and the decoder to translate the source sentence of the given sentence pair; 3) if the target sentence is successfully generated by the decoder, then we say the symphonious parsing is successful. Please note that the synchronous parsing is con­sidered as successful once the last words in the source and target sentences are covered by the decoder even if there is no a complete target parse tree generated (it may be a tree sequence). This is because our study only concerns whether all translational equivalences are linked together by the synchronous parser correctly.</p><doubt alpha="66.7" length="42" tooSmall="False" monospace="0.0">generates &lt;T(f1J),T(e1) &gt;. Our synchronous</doubt></subsection></section><section number="4" title="Experiments"><subsection number="4.1" title="Experimental Settings"><p><b>Synchronous parsing settings: </b>Our experiments of synchronous parsing are carried on three Chinese-to-English bilingual corpora: the FBIS cor­pus, the IWSLT 2007 training set and the HIT Corpus. The FBIS data is a collection of trans­lated newswire documents published by major news agencies from three representative loca­tions: Beijing, Taipei and Hongkong. The IWSLT data is a multilingual speech corpus on travel domain while the HIT corpus consists of example sentences of a Chinese-English diction­ary. The first two corpora are sentence-aligned while the HIT corpus is a manually bi-parsed corpus with manually annotated word alignments. We use the three corpora to study whether the models' expressive abilities are domain depend­ent and how the performance of word alignment and parsing affect the ability of translation mod­els. We selected 2000 sentence pairs from each individual corpus for the comparison study of translational equivalence modeling. Table 1 gives descriptive statistics of the tree data set.</p><p>Table 1. # of words of experimental data for synchronous parsing (there are 2k sen­tence pairs in each individual corpus)</p><p>In the synchronous parsing experiments, we compared three synchronous grammars: SCFG, STSG and STSSG using the STSSG platform. We use the same settings except the following parameters (please refer to Subsection 3.2 for their definitions): <i>as </i>= <i>at </i>=1, <i>/3S </i>= <i>/3t </i>=2 for</p><p>SCFG ; <i>as </i>= <i>a </i>=1 and <i>j3s </i>= <i>pt </i>=6 for STSG; <i>as </i><i>=</i><i> </i><i>O </i>= 4 and <i>j3s </i>= <i>j3</i><i>=6</i><i> </i>for STSSG. We iter­ate over each sentence pair in the three corpora with the following process:</p><p>1) to used Stanford parser (Klein and Manning, 2003) to parse bilingual sentences separately, this means that our study is based on the Penn Treebank style grammar.</p><p>2) to extract SCFG, STSG and STSSG rules form each sentence pair, respectively;</p><p>3) to do synchronous parsing using the exacted rules.</p><p>Finally, we can calculate the successful rate of the synchronous parsing on each corpus.</p><p><b>SMT evaluation settings: </b>For the SMT ex­periments, we trained the translation model on the FBIS corpus (7.2M (Chinese)+9.2M(English) words) and trained a 4-gram language model on the Xinhua portion of the English Gigaword cor­pus (181M words) using the SRILM Toolkits (Stolcke, 2002) with modified Kneser-Ney smoothing (Chen and Goodman, 1998).<page local="6" global="1102"/> We used these sentences with less than 50 characters from the NIST MT-2002 test set as our development set and the NIST MT-2005 test set as our test set. We used the Stanford parser (Klein and Manning, 2003) to parse bilingual sentences on the training set and Chinese sentences on the development and test sets. The evaluation metric is caseused GIZA++ and the heuristics "grow-diag-final" to generate m-to-n word alignments. For the MER training, we modified Koehn's MER trainer (Koehn, 2004) for our STSSG-based sys­tem. For significance test, we used Zhang et al's implementation (Zhang et al, 2004). We com­pared four SMT systems: Moses (Koehn et al., based tree-to-tree translation models. For Moses, we used its default settings. For the others, we implemented them on the STSSG platform by adopting the same settings as used in the syn­chronous parsing. We optimized the decoding parameters on the development sets empirically.</p><table class="main" frame="box" rules="all" border="1" regular="False"><tr class="row"><td class="cell"></td><td class="cell"></td><td class="cell"></td><td class="cell"></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"><p><b>Chinese</b></p></td><td class="cell"><p><b>English</b></p></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"><p><b>FBIS</b></p></td><td class="cell"><p>48,331</p></td><td class="cell"><p>59,788</p></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"><p><b>IWSLT</b></p></td><td class="cell"><p>17,667</p></td><td class="cell"><p>18,427</p></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"><p><b>HIT</b></p></td><td class="cell"><p>18,215</p></td><td class="cell"><p>20,266</p></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"></td><td class="cell"></td><td class="cell"></td><td class="cell"></td></tr></table><doubt alpha="61.4" length="44" tooSmall="False" monospace="0.0">sensitive BLEU-4 (Papineni et al., 2002). We</doubt><doubt alpha="65.0" length="40" tooSmall="False" monospace="0.0">2007), SCFG-based, STSG-based and STSSG-</doubt></subsection><subsection number="4.2" title="Experimental Results"><p><b>__<u>SCFG</u> <u>STSG</u> <u>STSSG</u></b></p><doubt alpha="11.4" length="35" tooSmall="False" monospace="0.0">FBIS7 (0.35%)143 (7.15%)388 (19.4%)</doubt><doubt alpha="12.2" length="41" tooSmall="False" monospace="0.0">IWSLT171 (8.6%) 1179 (58.9%) 1708 (85.4%)</doubt><doubt alpha="7.7" length="39" tooSmall="False" monospace="0.0">HIT65 (3.23%) 1133 (56.6%) 1532 (76.6%)</doubt><p>Table 2. Successful rates (numbers inside bracket) of synchronous parsing over 2,000 sentence pairs, where the integers outside bracket are the numbers of successfully-parsed sentence pairs</p><table caption="Table 2 reports the experimental results of syn­chronous parsing. It shows that:"></table><p>1) As an extension of STSG/SCFG, STSSG outperforms STSG and SCFG consistently in the three data sets. The significant difference sug­gests that the STSSG is much more effective in modeling translational equivalences and structure divergences. The reason is simply because the STSSG uses tree sequences as the basic transla­tion unit so that it can model non-syntactic phrase equivalence with structure information and handle structure reordering in a large span.</p><p>2) STSG shows much better performance than SCFG. It is mainly due to that STSG allow mul­tiple level tree nodes operation and reordering in</p><p>a larger span than SCFG. It reconfirms that only allowing sibling nodes reordering as done in SCFG may be inadequate for translational equiva­lence modeling (Galley et al., 2004)<footnote anchor="4"/>.</p><p>3) All the three models on the FBIS corpus show much lower performance than that on the other two corpora. The main reason, as shown in Table 1, is that the sentences in the FBIS corpus are much longer than that in the other corpus, so their syntactic structures are significantly more complicated than the other two. In addition, al­though tree sequences are utilized, STSSG show much lower performance in the FBIS corpus. This implies that the complexity of structure di­vergence between two languages is higher than suggested in literature (Fox, 2002; Galley et al., 2004). Therefore, structure divergence is still a big challenge to translational equivalence model­ing when using syntactic structure mapping.</p><p>4) The HIT corpus does not show better per­formance than the IWSLT corpus although the HIT corpus is manually annotated with parse trees and word alignments. In order to study whether high performance word alignment and parsing results can help synchronous parsing, we do several cross validations and report the ex­perimental results in Table 3.</p><p>Table 3. Successful rates (SCFG/STSG/ STSSG)(%) with regards to different word alignments and parse trees on the HIT corpus</p><p>Table 3 compares the performance of syn­chronous parsing on the HIT corpus when using gold and automatic parser and word alignment. It is surprised that gold word alignments and parse trees do not help and even decrease the perform­ance slightly. Our analysis further finds that 2006).</p><footnote label="4">This claim is mainly hold for linguistically-informed SCFG since formal SCFG and BTG already showed much better performance in the formally syntax-based translation framework (Chiang, 2005). This is because the formal syntax is learned from phrase translational equivalences directly without relying on any linguistic theory (Chiang, 2005). Thus, it may not suffer from the issues of non-isomorphic structure alignment and non-syntactic phrase usage heavily (Wellington et al.,</footnote><table class="main" frame="box" rules="all" border="1" regular="False"><tr class="row"><td class="cell"></td><td class="cell"></td><td class="cell"></td><td class="cell"></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"><p></p></td><td class="cell"><p><b>Gold Word</b></p></td><td class="cell"><p><b>Automatic Word Align­ment</b></p></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"><p></p></td><td class="cell"><p><b>Alignment</b></p></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"><p><b>Gold Parse</b></p></td><td class="cell"><p>3.2/56.6/76.6</p></td><td class="cell"><p>2.9/57.7/80.9</p></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"><p><b>Automatic Parse</b></p></td><td class="cell"><p>3.2/55.6/76.0</p></td><td class="cell"><p>2.9/54.2/78.8</p></td><td class="cell"></td></tr><tr class="row"><td class="cell"></td><td class="cell"></td><td class="cell"></td><td class="cell"></td><td class="cell"></td></tr></table><page local="7" global="1103"/><p>more than 90% sentence pairs out of all the sen­tence pairs that can be successfully bi-parsed are in common in the four experiments. This sug­gests that the STSSG/STSG (SCFG achieves too much lower performance) and our rule extraction algorithm are robust in dealing with the errors introduced by the word alignment and parsing programs. If a parser, for example, makes a sys­tematic error, we expect to learn a rule that can nevertheless be systematically used to model cor­rect translational equivalence. Our error analysis on the three corpora shows that most of the fail­ures of synchronous parsing are due to the struc­ture divergence (i.e. the nature of non-isomorphic structure mapping) and the long dis­tance dependence in the syntactic structures.</p><doubt alpha="62.1" length="29" tooSmall="False" monospace="0.0">__SCFG   Moses     STSG STSSG</doubt><doubt alpha="10.0" length="40" tooSmall="False" monospace="0.0">BLEU(%)22.72     23.86       24.71 26.07</doubt><table caption="Table 3. Performance comparison of dif­ferent grammars on FBIS corpus"></table><table caption="Table 3 compares different grammars in terms of translation performance. It shows that:"></table><p>1) The same as synchronous parsing, the STSSG-based model statistically significantly outperforms <i>(p</i><i> </i>&lt; 0.01) previous phrase-based and linguistically syntax-based methods. This empiri­cally verifies the effect of the tree-sequence-based grammar for statistical machine translation.</p><p>2) Both STSSG and STSG outperform Moses significantly and STSSG clearly outperforms STSG, which suggest that:</p><p>• The linguistically motivated structure fea­tures are still useful for SMT, which can be cap­tured by the two syntax-based grammars through tree node operations.</p><p>• STSSG is much more effective in utiliz­ing linguistic structures than STSG since it uses tree sequence as the basic translation unit. This enables STSSG not only to handle structure reor-derings by tree node operations in a larger span, but also to capture non-syntactic phrases with syn­tactic information, and hence giving the grammar more expressive power.</p><p>3) The linguistic-based SCFG shows much lower performance. This is largely because SCFG only allows sibling nodes reordering and fails to utilize both non-syntactic phrases and those syn­tactic phrases that cannot be covered by a single CFG rule. It thereby suggests that SCFG is less effective in modelling parse tree structure trans­fer.</p><p>The above two experimental results show that STSSG achieves significant improvements over the other two grammars in terms of synchronous parsing's successful rate and translation Bleu score.</p></subsection></section><section number="5" title="Conclusions"><p>Grammar is the fundamental infrastructure in translational equivalence modeling and statistical machine translation since grammar formalizes what kind of rule to be learned from a parallel text. In this paper, we first present a general plat­form STSSG and demonstrate that a number of synchronous grammars and SMT models can be easily implemented based on the platform. We then compare the expressive abilities of different grammars on the platform using synchronous parsing and statistical machine translation. Our experimental results show that STSSG can better explain the data in parallel corpora than the other two synchronous grammars. We further finds that, although syntactic structure features are helpful in modeling translational equivalence, the complexity of structure divergence is much higher than suggested in literature, which im­poses a big challenge to syntactic transformation-based SMT. This may explain why traditional syntactic constraints in SMT do not yield much performance improvement over robust phrase­substitution models.</p><p>The fundamental assumption underlying much recent work on syntax-based modeling, which is considered to be one of next technology break­throughs in SMT, is that translational equiva­lence can be well modeled by structural trans­formation. However, as discussed in prior arts (Galley et al., 2004) and this paper, linguisti­cally-informed SCFG is an inadequate model for parallel corpora due to its nature that only allow­ing child-node reorderings. Although STSG shows much better performance than SCFG, its two major limitations are that it only allows structure distortion operated on a single sub-tree and cannot model non-syntactic phrases. STSSG extends STSG by using tree sequence as the ba­sic translation unit. This gives the grammar much more expressive power.</p><p>There are many open issues in the syntactic transformation-based SMT due to the divergence nature between bilingual structure mappings. We find that structural divergences are more serious than suggested in the literature (Fox, 2002; Gal­lery et al., 2004) or what we expected when sen­tences are longer. We will continue to investigate whether and how parallel corpora can be well modeled by syntactic structure mappings.<page local="8" global="1104"/></p></section><references><p>Rens Bod. 2007. <i>Unsupervised Syntax-Based Ma­chine Translation: The Contribution of Discon­tinuous Phrases. </i>MT-Summmit-07. 51-56.</p><p>Peter F. Brown, S. A. Della Pietra, V. J. Della Pietra, and R. L. Mercer. 1993. <i>The mathematics of ma­chine translation: Parameter estimation. </i>Computa­tional Linguistics, 19(2):263-311.</p><p>S. F. Chen and J. Goodman. 1998. <i>An empirical study of smoothing techniques for language modeling. </i>Technical Report TR-10-98, Harvard University Center for Research in Computing Technology.</p><p>David Chiang. 2005. <i>A hierarchical phrase-based</i> <i>model for SMT.</i><i> </i>ACL-05. 263-270.</p><p>H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. 2007. Tree automata techniques and applications. Available at: http://tata.gforge.inria.fr/.</p><p>Brooke Cowan, Ivona Kucerova and Michael Collins. 2006. <i>A discriminative model for tree-to-tree trans­lation. </i>EMNLP-06. 232-241.</p><p>S. DeNeefe, K. Knight, W. Wang and D. Marcu. 2007.</p><p><i>What Can Syntax-based MT Learn from Phrase-based MT? </i>EMNLP-CoNLL-07. 755-763</p><p>Yuan Ding and Martha Palmer. 2005. <i>Machine trans­lation using probabilistic synchronous dependency insertion grammars. </i>ACL-05. 541-548.</p><p>Bonnie J. Dorr (1994). <i>Machine Translation Diver­gences: A formal description and proposed solu­tion. </i>Computational Linguistics, 20(4): 597-633</p><p>Jason Eisner. 2003. <i>Learning non-isomorphic tree mappings for MT. </i>ACL-03 (companion volume).</p><p>Heidi J. Fox. 2002. <i>Phrasal Cohesion and Statistical</i> <i>Inference and Training of Context-Rich Syntactic</i></p><doubt alpha="59.0" length="39" tooSmall="False" monospace="0.0">Machine Translation.EMNLP-2002. 304-311</doubt><doubt alpha="66.3" length="95" tooSmall="False" monospace="0.0">Michel Galley, J. Graehl, K. Knight, D. Marcu, S. DeNeefe, W. Wang and I. Thayer. 2006.Scalable</doubt><doubt alpha="63.4" length="41" tooSmall="False" monospace="0.0">Translation Models.COLING-ACL-06. 961-968</doubt><p>M. Galley, M. Hopkins, K. Knight and D. Marcu. 2004. <i>What's in a translation rule? </i>HLT-NAACL.</p><p>Liang Huang, Kevin Knight and Aravind Joshi. 2006.</p><p><i>Statistical Syntax-Directed Translation with Ex­tended Domain of Locality. </i>AMTA-06 (poster).</p><p>Mary Hearne and Andy Way. 2003. <i>Seeing the wood for the trees: data-oriented translation. </i>MT Sum­mit IX, 165-172.</p><p>Dan Klein and Christopher D. Manning. 2003. <i>Accu­rate UnlexicalizedParsing. </i>ACL-03. 423-430.</p><p>Philipp Koehn, F. J. Och and D. Marcu. 2003. <i>Statis­tical phrase-based translation. </i>HLT-NAACL-03.</p><p>127-133.</p><p>Philipp Koehn. 2004. <i>Pharaoh: a beam search de­coder for phrase-based statistical machine transla­tion models. </i>AMTA-04, 115-124.</p><p>Philipp Koehn, H. Hoang, A. Birch, C. Callison-Burch, M. Federico, N. Bertoldi, B. Cowan, W. Shen, C. Moran, R. Zens, C. Dyer, O. Bojar, A. Constantin and E. Herbst. 2007. <i>Moses: Open Source Toolkit for Statistical Machine Translation.</i></p><p>ACL-07 (poster) 77-180.</p><p>Yang Liu, Qun Liu and Shouxun Lin. 2006. <i>Tree-to-String Alignment Template for Statistical Machine</i> <i>Translation.</i><i> </i>COLING-ACL-06. 609-616.</p><p>Yang Liu, Yun Huang, Qun Liu and Shouxun Lin. 2007. <i>Forest-to-String Statistical Translation Rules.</i></p><p>ACL-07. 704-711.</p><p>Daniel Marcu, W. Wang, A. Echihabi and K. Knight.</p><p>2006. <i>SPMT: Statistical Machine Translation with Syntactified Target Language Phrases. </i>EMNLP-06.</p><p>44-52.</p><p>I. Dan Melamed. 2004. <i>Statistical machine translation</i> <i>by parsing.</i><i> </i>ACL-04. 653-660.</p><p>K. Papineni, Salim Roukos, ToddWard and Wei-Jing Zhu. 2002. <i>BLEU: a method for automatic evalua­tion of machine translation. </i>ACL-02. 311-318.</p><doubt alpha="62.1" length="66" tooSmall="False" monospace="0.0">Arjen Poutsma. 2000.Data-oriented translation. COLING-2000.635-641</doubt><p>Chris Quirk, Arul Menezes and Colin Cherry. 2005.</p><p><i>Dependency treelet translation: Syntactically in­formed phrasal SMT. </i>ACL-05. 271-279.</p><p>William Schuler, David Chiang and Mark Dras. 2000.</p><p><i>Multi-Component TAG and Notions of Formal</i></p><doubt alpha="34.8" length="23" tooSmall="False" monospace="0.0">Power.ACL-2000. 448-455</doubt><p>Andreas Stolcke. 2002. <i>SRILM - an extensible lan­guage modeling toolkit. </i>ICSLP-02. 901-904.</p><p>Benjamin Wellington, Sonjia Waxmonsky and I. Dan Melamed. 2006. <i>Empirical Lower Bounds on the Complexity of Translational Equivalence. </i>COL-</p><p>ING-ACL-06. 977-984.</p><p>Dekai Wu. 1997. <i>Stochastic inversion transduction grammars and bilingual parsing of parallel cor­pora. </i>Computational Linguistics, 23(3):377-403.</p><p>K. Yamada and Kevin Knight. 2001. <i>A syntax-based statistical translation model. </i>ACL-01. 523-530.</p><p>M. Zhang, H. Jiang, A. Aw, J. Sun, S. Li and C. Tan.</p><p>2007. <i>A Tree-to-Tree Alignment-based Model for</i> <i>SMT.</i><i> </i>MT-Summit-07. 535-542.</p><p>Y. Zhang, S. Vogel and A. Waibel. 2004. Interpreting BLEU/NIST scores: How much improvement do we need to have a better system? LREC-04.</p></references></body></article>