The Penn lambda calculator: Pedagogical software for natural language semantics
| Abstract | This paper describes a novel pedagogical software program that can be seen as an online companion to one of the standard textbooks of formal natural language semantics, Heim and Kratzer (1998). The Penn Lambda Calculator is a multifunctional application designed for use in standard graduate and undergraduate introductions to formal semantics: Teachers can use the application to demonstrate complex semantic derivations in the classroom and modify them interactively, and students can use it to work on problem sets provided by the teacher. The program supports demonstrations and exercises in two main areas: (1) performing beta reduction in the simply typed lambda calculus; (2) application of the bottom-up algorithm for computing the compositional semantics of natural language syntax trees. The program is able to represent the full range of phenomena covered in the Heim and Kratzer textbook by function application, predicate modification, and lambda abstraction. This includes phenomena such as intersective adjectives, relative clauses and quantifier raising. In the student use case, emphasis has been placed on providing “live” feedback for incorrect answers. Heuristics are used to detect the most frequent student errors and to return specific, interactive suggestions | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesReinhard Muskens (2010). New Directions in Type-Theoretic Grammars. Journal of Logic, Language and Information 19 (2).
Sean A. Fulop (2005). Semantic Bootstrapping of Type-Logical Grammar. Journal of Logic, Language and Information 14 (1).
Chris Fox (2005). Foundations of Intensional Semantics. Blackwell Pub..
H. P. Barendregt (1984). The Lambda Calculus: Its Syntax and Semantics. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
William J. Rapaport (1988). Syntactic Semantics: Foundations of Computational Natural Language Understanding. In James H. Fetzer (ed.), Aspects of AI. Kluwer.
Chris Hankin (1994). Lambda Calculi: A Guide for the Perplexed. Oxford University Press.
Robert E. Byerly (1982). Recursion Theory and the Lambda-Calculus. Journal of Symbolic Logic 47 (1):67-83.
William J. Rapaport (1993). Because Mere Calculating Isn't Thinking: Comments on Hauser's Why Isn't My Pocket Calculator a Thinking Thing?. Minds and Machines 3 (1):11-20.
Roberto M. Amadio (1998). Domains and Lambda-Calculi. Cambridge University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #234,650 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
