An Episodic Knowledge Representation for Narrative Texts

Abstract : We would like to build story understanding systems which are transparent, modular, and extensible. To this end, we have been working on a new logical approach to narrative understanding that features a GPSG-style grammar and an episodic logic with probabilistic inference rules. The grammar represents phrase structure and the relationship between phrase structure and logical form in a modular, explicit form. The logical representation allows propositional attitudes, unreliable generalizations, and other non-standard constructs, providing a uniform, transparent knowledge representation for both the explicit content of stories and for the background knowledge needed to understand them. It makes systematic use of episodic variables in the representation of episodic sentences, using these to capture temporal and causal relationships. The rules of inference include probabilistic versions of deduction rules resembling forward and backward chaining rules in expert systems. These can be used for predictive, explanatory, and simulative inference. We illustrate our approach with nontrivial grammar fragments (including semantic rules), and with an extended example of forward-chaining inference based on a sentence from Little Red Riding Hood. A pilot implementation is able to make many (though not all) of the inferences we describe. (KR)

[1]  Lenhart K. Schubert,et al.  Using Specialists to Accelerate General Reasoning , 1988, AAAI.

[2]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[3]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[4]  Sven Hurum Handling Scope Ambiguities In English , 1988, ANLP.

[5]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[6]  David R. Dowty,et al.  Word Meaning and Montague Grammar , 1979 .

[7]  Jan van Eijck,et al.  Logical Forms in the Core Language Engine , 1989, ACL.

[8]  Drew McDermott,et al.  Representing and Solving Temporal Planning Problems , 1987 .

[9]  William Croft,et al.  Commonsense Metaphysics and Lexical Semantics , 1986, ACL.

[10]  Janet L. Kolodner Organization and Retrieval in a Conceptual Memory for Events or CON 54, Where Are You? , 1981, IJCAI.

[11]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[12]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge , 1988 .

[13]  Raymond Turner,et al.  Semantics and property theory , 1988 .

[14]  Erhard W. Hinrichs,et al.  Tense, Quantifiers, and Contexts , 1988, CL.

[15]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[16]  Lenhart K. Schubert,et al.  From English to Logic: Context-Free Computation of ‘Conventional’ Logical Translation , 1982, CL.

[17]  D. Davidson The Individuation of Events , 1969 .

[18]  Sven O. Hurum Quantifier scoping in initial logical translations of English sentences , 1987 .

[19]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[20]  A. Kratzer An investigation of the lumps of thought , 1989 .

[21]  Barry Richards,et al.  Tense, aspect and time adverbials , 1982 .

[22]  Lenhart K. Schubert,et al.  Generically Speaking, or, Using Discourse Representation Theory to Interpret Generics , 1989 .

[23]  Graeme Hirst,et al.  Ontological Assumptions in Knowledge Representation , 1989, KR.

[24]  H. Kamp,et al.  Tense in Texts , 1983 .

[25]  Michael G. Dyer,et al.  BORIS - An Experiment in In-Depth Understanding of Narratives , 1983, Artif. Intell..

[26]  Mark Steedman,et al.  Temporal Ontology and Temporal Reference , 1988, CL.

[27]  David R. Dowty Tenses, time adverbs, and compositional semantic theory , 1982 .

[28]  Lenhart K. Schubert,et al.  Inference in a Topically Organized Semantic Net , 1986, AAAI.

[29]  James F. Allen Natural language understanding , 1987, Bejnamin/Cummings series in computer science.

[30]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

[31]  Peter B. Andrews Theorem Proving via General Matings , 1981, JACM.

[32]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[33]  Wolfgang Bibel Tautology Testing with a Generalized Matrix Reduction Method , 1979, Theor. Comput. Sci..

[34]  Henry E. Kyburg,,et al.  The Reference Class , 1983, Philosophy of Science.