Frames as Records

详细信息    查看全文

• 关键词：Frames ; Type theory ; Record types ; Events ; Situations
• 刊名：Lecture Notes in Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：9804
• 期：1
• 页码：3-18
• 全文大小：194 KB
• 参考文献：1.Barsalou, L.W.: Cognitive Psychology. An Overview for Cognitive Scientists. Lawrence Erlbaum Associates, Hillsdale (1992)
  2.Barsalou, L.W.: Frames, concepts, and conceptual fields. In: Lehrer, A., Kittay, E.F. (eds.) Frames, Fields, and Contrasts: New Essays in Semanticand Lexical Organization, pp. 21–74. Lawrence Erlbaum Associates, Hillsdale (1992)
  3.Barsalou, L.W.: Perceptual symbol systems. Behav. Brain Sci. 22, 577–660 (1999)
  4.Carlson, G.N.: Generic terms and generic sentences. J. Philos. Logic 11, 145–181 (1982)MathSciNet CrossRef
  5.Cooper, R.: Frames in formal semantics. In: Loftsson, H., Rögnvaldsson, E., Helgadóttir, S. (eds.) IceTAL 2010. LNCS, vol. 6233, pp. 103–114. Springer, Heidelberg (2010)CrossRef
  6.Cooper, R.: Type theory and semantics in flux. In: Kempson, R., Asher, N., Fernando, T. (eds.) Philosophy of Linguistics. Handbook of the Philosophy of Science, vol. 14, pp. 271–323. Elsevier, Amsterdam (2012). General editors: Gabbay, D.M., Thagard, P., Woods, J
  7.Cooper, R.: Type theory and language: from perception to linguistic communication (in prep). https://​sites.​google.​com/​site/​typetheorywithre​cords/​drafts
  8.Fernando, T.: A finite-state approach to events in natural language semantics. J. Logic Comput. 14(1), 79–92 (2004)MathSciNet CrossRef MATH
  9.Fernando, T.: Situations as strings. Electron. Notes Theoret. Comput. Sci. 165, 23–36 (2006)MathSciNet CrossRef MATH
  10.Fernando, T.: Finite-state descriptions for temporal semantics. In: Bunt, H., Muskens, R. (eds.) Comput. Meaning. Studies in Linguistics and Philosophy, vol. 83, pp. 347–368. Springer, Heidelberg (2008)CrossRef
  11.Fernando, T.: Situations in LTL as strings. Inf. Comput. 207(10), 980–999 (2009)MathSciNet CrossRef MATH
  12.Fernando, T.: Constructing situations and time. J. Philos. Logic 40, 371–396 (2011)MathSciNet CrossRef MATH
  13.Fillmore, C.J.: Frame semantics. Linguistics in the Morning Calm, pp. 111–137. Hanshin Publishing Co., Seoul (1982)
  14.Fillmore, C.J.: Frames and the semantics of understanding. Quaderni di Semantica 6(2), 222–254 (1985)
  15.Gupta, A.: The Logic of Common Nouns: An Investigation in Quantified Model Logic. Yale University Press, New Haven (1980)MATH
  16.Halliday, M.A.K.: Text as semantic choice in social contexts. In: van Dijk, T., Petöfi, J. (eds.) Grammars and Descriptions, pp. 176–225. Walter de Gruyter, Berlin (1977)
  17.Kallmeyer, L., Osswald, R.: Syntax-driven semantic frame composition in lexicalized tree adjoining grammars. J. Lang. Model. 1(2), 267–330 (2013)CrossRef
  18.Krifka, M.: Four thousand ships passed through the lock: object-induced measure functions on events. Linguist. Philos. 13, 487–520 (1990)CrossRef
  19.Linell, P.: Rethinking Language, Mind, and World Dialogically: Interactional and Contextual Theories of Human Sense-Making. Advances in Cultural Psychology: Constructing Human Development. Information Age Publishing Inc., Charlotte (2009)
  20.Löbner, S.: Intensionale Verben und Funktionalbegriffe. Untersuchung zur Syntax und Semantik von wechseln und den vergleichbaren Verben des Deutschen. Narr, Tübingen (1979)
  21.Löbner, S.: Intensional verbs and functional concepts: more on the “rising temperature” problem. Linguist. Inq. 12(3), 471–477 (1981)
  22.Löbner, S.: Evidence for frames from human language. In: Gamerschlag, T., Gerland, D., Petersen, W., Osswald, R. (eds.) Frames and Concept Types, Studies in Linguistics and Philosophy, vol. 94, pp. 23–68. Springer, Heidelberg (2014)CrossRef
  23.Löbner, S.: Functional Concepts and Frames (in prep). http://​semanticsarchive​.​net/​Archive/​jI1NGEwO/​Loebner_​Functional_​Concepts_​and_​Frames.​pdf
  24.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)
  25.Prinz, J.J., Barsalou, L.W.: Steering a course for embodied representation. In: Dietrich, E., Markman, A.B. (eds.) Cognitive Dynamics: Conceptual and Representational Change in Humans and Machines, pp. 51–77. Psychology Press, Hove (2014). Previously published in 2000 by Lawrence Erlbaum
  
• 作者单位：Robin Cooper (18)
  
  18. Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Box 200, 405 30, Göteborg, Sweden
  
• 丛书名：Formal Grammar
• ISBN：978-3-662-53042-9
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349
• 卷排序：9804

文摘

We suggest a way of formalizing frames using records in type theory. We propose an analysis of frames as records which model situations (including events) and we suggest that frame types (record types) are important in both the analysis of the Partee puzzle concerning rising temperatures and prices and in the analysis of quantification which involves counting events rather than individuals likes passengers or ships passing through a lock.