Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

186522

Machine translation and type theory

Aarne Ranta

pp. 281-311

Abstract

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.

Publication details

Published in:

Dybjer P, Lindström Sten, Palmgren Erik, Sundholm Göran (2012) Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf. Dordrecht, Springer.

Pages: 281-311

DOI: 10.1007/978-94-007-4435-6_14

Full citation:

Ranta Aarne (2012) „Machine translation and type theory“, In: P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, 281–311.