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.
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.
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.
Barwise, J. and Perry, J. (1983),Situations and Attitudes, Cambridge, MA: MIT Press.
Carlson, G. N. (1982), ‘Generic Terms and Generic Sentences’,J. of Philosophical Logic 11, 145–181.
Charniak, E. (1988), ‘Motivation Analysis, Abductive Unification, and Nonmonotonic Equality’,Artificial Intelligence 34, 275–295.
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.
Cullingford, R. (1981), ‘Sam’, In R.C. Schank and C.K. Riesbeck, eds.,Inside Computer Understanding, Hillsdale, NJ: Lawrence Erlbaum, pp. 75–119.
Dahlgren, K., McDowell, J., and Stabler, Jr., E. P. (1989), ‘Knowledge Representation for Commonsense Reasoning with Text’,Computational Linguistics 15, 149–170.
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.
Dowty, D. (1982), ‘Tense, Time Adverbs and Compositional Semantic Theory’,Linguistics and Philosophy 5, 23–55.
Fodor, J. D. and Sag, I. A. (1982), ‘Referential and Quantificational Indefinites’,Linguistics and Philosophy 5, 355–398.
Hirst, G. (1988), ‘Semantic Interpretations and Ambiguity’.Artificial Intelligence 34, 131–177.
Hirst, G. (1991), ‘Existence Assumptions in Knowledge Representation’,Artificial Intelligence 49, 199–242.
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.
Hobbs, J. R., Stickel, M., Appelt, D., and Martin, P. (1990),Interpretation as Abduction, Technical Note 499, Menlo Park, CA: SRI International.
Hwang, C. H. (1992).A Logical Approach to Narrative Understanding. Ph.D. Dissertation. U. of Alberta, Edmonton, Canada.
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.
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.
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.
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.
Perrault's Complete Fairy Tales (1961), Translated from French by A. E. Johnson and others, New York, NY: Dodd, Mead & Co.
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.
Schank, R. C., Goldman, N. M., Rieger III, C. J., and Riesbeck, C. K. (1975),Conceptual Information Processing, New York, NY: North Holland.
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.
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.
Traugott, J. (1986), ‘Nested Resolution’,Proc. 8th Internat. Conf. on Automated Deduction), Oxford, UK: Springer-Verlag, pp. 394–402.
Webber, B. L. (1988), ‘Tense as Discourse Anaphor’,Computational Linguistics 14, 61–73.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF00974104