b. 1941
Lauri Karttunen is a Finnish-American formal semanticist and computational linguist known for foundational contributions to presupposition theory, discourse semantics, and finite-state computational methods. He has worked extensively at Xerox PARC and Stanford, bridging formal linguistic theory and computational implementation. His work on context change semantics and the projection problem for presuppositions has been highly influential in both theoretical and computational linguistics.
Developed foundational work on presupposition projection, distinguishing plugs, holes, and filters
Introduced context change semantics, modeling meaning as a function from contexts to contexts
Pioneered finite-state methods for morphological analysis and natural language processing
Contributed to feature unification grammar formalisms
Advanced formal analysis of accessibility relations in discourse representation