Notes on Computational Linguistics
by Edward Stabler
Publisher: UCLA 2003
What kind of computational device could use a system like a human language? This text explores the computational properties of devices that could compute morphological and syntactic analyses, and recognize semantic entailment relations among sentences.
Home page url
Download or read it online for free here:
Download link 1
Download link 2
(multiple PDF files)
by Jon Barwise, John Etchemendy - Center for the Study of Language
The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.
by Roger Levy - University of California, San Diego
A book on the topic of using probabilistic models in scientific work on language ranging from experimental data analysis to corpus work to cognitive modeling. The intended audience is graduate students in linguistics, psychology and computer science.
by Paul Vogt - Language Science Press
This book presents a series of experiments in which two robots try to solve the symbol grounding problem. The experiments are based on the language game paradigm, and involve real mobile robots that are able to develop a grounded lexicon ...
by Michael A. Covington - Prentice-Hall
Designed to bridge the gap for those who know Prolog but have no background in linguistics, this book concentrates on turning theories into practical techniques. Coverage includes template and keyword systems, definite clause grammars, and more.