A formal treatment of typed feature structures (TFSs) is developed to augment TFSs, so that negative descriptions of them can be treated. Negative descriptions of TFSs can make linguistic descriptions compact and thus easy to understand. Negative descriptions can be classified into three primitive negative descriptions: (1) negations of type symbols, (2) negations of feature existences, and (3) negations of feature-address value agreements. The formalization proposed in this paper is based on Ait-Kaci's complex terms. The first description is treated by extending type symbol lattices to include complement type symbols. The second and third are treated by augmenting term structures with structures representing these negations. Algorithms for augmented-TFS unification have been developed using graph unification, and programs using these algorithms have been written in Common Lisp.
A Treatment of Negative Descriptions of Typed Feature Structures
Published 1992 in International Conference on Computational Linguistics
ABSTRACT
PUBLICATION RECORD
- Publication year
1992
- Venue
International Conference on Computational Linguistics
- Publication date
1992-08-23
- Fields of study
Linguistics, Computer Science
- Identifiers
- External record
- Source metadata
Semantic Scholar
CITATION MAP
EXTRACTION MAP
CLAIMS
- No claims are published for this paper.
CONCEPTS
- No concepts are published for this paper.
REFERENCES
Showing 1-22 of 22 references · Page 1 of 1
CITED BY
Showing 1-1 of 1 citing papers · Page 1 of 1