Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages by Shieber Stuart M. (1992-10-27) Hardcover

(Will be shipped from US. Brand new copy.)

Will be shipped from US. Brand new copy.

http://www.amazon.com/gp/product/B012YSGAI6/?tag=2022091-20

Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages

(Constraint-based theories of grammar and grammar formalis...)

Constraint-based theories of grammar and grammar formalisms are becoming an increasingly widespread area of research in computational linguistics. Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area. It introduces new applications to both natural and computer languages and brings together Stuart Shieber's many contributions that have been at the core of developments ranging from the discovery of improved explanations of linguistic phenomena such as binding and coordination to the detailed mathematical analysis of constraint-solving and parsing in a variety of grammar formalisms. This thorough examination of the theoretical and computational foundations of constraint-based grammars and applications to natural-language analysis is unique in several respects. Shieber's theoretical framework may be applied to a whole class of formalisms with properties that make it possible to define a general parsing algorithm for all members of the class, with results that provide essential guidance to the implementer of constraint-based language processing systems. Shieber also brings out new connections between grammatical categories and data types, and between constraint-based natural-language analysis and type inference in computer languages. These connections should be of increasing interest both to computational and theoretical linguists and to computer scientists.

http://www.amazon.com/gp/product/0262193248/?tag=2022091-20

An Introduction to Unification-Based Approaches to Grammar (Center for the Study of Language and Information Publication Lecture Notes)

(This book surveys the important concept of unification as...)

This book surveys the important concept of unification as it relates to linguistic theory and, in particular, to Functional Unification Grammar, Definite-Clause Grammars, Lexical-Function Grammar, Generalized Phrase Struture Grammar, and Head-Driven Phrase Structure Grammar. The notes include careful and correct definitions, as well as well-chosen examples of actual grammars, and a discussion of the relationships of computational systems and linguistic theories which use ideas from unification.

http://www.amazon.com/gp/product/0937073016/?tag=2022091-20

Prolog and Natural-Language Analysis (Center for the Study of Language and Information Publication Lecture Notes)

(Logic programming, an important new method of compute pro...)

Logic programming, an important new method of compute programming resulting from recent research in artifucial intelligence and computer science, has proved to be especially appropriate for solving problems in natrual-language processing. Prolog and Natural Language Analysis provides a concise and practical introduction to logic programming and the logic-programming language Prolog both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems. Throughout, the specific concepts and techniques are given rigorous theoretical justification and are demonstrated with working programs that show how Prolog can be used to solve actual problems in syntax, parsing, and semantic intepretation.These examples culminate in a simple working natural-language question-answering system written in Prolog. Extensive bibliographic notes point the reader to related research and further reading.Fernando C.N. Pereira is a senior computer scientist at SRI International's Artificial Intelligence Center and a consulting professor at Stanford University. His research on Prolog and natural-language processing underlies much recent work in logic grammars.Stuart Shieber is a researcher at the Center for the Study of Language and Information and a computer scientist at SRI International's Artificial Intelligence Center. His research on unification-based grammar formalisms bridges logic programming and linguistic theory.

http://www.amazon.com/gp/product/0937073180/?tag=2022091-20

(Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages) Author: Stuart M. Shieber published on (January, 2003)

http://www.amazon.com/gp/product/B00Y4RQSP6/?tag=2022091-20