A logic for partially specified data structures
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The design of a computer language for linguistic information
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
A unification method for disjunctive feature descriptions
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
An interpretation of negation in feature structure descriptions
Computational Linguistics
Performing integrated syntactic and semantic parsing using classification
HLT '90 Proceedings of the workshop on Speech and Natural Language
Computational Linguistics
Computing with features as formulae
Computational Linguistics
Horn extended feature structures: fast unification with negation and limited disjunction
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
A three-valued interpretation of negation in feature structure descriptions
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
New possibilities in machine translation
HLT '89 Proceedings of the workshop on Speech and Natural Language
| Hi-index | 0.01 |
A grammatical description often applies to a linguistic object only when that object has certain features. Such conditional descriptions can be indirectly modeled in Kay's Functional Unification Grammar (FUG) using functional descriptions that are embedded within disjunctive alternatives. An extension to FUG is proposed that allows for a direct representation of conditional descriptions. This extension has been used to model the input conditions on the systems of systemic grammar. Conditional descriptions are formally defined in terms of logical implication and negation. This formal definition enables the use of conditional descriptions as a general notational extension to any of the unification-based grammar representation systems currently used in computational linguistics.