Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical properties, is designed to express descriptions of language, and has a semantics that can be implemented on a computer. Constraints, Language and Computation discusses the theory and practice of constraint-based computational linguistics. The book captures both the maturity of the field and some of its more interesting future prospects during a particulary important moment of development in this field.
Table of ContentsOverview. Structures, Language and Translations: The Structural Approach to Feature Logic. Some Remarks on the Logic of Unification Grammars. A Feature Value Logic with Intensionality, Nonwell Foundedness and Functional and Relational Dependencies. Properties of Horn Clauses in Feature-Structure Logic. The Formal and Computational Theory of Complex Constraint Solution. Describing Sets with Sets: Remarks on the Use and Interpretation of Set-Valued Feature Structures. Feature Logic with Weak Subsumption Constraints. Feature-Value Logics. Some Limits on the Role of Defaults. Constraint Propogation and Semamtic Representation. Meanings as Constraints on Information States. Derivation Without Lexical Rules. Head Corner Parsing. Shake-And-Bake Translation. Bibliography. Index.