Abstract
Feature structures are a representational device used in several current linguistic theories. This paper shows how these structures can be axiomatized in a decidable class of first-order logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as "set-valued" features, can be incorporated into the system simply by axiomatizing their properties.
Original language | English |
---|---|
Pages (from-to) | 131-152 |
Number of pages | 22 |
Journal | Computational Linguistics |
Volume | 17 |
Issue number | 2 |
Publication status | Published - Jun 1991 |
Externally published | Yes |