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 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.

Torrence V. Johnson is a specialist on icy satellites in the solar system. He has written over 130 publications for scientific journals. He received a Ph.D. in planetary science from the California Institute of Technology and is now the Chief Scientist for Solar System Exploration at the Jet Propulsion Laboratory. He was the Project Scientist for the Galileo mission and is currently an investigator on the Cassini mission. He is the recipient of two NASA Exceptional Scientific Achievement Medals and the NASA Outstanding Leadership Medal and has an honorary doctorate from the University of Padua, where Galileo made his first observations of the solar system.