Constraints, Language and Computation

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. Content: Computation in Cognitive Science, Page ii Front Matter, Page iii Copyright, Page iv Series Preface, Page v Dedication, Page vi Contributors, Page ix Overview, Pages xi-xxiii, C.J. Rupp, R. Johnson, M. Rosner 1 - Structures, Languages and Translations: the Structural Approach to Feature Logic, Pages 1-27, Patrick Blackburn 2 - Some Remarks on the Logic of Unification Grammars, Pages 29-76, Jürgen Wedekind 3 - A Feature Value Logic with Intensionality, Nonwellfoundedness and Functional and Relational Dependencies, Pages 77-110, Mike Reape 4 - Properties of Horn Clauses in Feature-Structure Logic, Pages 111-147, Stephen J. Hegner 5 - The Formal and Computational Theory of Complex Constraint Solution, Pages 149-166, Luis Damas, Nelma Moreira, Giovanni B. Varile 6 - Describing Sets with Sets: Remarks on the Use and Interpretation of Set-valued Feature Structures, Pages 167-185, Tore Langholm 7 - Feature Logic with Weak Subsumption Constraints, Pages 187-203, Jochen Dörre 8 - Feature-value Logics: Some Limits on the Role of Defaults, Pages 205-222, Jo Calder 9 - Constraint Propagation and Semantic Representation, Pages 223-248, C.J. Rupp 10 - Meanings as Constraints on Information States, Pages 249-276, Allan Ramsay 11 - Derivation without Lexical Rules, Pages 277-313, Hans-Ulrich Krieger 12 - Head Corner Parsing, Pages 315-338, Gertjan van Noord 13 - Shake-and-Bake Translation, Pages 339-359, P. Whitelock References, Pages 361-383 Index, Pages 385-391