Representation and Inference for Natural Language: A First Course in Computation

The Nile on eBay   FREE SHIPPING UK WIDE   Representation and Inference for Natural Language by Patrick Blackburn, Johan Bos

Explains the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an useful text for computer scientists, linguists, and anyone interested in the development of computational semantics.

FORMATPaperback LANGUAGEEnglish CONDITIONBrand New Publisher Description

How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and this volume is the first textbook wholly devoted to this growing subdiscipline. The book explains the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an essential text for computer scientists, linguists, and anyone interested in the development of computational semantics.

Author Biography

Patrick Blackburn is director of research at INRIA, France's national organization for research in computer science. Johan Bos is senior researcher at the School of Informatics at the University of Edinburgh.

Table of Contents

1. First-order logic First-order logic Three inference tasks A first-order model checker First-order logic and natural language 2. Lambda calculus Compositionality Two experiments The lambda calculus Implementing lambda calculus Grammar engineering 3. Underspecified representations Scope ambiguities Montague's approach Storage methods Hole semantics 4. Propositional inference From models to proofs Propositional tableaus Implementing propositional tableau Propositional resolution Implementing propositional resolution Theoretical remarks 5. First-order inference A first-order tableau system Unification Free-variable tableaus Implementing free-variable tableaus First-order resolution Implementing first-order resolution Off-the-shelf theorem provers Model building 6. Putting it all together Baby Curt Rugrat Curt Clever Curt Sensitive Curt Scrupulous Curt Knowledgeable Curt Helpful Curt A. Running the software - FAQ B. Propositional logic C. Automated reasoning for first-order logic

Review

"An exciting combination of standard Montague techniques, modern approaches to underspecification, and the use of first order theorem provers, all in a book that can be used by advanced undergraduates or graduate students." - Robin Cooper, Gorg University"

Details ISBN1575864967 Author Johan Bos Short Title REPRESENTATION & INFERENCE FOR Series Studies in Computational Linguistics Language English ISBN-10 1575864967 ISBN-13 9781575864969 Media Book Format Paperback Illustrations Yes Year 2005 Imprint Centre for the Study of Language & Information Subtitle A First Course in Computational Semantics Country of Publication United States Place of Publication Stanford Birth 1959 Edition New edition DOI 10.1604/9781575864969 UK Release Date 2005-04-06 AU Release Date 2005-04-06 NZ Release Date 2005-04-06 US Release Date 2005-04-06 Pages 376 Publisher Centre for the Study of Language & Information Publication Date 2005-04-06 DEWEY 401.430285 Audience Professional & Vocational We've got this

At The Nile, if you're looking for it, we've got it.With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love!

30 DAY RETURN POLICY

No questions asked, 30 day returns!

FREE DELIVERY

No matter where you are in the UK, delivery is free.

SECURE PAYMENT

Peace of mind by paying through PayPal and eBay Buyer Protection TheNile_Item_ID:161795389;