论文信息 - TDL-A Type Description Language for Constraint-Based Grammars

TDL-A Type Description Language for Constraint-Based Grammars

This paper presents TDL, a typed feature-based representation language and inference system. Type definitions in TDL consist of type and feature constraints over the boolean counectives. TDL supports open-and closed-world reasoning over types and allows for partitions and incompatible types. Working with partially as well as with fully expanded types is possible. Efficient reasoning in TDL is accomplished through specialized modules.

Hans-Ulrich Krieger | Ulrich Schäfer | Hans-Ulrich Krieger | Ulrich Schäfer

[1] Günter Neumann,et al. DISCO-An HPSG-based NLP System and its Application for Appointment Scheduling Project Note , 1994, COLING.

[2] Klaus Netter,et al. Architecture and Coverage of the DISCO Grammar , 1993 .

[3] Gert Smolka,et al. A Feature Logic with Subsorts , 1988, LILOG-Report.

[4] Michael Dorna,et al. CUF - A Formalism for Linguistic Knowledge Representation , 1993 .

[5] William C. Rounds,et al. A Logical Version of Functional Grammar , 1987, ACL.

[6] Hans Uszkoreit,et al. Strategies for Adding Control Information to Declarative Grammars , 1991, ACL.

[7] Patrick Lincoln,et al. Efficient implementation of lattice operations , 1989, TOPL.

[8] Rémi Zajac,et al. Inheritance and Constraint-Based Grammar Formalisms , 1992, Comput. Linguistics.

[9] Peter Norvig,et al. Techniques for Automatic Memoization with Applications to Context-Free Parsing , 1991, CL.

[10] Bob Carpenter,et al. ALE : the attribute logic engine user's guide, version 2.0.1 , 1992 .

[11] Bob Carpenter,et al. The logic of typed feature structures , 1992 .

[12] Ulrich Schäfer,et al. TDL : a type description language for HPSG. - Part 2: user guide , 1994 .