Skip to main content
SpringerLink
Log in

Dynamic Semantics as Monadic Computation

  • Conference paper
New Frontiers in Artificial Intelligence (JSAI-isAI 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7258))

Included in the following conference series:

Abstract

This paper proposes a formulation of the basic ideas of dynamic semantics in terms of the state monad. Such a monadic treatment allows to specify meanings as computations that clearly separate operations accessing and updating the context from purely truth conditional meaning composition.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Asher, N., Pogodalla, S.: A Montegovian treatment of modal subordination. In: Proceedings of Semantics and Linguistic Theory XX (2010)

    Google Scholar 

  2. Barker, C.: Continuations and the nature of quantification. Natural Language Semantics 10, 211–242 (2002)

    Article  MathSciNet  Google Scholar 

  3. Bekki, D.: Monads and Meta-lambda Calculus. In: Hattori, H., Kawamura, T., Idé, T., Yokoo, M., Murakami, Y. (eds.) JSAI 2008. LNCS (LNAI), vol. 5447, pp. 193–208. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  4. de Groote, P.: Towards a Montegovian account of dynamics. In: Proceedings of Semantics and Linguistic Theory XVI (2006)

    Google Scholar 

  5. de Groote, P., Lebedeva, E.: Presupposition accommodation as exception handling. In: Proceedings of the 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue, SIGDIAL 2010, pp. 71–74 (2010)

    Google Scholar 

  6. Groenendijk, J., Stokhof, M.: Dynamic Predicate Logic. Linguistics and Philosophy 14(1), 39–100 (1991)

    Article  MATH  Google Scholar 

  7. Heim, I.: The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, University of Massachusetts, Amherst (1982)

    Google Scholar 

  8. Lewis, D.: Adverbs of quantification. In: Keenan, E. (ed.) Formal Semantics of Natural Language, pp. 3–15. Cambridge University Press (1975)

    Google Scholar 

  9. Moggi, E.: Computational lambda-calculus and monads. In: Symposium on Logic in Computer Science, Asilomar, California. IEEE (June 1989)

    Google Scholar 

  10. Ogata, N.: Towards computational non-associative lambek lambda-calculi for formal pragmatics. In: Proceedings of the Fifth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2008) in Conjunction with the 22nd Annual Conference of the Japanese Society for Artificial Intelligence 2008, pp. 79–102 (2008)

    Google Scholar 

  11. Pagin, P., Westerståhl, D.: Predicate logic with flexibly binding operators and natural language semantics. Journal of Logic, Language and Information 2(2), 89–128 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  12. Shan, C.-C.: Monads for natural language semantics. In: Striegnitz, K. (ed.) Proceedings of the 2001 European Summer School in Logic, Language and Information Student Session, pp. 285–298 (2002)

    Google Scholar 

  13. Wadler, P.: Comprehending monads. Mathematical Structures in Computer Science 2(4), 461–493 (1992)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CITEC, Bielefeld University, Germany

    Christina Unger

Authors
  1. Christina Unger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Precision and Intelligence Laboratory, Tokyo Institute of Technology, 4259 Nagatsuta, Midoriku, 226-8503, Yokohama, Japan

    Manabu Okumura

  2. Faculty of Science, Department of Information Science, Ochanomizu University, 2-1-1 Ohtsuka, 112-8610, Bunkyo-ku, Tokyo, Japan

    Daisuke Bekki

  3. National Institute of Informatics /Sokendai, 2-1-2 HItotsubashi, Postal Code 101-8430, Chiyoda-ku, Tokyo

    Ken Satoh

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Unger, C. (2012). Dynamic Semantics as Monadic Computation. In: Okumura, M., Bekki, D., Satoh, K. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2011. Lecture Notes in Computer Science(), vol 7258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32090-3_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32090-3_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32089-7

  • Online ISBN: 978-3-642-32090-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation