next up previous contents
Next: Samenvatting in het Nederlands Up: Summary Previous: Head-corner parsing

Reversible MT

The final chapter of the thesis proposes an application of reversible grammars. It is shown how a series of reversible grammars can be used to implement Landsbergen's notion of a linguistically possible translation. In this proposal reversible monolingual grammars of two languages are interfaced using a third, reversible, transfer grammar. A transfer grammar defines a relation between language specific semantic structures. Such a transfer grammar can be defined as a grammar of $ \cal {R}$($ \cal {L}$) as well.

As an example of a rule of such a transfer grammar, consider the translation of the following pair of sentences of English and Dutch:

John bevalt Mary\\
John is-liked-by Mary\\
Mary likes John
It is assumed that the Dutch semantic structure takes John to be the first, and Mary the second argument. In the English semantic structure the situation is reversed. The following transfer rule might be written to translate such structures into each other. The labels nl and gb refer to the Dutch resp. the English semantic structure.

\head{\mbox{\it sign}(\avm{\mbox{\it nl}: \avm{\mbox{\it pred}: \mbox{\...
...{\it nl}: \mbox{\rm Nl}_{1}\\
\mbox{\it gb}: \mbox{\rm Gb}}_{2}),}

It is discussed how a simple constraint on such transfer grammars can be defined, to guarantee that transfer is effective. This constraint requires that for a given transfer rule between languages l1 and l2, the value of the l1 attribute of the mother node is strictly larger than each of the values for this attribute of the daughters. The same condition holds for the l2 attribute. It can easily be shown that for a grammar whose rules adhere to this condition, termination is guaranteed for all inputs.

It might be expected that such a constraint reduces the expressive power of a transfer grammar. It is shown, by means of an example, that powerful feature percolations can be used to implement certain `non-compositional' translation cases. It can thus be argued that reversible transfer grammars in fact constitute an interesting compromise between expressive power and computability.

next up previous contents
Next: Samenvatting in het Nederlands Up: Summary Previous: Head-corner parsing
Noord G.J.M. van