Skip to main content
Log in

Episodic Logic: A comprehensive, natural representation for language understanding

  • General Articles
  • Published:
Minds and Machines Aims and scope Submit manuscript

Abstract

A new comprehensive framework for narrative understanding has been developed. Its centerpiece is a new situational logic calledEpisodic Logic (EL), a knowledge and semantic representation well-adapted to the interpretive and inferential needs of general NLU. The most distinctive features of EL is its natural language-like expressiveness. It allows for generalized quantifiers, lambda abstraction, sentence and predicate modifiers, sentence and predicate reification, intensional predicates (corresponding to wanting, believing, making, etc.), unreliable generalizations, and perhaps most importantly, explicit situational variables (denoting episodes, events, states of affairs, etc.) linked to arbitrary formulas that describe them. These allow episodes to be explicitly related in terms of part-whole, temporal and causal relations. Episodic logical form is easily computed from surface syntax and lends itself to effective inference.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Allen, J. and Schubert, L. K. (1991),The Trains Project, Technical Report 382, Rochester, NY: Dept. of Comp. Sci., U. of Rochester.

    Google Scholar 

  • Alshawi, H. and van Eijck, J. (1989), ‘Logical Forms in the Core Language Engine’,Proc. 27th Annual Meeting of the ACL, Vancouver, Canada, pp. 25–32.

  • Barwise, J. (1989),The Situation in Logic Stanford, CA: CSLI.

    Google Scholar 

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

    Google Scholar 

  • Carlson, G. N. (1982), ‘Generic Terms and Generic Sentences’,J. of Philosophical Logic 11, 145–181.

    Google Scholar 

  • Charniak, E. (1988), ‘Motivation Analysis, Abductive Unification, and Nonmonotonic Equality’,Artificial Intelligence 34, 275–295.

    Google Scholar 

  • Charniak, E. and Goldman, R. (1988), ‘A Logic for Semantic Interpretation’,Proc. 26th Annual Meeting of the ACL, Buffalo, NY, pp. 87–94.

  • Chierchia, G. and Turner, R. (1988), ‘Semantics and Property Theory’,Linguistics and Philosophy 11, 261–302.

    Google Scholar 

  • Cullingford, R. (1981), ‘Sam’, In R.C. Schank and C.K. Riesbeck, eds.,Inside Computer Understanding, Hillsdale, NJ: Lawrence Erlbaum, pp. 75–119.

    Google Scholar 

  • Dahlgren, K., McDowell, J., and Stabler, Jr., E. P. (1989), ‘Knowledge Representation for Commonsense Reasoning with Text’,Computational Linguistics 15, 149–170.

    Google Scholar 

  • de Haan, J. and Schubert, L. K. (1986), ‘Inference in a Topically Organized Semantic Net’,Proc. AAAI-86, Philadelphia, PA, pp. 334–338.

  • Devlin, K. (1991),Logic and Information, Cambridge, UK: Cambridge U. Press.

    Google Scholar 

  • Dowty, D. (1982), ‘Tense, Time Adverbs and Compositional Semantic Theory’,Linguistics and Philosophy 5, 23–55.

    Google Scholar 

  • Fodor, J. D. and Sag, I. A. (1982), ‘Referential and Quantificational Indefinites’,Linguistics and Philosophy 5, 355–398.

    Google Scholar 

  • Hirst, G. (1988), ‘Semantic Interpretations and Ambiguity’.Artificial Intelligence 34, 131–177.

    Google Scholar 

  • Hirst, G. (1991), ‘Existence Assumptions in Knowledge Representation’,Artificial Intelligence 49, 199–242.

    Google Scholar 

  • Hobbs, J. R. (1985), ‘Ontological Promiscuity’,Proc. 23rd Annual Meeting of the ACL, Chicago, IL, pp. 61–69.

  • Hobbs, J. R., Croft, W., Davies, T., Edwards, D., and Laws, K. (1987), ‘Commonsense Metaphysics and Lexical Semantics’,Computational Linguistics 13, 241–250.

    Google Scholar 

  • Hobbs, J. R., Stickel, M., Appelt, D., and Martin, P. (1990),Interpretation as Abduction, Technical Note 499, Menlo Park, CA: SRI International.

    Google Scholar 

  • Hwang, C. H. (1992).A Logical Approach to Narrative Understanding. Ph.D. Dissertation. U. of Alberta, Edmonton, Canada.

    Google Scholar 

  • Hwang, C. H. and Schubert, L. K. (1992), ‘Tense Trees as the “Fine Structure” of Discourse’,Proc. 30th Annual Meeting of the ACL, Newark, DE, pp. 232–240.

  • Hwang, C. H. and Schubert, L. K. (1993), ‘Interpreting Temporal Adverbials’,Proc. ARPA Workshop on Human Language Technology, Plainsboro, NJ.

  • Hwang, C. H. and Schubert, L. K. (in press), ‘Episodic Logic: A Situational Logic for Natural Language Processing’,Situation Theory and its Applications, V. 3, Stanford, CA: CSLI.

  • Hwang, C. H. and Schubert, L. K. (to appear),Episodic Logic: A Comprehensive Semantic Representation and Knowledge Representation for Language Understanding.

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

  • Kamp, H. (1981), ‘A theory of Truth and Semantic Representation’, In Groenendijk, J., Janssen, T., and Stokhof, M. (eds.),Formal Methods in the Study of Language, Mathematical Centre-tracts, U. Amsterdam, The Netherlands.

    Google Scholar 

  • Kolodner, J. L. (1981), ‘Organization and Retrieval in a Conceptual Memory for Events or CON54, Where Are You?’,Proc. 7th IJCAI, Vancouver, Canada, pp. 227–233.

  • Lascarides, A. and Asher, N. (1991), ‘Discourse Relations and Defeasible Knowledge’,Proc. 29th Annual Meeting of the ACL, Berkeley, CA, pp. 55–62.

  • Lascarides, A., Asher, N., and Oberlander, J. (1992), ‘Inferring Discourse Relations in Context’,Proc. 30th Annual Meeting of the ACL, Newark, DE, pp. 1–8.

  • Leech, G. (1987),Meaning and the English Verb (2nd ed), London, UK: Longman.

    Google Scholar 

  • Miller, S., de Haan, J., and Schubert, L. K. (1987),The User's Guide to ECoNet (Prepared for Boeing Co. under Purchase Contract W-278258), Edmonton, Canada.

  • Moens, M. and Steedman, M. (1988), ‘Temporal Ontology and Temporal Reference’,Computational Linguistics 14, 15–28.

    Google Scholar 

  • Namioka, A., Hwang, C. H., and Schaeffer, S. (1992), ‘Using the Inference ToolEpilog for a message processing application’,Internat. J. of Expert Systems 5, 55–82.

    Google Scholar 

  • Perrault's Complete Fairy Tales (1961), Translated from French by A. E. Johnson and others, New York, NY: Dodd, Mead & Co.

    Google Scholar 

  • Schaeffer, S., Hwang, C. H., de Haan, J., and Schubert, L. K. (1991),The User's Guide to Epilog (Prepared for Boeing Co. under Purchase Contract W-278258), Edmonton, Canada.

  • Schank, R. C. and Leake, D. B. (1989), ‘Creativity and Learning in a Case-Based Explainer’,Artificial Intelligence 40, 353–385.

    Google Scholar 

  • Schank, R. C., Goldman, N. M., Rieger III, C. J., and Riesbeck, C. K. (1975),Conceptual Information Processing, New York, NY: North Holland.

    Google Scholar 

  • Schubert, L. K. (to appear),Formal Foundations of Episodic Logic, Technical Report, Rochester, NY: U. of Rochester.

  • Schubert, L. K. and Hwang, C. H. (1989), ‘An Episodic Knowledge Representation for Narrative Texts’,Proc. 1st Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR '89), Toronto, Canada, pp. 444–458.

  • Schubert, L. K. and Pelletier, F. J. (1982), ‘From English to Logic: Context Free Computation of “Conventional” Logical Translations’,American J. of Comp. Ling. 8, 26–44. Also in B. Grosz, K. S. Jones and B. Webber, eds., 1986,Readings in Natural Language Processing, Los Altos, CA, Morgan Kaufman, pp. 293–311.

    Google Scholar 

  • Schubert, L. K. and Pelletier, F. J. (1989), ‘Generically Speaking, or, Using Discourse Representation Theory to Interpret Generics’, In Chierchia, G., Partee, R., and Turner, R., eds.,Property Theory, Type Theory, and Semantics, V. 2: Semantic Issues, Boston, MA: Kluwer Academic Publishers, pp. 193–268.

    Google Scholar 

  • Traugott, J. (1986), ‘Nested Resolution’,Proc. 8th Internat. Conf. on Automated Deduction), Oxford, UK: Springer-Verlag, pp. 394–402.

    Google Scholar 

  • Webber, B. L. (1988), ‘Tense as Discourse Anaphor’,Computational Linguistics 14, 61–73.

    Google Scholar 

  • Wilensky, R., Chin, D. N., Luria, M., Martin, J., Mayfield, J., and Wu, D. (1988), ‘The Berkeley UNIX Consultant Project’,Computational Linguistics 14, 35–84.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hwang, C.H., Schubert, L.K. Episodic Logic: A comprehensive, natural representation for language understanding. Mind Mach 3, 381–419 (1993). https://doi.org/10.1007/BF00974104

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00974104

Key words

Navigation