Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Rupp, C. J., Rosner, Michael, Johnson, Roderick
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London ; San Diego : Academic, 1994.
Colección:Computation in cognitive science.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Front Cover; Constraints, Languageand Computation; Copyright Page; Series Preface; Dedication; Table of Contents; Contributors; Overview; 1 FOREWORD; 2 THE ORIGINS OF CONSTRAINT-BASED LINGUISTICS; 3 DEVELOPMENTS IN CONSTRAINT-BASED LINGUISTICS; 4 WHITHER NOW?; Chapter 1. Structures, Languages and Translations: the Structural Approach to Feature Logic; 1 STRUCTURES; 2 LANGUAGES; 3 TRANSLATIONS; 4 DISCUSSION; ACKNOWLEDGEMENTS; Chapter 2. Some Remarks on the Logic of Unification Grammars; 1 ATTRIBUTE-VALUE LANGUAGES; 2 THE SYSTEM H�AV; 3 THE SYSTEM G�AV; 4 EXPLOITING SLD-RESOLUTION; 5 CONCLUSION.
  • ACKNOWLEDGMENTSChapter 3.A Feature Value Logic with Intensionality, Nonwellfoundedness and Functional and Relational Dependencies; 1 THE LANGUAGE L; 2 THE LANGUAGE � +; 3 INTENSIONALITY AND EXTENSIONALITY; 4 NONWELLFOUNDED STRUCTURES; 5 NONWELLFOUNDED SETS; 6 COMPLETENESS; ACKNOWLEDGEMENTS; Chapter 4. Properties of Horn Clauses in Feature-Structure Logic; 1 INTRODUCTION; 2 MULTIPLE-BASE FEATURE STRUCTURES; 3 MULTIPLE-BASE FEATURE STRUCTURES WITH CONSTRAINTS; 4 THE INFERENCE ALGORITHM FOR PROPOSITIONAL LOGIC; 5 THE FULL UNIFICATION ALGORITHM; 6 CONCLUSIONS AND FURTHER DIRECTIONS.
  • ACKNOWLEDGMENTSChapter 5. The Formal and Computational Theory of Complex Constraint Solution; 1 THE FIRSTORDER THE ORIES OF GRAMMARS; 2 TERM LOGICS AND FEATURE LOGICS; 3 FROM TERMS AND UNIFICATION TO CONSTRAINED TERMS AND RESOLUTION; 4 THE FORMAL PROCESSING MODEL; 5 A PROCESSING MODEL AS CLP(RT); 5 A PROCESSING MODEL AS CLP(RT); Chapter 6. Describing Sets with Sets: Remarks on the Use and Interpretation of Set-valued Feature Structures; 1 BASIC NOTIONS; 2 SUBSUMPTION; 3 UNIFICATION; 4 CONCLUSION; Chapter 7. Feature Logic with Weak Subsumption Constraints; 1 FEATURE ALGEBRAS.
  • 2 AN ALTERNATIVE CHARACTERISATION FOR SUBSUMPTION3 THE PATH FUNCTION ALGEBRA; 4 CONSTRAINTS; 6 CONCLUSION; ACKNOWLEDGMENTS; Chapter 8. Feature-value Logics: Some Limits on the Role of Defaults; 1 SOME POTENTIAL MOTIVATIONS FOR THE USE OF DEFAULTS; 2 AGAINST DEFAULTS; 3 SOME LINGUISTIC PROPOSALS; 4 CONCLUDING REMARKS; ACKNOWLEDGEMENTS; Chapter 9. Constraint Propagation and Semantic Representation; 1 CONSTRAINT PROPAGATION; 2 SYNTAX, SEMANTICS AND CONSTRAINT PROPAGATION; 3 SEMANTICRE PRESENTATION; 4 LINGUISTIC DESCRIPTIONS; 5 CONCLUSION; ACKNOWLEDGEMENT.
  • Chapter 10. Meanings as Constraints on Information States1 RELATIONAL SEMANTICS; 2 SIMPLE ENGLISH SENTENCES; 3 RELATIVE CLAUSES AND QUESTIONS; 4 WH-CLAUSES AS NPs; 5 CONCLUSIONS; Chapter 11. Derivation without Lexical Rules; 1 THE NEW APPROACH TO DERIVATIONAL MORPHOLOGY; 2 PREFIXATION AND SUFFIXATION; 3 THE AFFIX HIERARCHY; 4 SUMMARY AND CONCLUSION; Chapter 12. Head Corner Parsing; 1 BEYOND CONCATENATION; 2 A SAMPLE GRAMMAR; 3 THE HEAD CORNER PARSER; 4 DISCUSSION AND EXTENSIONS; ACKNOWLEDGEMENTS; Chapter 13. Shake-and-Bake Translation; 1 PROBLEM AREAS IN CURRENT MT SYSTEM DESIGN.