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.
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.
"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"
Dewey Decimal Classfication (DDC)