📄 http:^^www.cs.rochester.edu^u^schubert^
字号:
Date: Thursday, 21-Nov-96 21:01:20 GMTServer: NCSA/1.3MIME-version: 1.0Content-type: text/htmlLast-modified: Wednesday, 11-Oct-95 05:50:51 GMTContent-length: 4974<HTML><HEAD><TITLE>Lenhart K. Schubert's Home Page</TITLE></HEAD><BODY><HR width=50%><H2><!WA0><IMG ALIGN=LEFT SRC="http://www.cs.rochester.edu/u/schubert/schubert.cropped.jpeg"><UL>Lenhart K. Schubert</H2>Professor <BR>Computer Science Department <BR>Rochester, NY 14627-0226<BR><BR> <BR>Email: schubert@cs.rochester.edu <BR>Fax: (716) 461-2018 <BR>http://www.cs.rochester.edu/u/schubert/<BR clear=left></UL><P>b. 1941. Ph.D. (1970) University of Toronto. Assistant Professor(73-77), Associate Professor (77-84), Professor (84-88); University ofAlberta. Professor (88-present), University of Rochester. Alexandervon Humboldt Fellow (78-79), U. Karlsruhe; Editorial board, ComputationalLinguistics (83-85); Computational Intelligence (83-present); ACL-93 program chair; Fellow of the AAAI.<P>Len Schubert's research interests center around language, knowledgerepresentation, inference and planning. A unifying theme is thedevelopment of foundations for general, extensible storyunderstanding and conversational systems. This has led to thedevelopment of strategies for human-like, error-tolerant parsing, andof increasingly expressive logics for capturing the content of naturallanguage utterances in all their richness. The most recently developedrepresentation, episodic logic (EL), associates episodes with sentences and allows for adjective/adverb-like predicate modifiers, property/proposition-forming operators, and other language-like constructs, simplifying the process of mapping from language to the meaning representation.<P>The theoretical investigation of natural language processing andknowledge representation has been accompanied by the development ofimplemented systems intended to support language understanding, reasoning and planning. This work has focused on probabilistic input-chaining and goal-chaining strategies for plausible inference in EL, on concept- and topic-centered strategies for access to relevant information, and on provably efficient ``specialists'' that accelerate inference about time relationships, taxonomies, parts, colors, numbers, and sets.<P>The most recent implemented system called EPILOG incorporates all ofthese functions and effectively answers questions posed in EL (withoutput in English), using general world knowledge about things,people, events, actions, and causes. Schubert also collaborates with James Allen on the TRAINS project, aimed at building a conversationallyproficient interactive planning assistant in a dynamic world. This has provided both a context for some of the above work on language processing, and an impetus for recent work on ``scalable'' temporal reasoning, and on a new approach to the frame problem in planning, called ``explanation closure.''<P><H2>Recent Publications</H2><UL><LI> Schubert, L. K., and A. Gerevini. ``Accelerating partial order planners by improving plan and goal choices.'' To be presented at the Int. Conf. on Tools with AI (ICTAI'95), Nov. 5-8, Washington, D.C., 1995.<LI> Gerevini, A. and L. K. Schubert. ``Efficient algorithms for qualitative reasoning about time", Artificial Intelligence 74(2), 207-248, 1995.<LI> Allen, J. F., L. K. Schubert, G. M. Ferguson, P. A. Heeman, C. H. Hwang, T. Kato, M. Light, N. G. Martin, B. W. Miller, M. Poesio, and D. R. Traum. ``The TRAINS project: A case study in building a conversational planning agent,.'' J. Experimental and Theoretical Artificial Intelligence 7, 7-48, 1995.<LI> Hwang, C. H. and L. K. Schubert. ``Interpreting tense, aspect, and time adverbials: a compositional, unified approach'', in D.M. Gabbay and H.J. Ohlbach (eds.), Proc. of the 1st Int. Conf. on Temporal Logic, July 11-14, Bonn, Germany, Springer-Verlag, 238-264, 1994.<LI> Schubert, L. K. ``Explanation closure, action closure, and the Sandewall test suite for reasoning about change'', J. of Logic and Computation 4(5), Special Issue on Actions and Processes, 679-799, 1994.<LI> Gerevini, A., L. K. Schubert, and S. Schaeffer. ``The temporal reasoning tools TimeGraph-I-II.'' Proc. of the 6th IEEE Int. Conf. on Tools with Artificial Intelligence, Nov. 6-9, New Orleans, Louisiana, 1994.<LI> Hwang, C. H. and L. K. Schubert. ``Meeting the Interlocking Needs of LF-Computation, Deindexing, and Inference: An Organic Approach to General NLU.'' In Proc., 13th Int'l. Joint Conf. on Artificial Intelligence, August, 1993. <LI> Hwang, C. H. and L. K. Schubert. ``Episodic Logic: A Situational Logic for Natural Language Processing.'' In P. Aczel, D. Israel, Y. Katagiri, and S. Peters (eds.), Situation Theory and its Applications 3 (STA-3), CSLI, 307-452, 1993. <UL><!WA1><A HREF="http://www.cs.rochester.edu/users/faculty.html"> <!WA2><IMG ALIGN=TOP SRC="http://www.cs.rochester.edu/images/up.gif">Back to URCS Faculty directory</A><P><!WA3><A HREF="http://www.cs.rochester.edu/urcs.html"> <!WA4><IMG ALIGN=TOP SRC="http://www.cs.rochester.edu/images/home.gif">Back to URCS Home Page</A><P></BODY></HTML>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -