Expressing Disjunctive and Negative Feature Constraints with Classical First-Order Logic

In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatized in classical first-order logic, which can express disjunctive and negative constraints. Because only quantifier-free formulae are used in the axiomatization, the satisfiability problem is NPcomplete.

• Type: Conference
• Year: 1990
• Where: ACL
• Authors: Mark Johnson
• Keywords: ACL 1990, ACL 2007, Attribute-value Feature Structures, Classical First-order Logic, Designer Logic