Paper: Classical Logics For Attribute-Value Languages

ACL ID E91-1036
Title Classical Logics For Attribute-Value Languages
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 1991
  • Jurgen Wedekind (Palo Alto Research Center, Palo Alto CA; Stanford University, Stanford CA)

This paper describes a classical logic for attribute-value (or fea- ture description) languages which ate used in urfification gram- mar to describe a certain kind of linguistic object commonly called attribute-value structure (or feature structure). Tile al- gorithm which is used for deciding satisfiability of a feature description is based on a restricted deductive closure construc- tion for sets of literals (atomic formulas and negated atomic formulas). In contrast to the Kasper/Rounds approach (cf.