TransferRules

This page describes the transfer rules used for, among other things, [wiki:MachineTranslationTop MT] and [wiki:JacyGeneration Generation].

Transfer Rules

A transfer rule is a quadruple <F, C, I, O>, where each element is a partial MRS, with:

• - F: an input filter; when F matches against the input MRS, the rule is

  • blocked; F is evaluated after C and I have matched;

  - C: the input context; needs to match for a rule to apply and binds

  • variables, but is preserved in the output;

  - I: the input description; matches against the input MRS; everything that

  • was matched in the input will be replaced by the OUTPUT part;

  - O: the output description; everything in the OUTPUT part is inserting

  • into the MRS, respecting variable bindings that have been established in matching earlier components.

An example transfer rule (from JaEn):

Interlingua

In MT, if you choose predicate names and definitions wisely, you can transfer some things without the need for rules. To do this, you list the predicates in *transfer-interlingua-predicates*.

• In lkb/mt.lisp:

(defparameter *transfer-interlingua-predicates*
  '(lkb::named_rel lkb::proposition_m_rel))