Typed Feature Structures as Descriptions

Paul John King
DOI: https://doi.org/10.48550/arXiv.cmp-lg/9408003
1994-08-02
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.
Computation and Language
What problem does this paper attempt to address?