Skip to main content
SpringerLink
Log in

An Analysis of Selectional Restrictions with Dependent Type Semantics

  • Conference paper
  • First Online:
Book cover New Frontiers in Artificial Intelligence (JSAI-isAI 2016)

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

Included in the following conference series:

  • 1095 Accesses

Abstract

Predicates in natural languages impose selectional restrictions on their arguments. In this paper, we analyze selectional restrictions of predicates within the framework of Dependent Type Semantics, a framework of natural language semantics based on dependent type theory. We also introduce operators that shift the meanings of predicates and analyze two phenomena, coercion and copredication for logical polysemous nouns, that present challenges to simple analysis of selectional restrictions.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Notes

  1. 1.

    See Bekki [4] for details on the compositional derivations of SRs in DTS.

References

  1. Asher, N.: Lexical Meaning in Context: A Web of Words. Cambridge University Press, Cambridge (2011)

    Book  Google Scholar 

  2. Asher, N.: Selectional restrictions, types and categories. J. Appl. Logic 12(1), 75–87 (2014)

    Article  MathSciNet  Google Scholar 

  3. Beaver, D.I.: Presupposition and Assertion in Dynamic Semantics. Studies in Logic, Language and Information. CSLI Publications & FoLLI, Stanford (2001)

    Google Scholar 

  4. Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 14–29. Springer, Heidelberg (2014). doi:10.1007/978-3-662-43742-1_2

    Chapter  Google Scholar 

  5. Bekki, D., Mineshima, K.: Context-passing and underspecification in dependent type semantics. In: Chatzikyriakidis, S., Luo, Z. (eds.) Modern Perspectives in Type-Theoretical Semantics. SLP, vol. 98, pp. 11–41. Springer, Cham (2017). doi:10.1007/978-3-319-50422-3_2

    Chapter  Google Scholar 

  6. Luo, Z.: Formal semantics in modern type theories with coercive subtyping. Linguist. Philos. 35(6), 491–513 (2012)

    Article  Google Scholar 

  7. Magidor, O.: Categiry Mistakes. Oxford University Press, Oxford (2013)

    Book  Google Scholar 

  8. Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis, Naples (1984)

    MATH  Google Scholar 

  9. McCawley, J.D.: Concerning the base component of a transformational grammar. Found. Lang. 4(3), 243–269 (1968)

    MATH  Google Scholar 

  10. Nunberg, G.: Transfers of meaning. J. Semant. 12(2), 109–132 (1995)

    Article  Google Scholar 

  11. Retoré, C.: The montagovian generative lexicon lambda tyn: a type theoretical framework for natural language semantics. In: 19th International Conference on Types for Proofs and Programs (TYPES 2013), pp. 202–229 (2014)

    Google Scholar 

  12. Steedman, M.: Surface Structure and Interpretation. The MIT Press, Cambridge (1996)

    Google Scholar 

Download references

Acknowledgements

We thank the two anonymous reviewers for helpful comments and suggestions. We also thank the audience of LENLS13 for their valuable comments and discussions. This work was supported by CREST, Japan Science and Technology Agency.

Author information

Authors and Affiliations

  1. Ochanomizu University, Bunkyō, Japan

    Eriko Kinoshita, Koji Mineshima & Daisuke Bekki

  2. CREST, Japan Science and Technology Agency, Kawaguchi, Japan

    Koji Mineshima & Daisuke Bekki

Authors
  1. Eriko Kinoshita
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Koji Mineshima
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daisuke Bekki
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eriko Kinoshita .

Editor information

Editors and Affiliations

  1. Graduate School of Business Sciences, University of Tsukuba, Tokyo, Japan

    Setsuya Kurahashi

  2. Fujitsu Laboratories Ltd., Kanagawa, Japan

    Yuiko Ohta

  3. Chiba University, Chiba, Japan

    Sachiyo Arai

  4. National Institute of Informatics, Tokyo, Japan

    Ken Satoh

  5. Ochanomizu University, Tokyo, Japan

    Daisuke Bekki

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Kinoshita, E., Mineshima, K., Bekki, D. (2017). An Analysis of Selectional Restrictions with Dependent Type Semantics. In: Kurahashi, S., Ohta, Y., Arai, S., Satoh, K., Bekki, D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2016. Lecture Notes in Computer Science(), vol 10247. Springer, Cham. https://doi.org/10.1007/978-3-319-61572-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61572-1_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61571-4

  • Online ISBN: 978-3-319-61572-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation