Feature structures: a logical theory with application to language analysis
Feature structures: a logical theory with application to language analysis
Implementing systemic classification by unification
Computational Linguistics
Understanding Natural Language
Understanding Natural Language
Computational Complexity and Natural Language
Computational Complexity and Natural Language
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
An experimental parser for systemic grammars
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
| Hi-index | 0.00 |
This paper examines the properties of featurebased partial descriptions built on top of Halliday's systemic networks. We show that the crucial operation of consistency checking for such descriptions is NP-complete, and therefore probably intractable, but proceed to develop algorithms which can sometimes alleviate the unpleasant consequences of this intractability.