http:^^www.cs.rochester.edu^research^epilog.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 92 行
HTML
92 行
Date: Wednesday, 20-Nov-96 20:04:56 GMTServer: NCSA/1.3MIME-version: 1.0Content-type: text/htmlLast-modified: Friday, 24-Feb-95 18:35:34 GMTContent-length: 3952<HTML><HEAD><TITLE>Episodic Logic</TITLE></HEAD><BODY><!WA0><IMG SRC="http://www.cs.rochester.edu/images/urcslogo.gif" ALIGN=TOP><H1>Episodic Logic</H1>Episodic Logic was developed for use as a semantic theory for naturallanguage understanding. It was designed to meet the followingrequirements:<UL><LI> expressive adequacy: the language should be powerful enough to allow us to represent various kinds of constructs found in English, as well as the nuances in naturally occurring sentences.<LI> derivational adequacy: the language should support a simple, systematic derivation of meaning from English surface structures. <LI> semantic adequacy: the meaning of the language itself should be precisely defined, i.e., it should have a denotational semantics. </UL><P>The most distinctive aspect of EL is its use of episodes, which aresimilar to situations in situation semantics. Like a situation, anepisode characterizes a partial state of affairs over some period oftime at some location. It subsumes the notion of events that is usedin many representations based on Davidson [1967], because an event isa particular kind of episode.<P>Episodic Logic readily lends itself to inference; contrary to awidespread myth a rich syntax is no impediment to effective inference.Though only a very limited set of EL inference capabilities had beenused in TRAINS-93, EL has been separately implemented in the EPILOGsystem. EPILOG is a powerful knowledge management and inferencesystem allowing data-driven inference, goal-driven inference, andfeaturing integration with about a dozen specialist modules foraccelerating temporal, taxonomic, partonomic, set-theoretic, numeric,and other special types of inference.<HR><H2>Publications</H2><UL><LI>C. H. Hwang and L. K. Schubert, <!WA1><A HREF="ftp://ftp.cs.rochester.edu/pub/papers/ai/92.hwang.ACL92.ps.Z"> "Tense trees as the 'fine structure' of discourse"</A>, Proceedings of the 30th Annual Meeting of the Association for Computational Linguistics (ACL-92), pages 232-240, June 29-July 2, 1992. <LI>C. H. Hwang, "A Logical Approach to Narrative Understanding," U. of Alberta, Edmonton, Canada, 1992.<LI>C. H. Hwang and L. K. Schubert, "Episodic Logic: A Situational Logic for Natural Language Processing," Situation Theory and its Applications, Volume 3, ed. P. Aczel and D. Israel and Y. Katagiri and S. Peters, pages 303-338, CSLI, Stanford, CA, 1993.<LI>C. H. Hwang and L. K. Schubert, "A Representation That Lets You Say It All," Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, ed. N. Guarino and R. Poli, pages 277-289Padova, Italy, March 17-19, 1993. <LI>C. H. Hwang and L. K. Schubert, <!WA2><A HREF="ftp://ftp.cs.rochester.edu/pub/papers/ai/93.hwang.AAAI.93.ps.Z"> "A Formal, Yet Natural, Comprehensive Knowledge Representation"</A>, in Proc. AAAI-93, July 11-15, 1993, Washington, DC, pp. 1297-1302. <LI>C. H. Hwang and L. K. Schubert, <!WA3><A HREF="ftp://ftp.cs.rochester.edu/pub/papers/ai/93.hwang.IJCAI.93.ps.Z"> "Meeting the Interlocking Needs of Logical Form--Computation, Deindexing, and Inference: An Organic Approach to General NLU"</A>, in Proc. 13th IJCAI, August 29-September 3, 1993, Chambery, France, pp. 676-682. <LI>C. H. Hwang and L. K. Schubert, "Episodic Logic: A Comprehensive, Natural Representation for Language Understanding," MM Volume 3: Special Issue on ?? Knowledge Representation for Natural Language Processing, pages 381-419, 1993. <LI>C. H. Hwang and L. K. Schubert, "Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach," Proceedings of the 1st International Conference on Temporal Logic (ICTL '94), pages 238-264, Bonn, Germany, July 11-14, 1994.</UL><HR><ADDRESS><!WA4><A HREF="http://www.cs.rochester.edu/u/simchik/">Andrew D. Simchik</A></ADDRESS></BODY></HTML>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?