Abstract
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal semantics based on a particular type theory with records (TTR). We will first show how frames of this kind can be used to give a compositional semantics for verbs relating to Reichenbach’s analysis of tense using speech, reference and event time. We will then revisit an old puzzle from Montague semantics relating to temperature and price. We will relate our solution to this puzzle to Fernando’s string theory of events. Finally, we will consider some consequences of our analysis for the way in which agents acquire and modify word meaning as a result of exposure to linguistic input.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bos, J., Nissim, M.: Combining Discourse Representation Theory with FrameNet. In: Favretti, R.R. (ed.) Frames, Corpora, and Knowledge Representation, pp. 169–183. Bononia University Press (2008)
Cooper, R.: Austinian truth, attitudes and type theory. Research on Language and Computation 3, 333–362 (2005)
Cooper, R.: Records and record types in semantic theory. Journal of Logic and Computation 15(2), 99–112 (2005)
Cooper, R.: Type theory with records and unification-based grammar. In: Hamm, F., Kepser, S. (eds.) Logics for Linguistic Structures, pp. 9–34. Mouton de Gruyter, Berlin (2008)
Cooper, R.: Type theory and semantics in flux. In: Kempson, R., Asher, N., Fernando, T. (eds.) Handbook of the Philosophy of Science. Philosophy of Linguistics, vol. 14. Elsevier BV, Amsterdam (forthcoming), General editors Gabbay, D.M., Thagard, P., Woods, J.
Cooper, R., Larsson, S.: Compositional and ontological semantics in learning from corrective feedback and explicit definition. In: Edlund, J., Gustafson, J., Hjalmarsson, A., Skantze, G. (eds.) Proceedings of DiaHolmia: 2009 Workshop on the Semantics and Pragmatics of Dialogue, Department of Speech, Music and Hearing, KTH, pp. 59–66 (2009)
Coquand, T., Pollack, R., Takeyama, M.: A logical framework with dependently typed records. Fundamenta Informaticae XX, 1–22 (2004)
Fernando, T.: A finite-state approach to events in natural language semantics. Journal of Logic and Computation 14(1), 79–92 (2004)
Fernando, T.: Situations as strings. Electronic Notes in Theoretical Computer Science 165, 23–36 (2006)
Fernando, T.: Finite-state descriptions for temporal semantics. In: Bunt, H., Muskens, R. (eds.) Computing Meaning. Studies in Linguistics and Philosophy, vol. 3, vol. 83, pp. 347–368. Springer, Heidelberg (2008)
Fernando, T.: Situations in LTL as strings. Information and Computation 207(10), 980–999 (2009)
Fillmore, C.J.: Frame semantics. In: Linguistics in the Morning Calm, pp. 111–137. Hanshin Publishing Co., Seoul (1982)
Ginzburg, J.: The Interactive Stance: Meaning for Conversation. Oxford University Press, Oxford (forthcoming)
Larsson, S., Cooper, R.: Towards a formal view of corrective feedback. In: Alishahi, A., Poibeau, T., Villavicencio, A. (eds.) Proceedings of the Workshop on Cognitive Aspects of Computational Language Acquisition. EACL, pp. 1–9 (2009)
Linell, P.: Rethinking Language, Mind, and World Dialogically: Interactional and contextual theories of human sense-making. In: Advances in Cultural Psychology: Constructing Human Development, Information Age Publishing, Inc., Charlotte (2009)
Montague, R.: The Proper Treatment of Quantification in Ordinary English. In: Hintikka, J., Moravcsik, J., Suppes, P. (eds.) Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics, pp. 247–270. D. Reidel Publishing Company, Dordrecht (1973)
Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974), Introduction by R.H. Thomason (ed.)
Prior, A.N.: Time and modality. Oxford University Press, Oxford (1957)
Prior, A.N.: Past, present and future. Oxford University Press, Oxford (1967)
Pustejovsky, J.: The Generative Lexicon. MIT Press, Cambridge (1995)
Pustejovsky, J.: Type theory and lexical decomposition. Journal of Cognitive Science 6, 39–76 (2006)
Reichenbach, H.: Elements of Symbolic Logic. University of California Press, Berkeley (1947)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cooper, R. (2010). Frames in Formal Semantics. In: Loftsson, H., Rögnvaldsson, E., Helgadóttir, S. (eds) Advances in Natural Language Processing. NLP 2010. Lecture Notes in Computer Science(), vol 6233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14770-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-14770-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14769-2
Online ISBN: 978-3-642-14770-8
eBook Packages: Computer ScienceComputer Science (R0)