U. Schaefer, DFKI

Lecture
Oesterreichisches Forschungsinstitut fuer Artificial Intelligence (OeFAI)
                      Schottengasse 3, A-1010 Wien
                       Tel.+43-1-53532810,5336112
-------------------------------------------------------------------------

                                VORTRAG
                                *******


Ulrich SCHAEFER
Deutsches Forschungszentrum fuer
Kuenstliche Intelligenz (DFKI)
Saarbruecken


Parametrizable Type Expansion in the Feature Structure Formalism TDL
--------------------------------------------------------------------

Over the last few years, constraint-based grammar formalisms have become
the predominant paradigm in natural language processing and computational
linguistics. From the viewpoint of computer science, typed feature 
structures can be seen as data structures that allow to represent 
linguistic knowledge in a uniform fashion. Type expansion is an operation
that makes constraints of a typed feature structure explicit and deter-
mines its satisfiability. We describe an efficient expansion algorithm 
that takes care of recursive type definitions and allows to explore 
different expansion strategies through the use of control knowledge.
This knowledge is specified on a separate layer, independent of
grammatical information. The algorithm, as presented, has been fully 
implemented in Common Lisp and is an integrated part of the type 
description language TDL developed at DFKI.


Zeit: Freitag, 27.Jaenner 1995, 18:30 Uhr pktl.
Ort:  OeFAI, Schottengasse 3, 1010 Wien 1.