Epistemology versus Ontology

Volume 27 of the series Logic, Epistemology, and the Unity of Science pp 281-311


Machine Translation and Type Theory

  • Aarne RantaAffiliated withDepartment of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg Email author 

* Final gross prices may vary according to local VAT.

Get Access


This paper gives an introduction to automatic translation via examples from the history of the field, where statistical and grammar-based methods alternate. Grammatical Frameword (GF) is introduced as an approach that uses type theory to provide high-quality translation between multiple languages. GF translation is fundamentally grammar-based but can be combined with statistical methods such as learning translation models from a corpus and ranking translation candidates by probabilities.