Tractability and Structural Closures in Attribute Logic Type Signatures

This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developers and linguists working within feature-based frameworks such as HPSG: meet-semilatticehood, unique feature introduction, and the absence of subtype covering. It also discusses the conditions under which each of these can be tractably restored in realistic grammar signatures where they do not already exist.

• Type: Conference
• Year: 2001
• Where: ACL
• Authors: Gerald Penn
• Keywords: ACL 2001, ACL 2007, Realistic Grammar Signatures, Typed Feature Logic, Unique Feature Introduction