Typed Feature Structures as Descriptions
Abstract
A description is an entity that can be interpreted as true or false of an object, and using feature structures as descriptions accrues several computational benefits. In this paper, I create an explicit interpretation of a typed feature structure used as a description, define the notion of a satisfiable feature structure, and create a simple and effective algorithm to decide if a feature structure is satisfiable.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 1994
- DOI:
- 10.48550/arXiv.cmp-lg/9408003
- arXiv:
- arXiv:cmp-lg/9408003
- Bibcode:
- 1994cmp.lg....8003K
- Keywords:
-
- Computer Science - Computation and Language
- E-Print:
- COLING 94 reserve paper, 5 pages, LaTeX (no .sty exotica)