Download:
|
by Hans-ulrich Krieger, Ulrich Schafer
In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI-95
ftp://cl-ftp.dfki.uni-sb.de/pub/papers/local/ijcai.ps.gz
Add To MetaCart
Abstract:
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 determines 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 in the paper, has been fully implemented in Common Lisp and is an integrated part of a large NL system.
Citations
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
755
|
Constraint Logic Programming
– Jaffar, Lassez
- 1987
|
|
364
|
An Introduction to Unification-based Approaches to Grammar
– Shieber
- 1986
|
|
270
|
The logic of typed feature structures
– Carpenter
- 1992
|
|
155
|
LOGIN: a logic programming language with built-in inheritance
– Ait-Kaci, Nasr
- 1986
|
|
98
|
Feature constraint logics for unification grammars
– Smolka
- 1992
|
|
73
|
CUF: A Formalism for Linguistic Knowledge Representation. Dyana
– Dörre, Dorna
- 1993
|
|
71
|
The formalism and implementation of PATR-II
– Shieber, Uszkoreit, et al.
- 1983
|
|
66
|
An Algebraic Semantics Approach to the Effective Resolution of Type Equations
– Ait-Kaci
- 1986
|
|
62
|
The Attribute Logic Engine User’s Guide, Version 2.0
– Carpenter, Penn
- 1994
|
|
56
|
A type description language for constraint-based grammars
– Krieger, Schäfer
- 1994
|
|
38
|
Unifying partial descriptions of sets
– ollard, Moshier
- 1990
|
|
35
|
Strategies for adding control information to declarative grammars
– Uszkoreit
- 1991
|
|
34
|
Inheritance and constraint-based grammar formalisms
– Zajac
- 1992
|
|
25
|
DISCO – an HPSG-based NLP System and its Application for Appointment Scheduling
– Uszkoreit, Backofen, et al.
- 1994
|
|
22
|
A logical version of functional grammar
– Rounds, Manaster-Ramer
- 1987
|
|
20
|
Memo functions and machine learning. Nature
– Michie
- 1968
|
|
20
|
Order-sorted feature theory unification
– Ait-Kaci, Podelski, et al.
- 1993
|
|
13
|
An introduction to LIFE---programming with logic, inheritance, functions, and equations
– Ait-Kaci
- 1993
|
|
9
|
Information-based Syntax and Semantics. Vol. I: Fundamentals
– Pollard, Sag
- 1987
|
|
6
|
Feature-based allomorphy
– Krieger, Pirker
- 1993
|
|
2
|
and Jochen Dorre. Disjunctive unification
– Eisele
- 1990
|
|
2
|
Shieber: An Introduction to Unification -Based Approaches to Grammar
– Stuart
|
|
1
|
LOGIN A logic programming language wiLh built-in inheritance
– Ait-han, Nasr
- 1986
|
|
1
|
Ait-kaci Andreas Podelski and Seth Copen Goldstein Order-sorted feature theory unification Technical Report 32 Digital Equipment Cor poration
– Hassan
- 1993
|
|
1
|
Learning of stochastic context-free grammars from bracketed corpora by means of reestimation algorithms
– unknown authors
- 1999
|
|
1
|
assan Ait-Kari An introduction to LIFE— programming wiLh logic inheritance functions, and equations
– unknown authors
- 1993
|
|
1
|
and Chnstoph Weyers UDiNe—A Feature Constraint Solver with Dis tnbuted Disjunction and ( lassical Negation Unpublished manuscript
– Backofen
|
|
1
|
The Logic of Typed Fea lure Structures Tracts
– Carpenter
- 1992
|
|
1
|
Ilannes Pirker Feature-based allomorphy
– Kneger, Nerbonne
- 1993
|
|
1
|
Lloyd Foundations of Logic Program mmg Springer, 2nd edition
– W
- 1987
|
|
1
|
al'iablc n-grams mid (;xl;(~.n,siolLs for convcrsatiomtl speech langu~g(' mo(h;ling. IEEI~' Tm,',,s. on Speech and A'udio P'roc(;s.sing
– unknown authors
- 1987
|
|
1
|
Rounds and Alexis Manaster-Ramer A logical version of func tional grammar
– William
- 1987
|
