TR-I-0071 :1989.03

Martin EMELE and Rémi ZAJAC

RETIF

A Rewriting System for Typed Feature Structures

Abstract:This report describes a prototype of a rewriting system for typed feature structures which was implemented primarily in order to develop a transfer and a generation model for Machine Translation of dialogues. The formalism is based on the semantics of typed feature structures as described in [Ait-Kaci 84]. In section 1, we present the extension of unification of feature structures with a type system; in section 2, the syntax of the formalism is presented, together with the type system derived from the set of definitions; the interpreter is described in the next section, and some necessary developments are outlined in the last section. A short example of transfer and generation is given in the appendix.