Constraints, Language and Computation

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.

Overview. Structures, Language and Translations: The Structural Approach to Feature Logic. Some Remarks on the Logic of Unification Grammars. A Feature Value Logic with Intensionality, Nonwell Foundedness and Functional and Relational Dependencies. Properties of Horn Clauses in Feature-Structure Logic. The Formal and Computational Theory of Complex Constraint Solution. Describing Sets with Sets: Remarks on the Use and Interpretation of Set-Valued Feature Structures. Feature Logic with Weak Subsumption Constraints. Feature-Value Logics. Some Limits on the Role of Defaults. Constraint Propogation and Semamtic Representation. Meanings as Constraints on Information States. Derivation Without Lexical Rules. Head Corner Parsing. Shake-And-Bake Translation. Bibliography. Index.