EL: A Formal, Yet Natural, Comprehensive Knowledge Representation

We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of natural language processing. One of the distinctive features of EL is its extremely permissive ontology, which admits situations (episodes, events, states of affairs, etc.), propositions, possible facts, and kinds and collections, and which allows representation of generic sentences. EL is natural language-like in appearance and supports intuitively understandable inferences. At the same time it is both formally analyzable and mechanizable as an efficient inference engine.

[1]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[2]  Chung Hee Hwang.  A logical approach to narrative understanding , 1992 .

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

[4]  Chung Hee Hwang,et al.  Using the inference tool EPILOG for a message processing application , 1992 .

[5]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[6]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

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

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

[9]  Paul S. Jacobs,et al.  Knowledge-Intensive Natural Language Generation , 1987, Artif. Intell..

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

[11]  John F. Sowa.  Toward the Expressive Power of Natural Language , 1991, Principles of Semantic Networks.

[12]  Chung Hee Hwang,et al.  Picking reference events from tense trees: a formal, implementable theory of English tense-aspect semantics , 1990 .

[13]  Chung Hee Hwang,et al.  Interpreting Temporal Adverbials , 1993, HLT.

[14]  R. Hursthouse.  THE LOGIC OF DECISION AND ACTION , 1969 .

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

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

[17]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge - a logical approach to probabilities , 1991 .

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

[19]  Graeme Hirst,et al.  Existence Assumptions in Knowledge Representation , 1991, Artif. Intell..

[20]  Stuart C. Shapiro,et al.  Cables, Paths, and "Subconscious" Reasoning in Propositional Semantic Networks , 1991, Principles of Semantic Networks.

[21]  Chung Hee Hwang,et al.  Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU , 1993, IJCAI.

[22]  Jonathan Traugott,et al.  Nested Resolution , 1986, CADE.

[23]  Jerry R. Hobbs.  Ontological Promiscuity , 1985, ACL.

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

[25]  Robin Cooper.  Aspectual classes in situation semantics , 1985 .

[26]  Chung Hee Hwang,et al.  An Episodic Knowledge Representation for Narrative Texts , 1989, KR.

[27]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[28]  Greg N. Carlson,et al.  Generic terms and generic sentences , 1982, J. Philos. Log..

[29]  Chung Hee Hwang,et al.  Tense Trees as the “Fine Structure” of Discourse , 1992, ACL.