Paper: Interleaving Universal Principles And Relational Constraints Over Typed Feature Logic

ACL ID P97-1001
Title Interleaving Universal Principles And Relational Constraints Over Typed Feature Logic
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1997
Authors

We introduce a typed feature logic system providing both universal implicational principles as well as defi- nite clauses over feature terms. We show that such an architecture supports a modular encoding of linguistic theories and allows for a compact representation using underspecification. The system is fully implemented and has been used as a workbench to develop and test large HPSG grammars. The techniques described in this paper are not restricted to a specific implementa- tion, but could be added to many current feature-based grammar development systems.