Paper: Typed Feature Structures As Descriptions

ACL ID C94-2204
Title Typed Feature Structures As Descriptions
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1994

A description is an entity that can be inter- preted as true or false of an object, and us- ing feature structures as descriptions accrues several computational benefits. In this paper, 1 create an explicit interpretation of a typed feature structure used as a description, define the notion of a satisfiable fe.ature structure, and create a simple and effective algorithm to decide if a fe.ature structure is satisfiable.