Skip to main content
SpringerLink
Log in

Dynamic Skolemization

  • Chapter
Computing Meaning

Part of the book series: Studies in Linguistics and Philosophy ((SLAP,volume 73))

Abstract

The phenomenon of ‘donkey anaphora’ has been much discussed in the linguistic semantics literature (e.g., see Carlson & Pelletier, 1995; Chierchia, 1995), and has given rise to new theories of logical form based on various kinds of ‘dynamic semantics’.1 Although these theories appear to account for donkey anaphora in a natural way, they have not had much impact so far on knowledge representation in AI. This is surprising since — as I will argue — much of the ‘common-sense’ knowledge needed for ordinary reasoning and language understanding characteristically involves donkey anaphora, when this knowledge is expressed in words. The reason may be that the development of knowledge representations has been influenced more by the need for efficient inference than the need for capturing linguistically conveyed information.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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

  • Allen, J.F. and L.K. Schubert (1991) The TRAINS project. Tech. Rep. 382, Dept. of Computer Science, Univ. of Rochester, Rochester, NY. Also slightly revised as “Language and discourse in the TRAINS project”, in A. Ortony, J. Slack, and O. Stock (eds.), Communication from an Artificial Intelligence Perspective. Heidelberg: Theoretical Springer-Verlag, 91–120, 1993.

    Google Scholar 

  • Barwise, J. and J. Perry (1983) Situations and Attitudes. Cambridge, MA: Bradford Books, MIT Press.

    Google Scholar 

  • Carlson, G. N. and F. J. Pelletier (1995) The Generic Book. Chicago: Univ. of Chicago Press.

    Google Scholar 

  • Carlson, G. N. and B. Spejewski (1997) Generic passages. Natural Language Semantics 5, 1–65 (to appear).

    Article  Google Scholar 

  • Chierchia, G. (1995) Dynamics of Meaning. Chicago: Univ. of Chicago Press.

    Google Scholar 

  • Evans, G. (1980) Pronouns, quantifiers and relative clauses (I). In M. Platts (ed.), Reference, Truth and Reality, New York: Routeledge, Kegan Paul.

    Google Scholar 

  • Geach, P. (1962) Reference and Generality. Ithaca, N.Y.: Cornell University Press..

    Google Scholar 

  • Groenendijk, J. and M. Stokhof (1991) Dynamic predicate logic. Linguistics and Philosophy 14, 39–100.

    Article  Google Scholar 

  • Hayes, P. J. (1979) The logic of frames. In D. Metzing (ed.), Frame Conceptions and Text Understanding, New York: de Gruyter.

    Google Scholar 

  • Heim, I. (1982) The Semantics of Definite and Indefinite Noun Phrases. Ph.D. Dissertation, U. Mass.

    Google Scholar 

  • Hwang, C. H. and L. K. Schubert (1993a) Episodic Logic: a comprehensive, natural representation for language understanding. Minds and Machines 3(4): Special Issue on KR for NLP, 381–419.

    Article  Google Scholar 

  • Hwang, C. H. and L. K. Schubert (1993b) Episodic Logic: a situational logic for natural language processing. In P. Aczel, D. Israel, Y. Katagiri and S. Peters (eds.), Situation Theory and its Applications, v.3 (STA-3), CSLI, Stanford, CA, 303–338.

    Google Scholar 

  • Hwang, C.H. and L.K. Schubert (1992) Tense trees as the ‘fine structure’ of discourse. Proc. of the 30th Ann. Meet. of the Assoc. for Computational Linguistics (ACL-92), U. Delaware, Newark, DE, June 28– July 2, 232–240.

    Google Scholar 

  • Kadmon, N. (1987) On Unique and Non-Unique Reference and Asymmetric Quantification. Ph.D. Dissertation, U. Mass., Amherst, MA.

    Google Scholar 

  • Kadmon, N. (1990) Uniqueness. Linguistics and Philosophy 13, 273–324.

    Article  Google Scholar 

  • Kamp, H. (1981) A theory of truth and semantic representation. In J. Groenendijk, T. Janssen, and M. Stokhof (eds.), Formal Methods in the Study of Language, Mathematical Centre-tracts, U. Amsterdam, Amsterdam, Netherlands.

    Google Scholar 

  • Kanazawa, M. (1994) Weak vs, strong readings of donkey sentences and mono-tonicity inferences in a dynamic setting. Linguistics and Philosophy 17(2), 109–158.

    Article  Google Scholar 

  • Kautz, H. A. (1991) A formal theory of plan recognition and its implementation. In J.F. Allen, H.A. Kautz, R.N. Pelavin, and J.D. Tenenberg, Reasoning about Plans, San Mateo, CA: Morgan Kaufmann, 69–125.

    Google Scholar 

  • Kratzer, A. (1995) Stage-level and individual-level predicates. In Carlson, G. N. and F. J. Pelletier The Generic Book. Chicago: Univ. of Chicago Press. 1995, 125–175.

    Google Scholar 

  • Lascarides, A., N. Asher, and J. Oberlander (1992) Inferring discourse relations in context. In Proc. of the 30th Ann. Meet, of the Assoc. for Computational Linguistics (ACL-92), U. Delaware, Newark, DE, June 28–July 2, 1–8.

    Google Scholar 

  • Lenat, D. (1995) CYC: A large-scale investment in knowledge infrastructure. Comm. of the ACM 38(11), 33–38.

    Article  Google Scholar 

  • Meyer Viol, W. P. M. (1995) Instantial Logic. IILC Dissertation Series 1995–11, Inst, for Logic, Language and Computation, Univ. of Amsterdam.

    Google Scholar 

  • Minsky, M. (1975) A framework for representing knowledge. In P.H. Winston (ed.), The Psychology of Computer Vision, New York: McGraw-Hill, 211–277.

    Google Scholar 

  • Partee, B. (1975) Bound variables and other anaphors. In D. L., Waltz (ed.) Theoretical Issues in Natural Language Processing-2 (TINLAP-2), July 25–27, Univ. of Illinois at Urbana-Champaign, 79–85.

    Google Scholar 

  • Schank, R. C. (1982) Dynamic Memory: A Theory of Reminding and Learning in Computers and People. New York: Cambridge Univ. Press.

    Google Scholar 

  • Schank, R. C. and R. P. Abelson (1977) Scripts, Plans, Goals and Understanding. Hillsdale, NJ: Lawrence Erlbaum Assoc.

    Google Scholar 

  • Schubert, L. K. and C. H. Hwang (1989) An episodic knowledge representation for narrative texts. Proc. of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-89), May 15–18, Toronto, Canada, 444–458.

    Google Scholar 

  • Schubert, L. K. and F. J. Pelletier (1989) Generically speaking, or, using discourse representation theory to interpret generics, in G. Chierchia, B. Partee, and R. Turner (eds.), Properties, Types, and Meanings II, Dortrecht: Reidesl, 193–268.

    Google Scholar 

  • Schubert, L. K. and F. J. Pelletier (1982) From English to logic: Context-free computation of’conventional’ logical translations. Am. J. of Computational Linguistics 8, 27–44, 1982. Reprinted in B. J. Grosz, K. Sparck Jones, and B. L. Webber (eds.), Readings in Natural Language Processing. Los Altos, CA: Morgan Kaufmann, 293–311, 1986.

    Google Scholar 

  • Webber, B. L. (1988) Tense as discourse anaphor. Computational Linguistics 14(2), 61–73.

    Google Scholar 

Download references

Authors
  1. Lenhart Schubert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Tilburg University, The Netherlands

    Harry Bunt  & Reinhard Muskens  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Schubert, L. (1999). Dynamic Skolemization. In: Bunt, H., Muskens, R. (eds) Computing Meaning. Studies in Linguistics and Philosophy, vol 73. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4231-1_12

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-4231-1_12

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-1-4020-0290-8

  • Online ISBN: 978-94-011-4231-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation