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

MARC

LEADER 00000cam a2200000 i 4500
001 SCIDIR_ocn893872900
003 OCoLC
005 20231120111841.0
006 m o d
007 cr cnu---unuuu
008 141027s1994 enka ob 001 0 eng d
040 |a OPELS  |b eng  |e rda  |e pn  |c OPELS  |d N$T  |d E7B  |d YDXCP  |d EBLCP  |d DEBSZ  |d OCLCQ  |d STF  |d OCLCQ  |d VLY  |d LUN  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 893875020  |a 897645802  |a 1162047791 
020 |a 9780080502960  |q (electronic bk.) 
020 |a 0080502962  |q (electronic bk.) 
020 |a 1322465460 
020 |a 9781322465463 
020 |z 0125979304 
020 |z 9780125979306 
035 |a (OCoLC)893872900  |z (OCoLC)893875020  |z (OCoLC)897645802  |z (OCoLC)1162047791 
050 4 |a P98  |b .C62 1994eb 
072 7 |a LAN  |x 000000  |2 bisacsh 
082 0 4 |a 401.51  |2 22 
084 |a 17.46  |2 bcl 
245 0 0 |a Constraints, language and computation /  |c edited by C.J. Rupp, M.A. Rosner and R.L. Johnson. 
264 1 |a London ;  |a San Diego :  |b Academic,  |c 1994. 
300 |a 1 online resource (xxiii, 391 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Computation in cognitive science 
500 |a "The papers in this collection arose out of a workshop entitled Constraint propagation, linguistic description and computation held at IDSIA, Lugano in late 1991"--Page xi 
504 |a Includes bibliographical references (pages 361-383) and index. 
520 |a 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. 
588 0 |a Print version record. 
505 0 |a 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. 
505 8 |a 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. 
505 8 |a 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. 
505 8 |a 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. 
505 8 |a 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. 
546 |a English. 
650 0 |a Computational linguistics. 
650 6 |a Linguistique informatique.  |0 (CaQQLa)201-0023123 
650 7 |a computational linguistics.  |2 aat  |0 (CStmoGRI)aat300054250 
650 7 |a LANGUAGE ARTS & DISCIPLINES  |x General.  |2 bisacsh 
650 7 |a Computational linguistics  |2 fast  |0 (OCoLC)fst00871998 
650 1 7 |a Computerlingu�istiek.  |2 gtt 
650 1 7 |a Constraints (taalkunde)  |2 gtt 
700 1 |a Rupp, C. J. 
700 1 |a Rosner, Michael. 
700 1 |a Johnson, Roderick. 
776 0 8 |i Print version:  |t Constraints, language and computation  |z 0125979304  |w (OCoLC)30438316 
830 0 |a Computation in cognitive science. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780080502960  |z Texto completo