[Prev][Next][Index]

CSLI Calendar, December 10, 3:10


       C S L I   C A L E N D A R   O F   P U B L I C   E V E N T S
_____________________________________________________________________________
10 December 1987                   Stanford                    Vol. 3, No. 10
_____________________________________________________________________________

     A weekly publication of The Center for the Study of Language and
     Information, Ventura Hall, Stanford University, Stanford, CA 94305
                              ____________
	   CSLI ACTIVITIES FOR THIS THURSDAY, 10 December 1987

   2:15 p.m.		CSLI Seminar
     Room G-19          Representation Strategies in LILOG
     Redwood Hall  	Hans Uszkoreit
			IBM Germany and University of Stuttgart
			Abstract below
			
   3:30 p.m.		Tea
     Ventura Hall		
                             --------------
	     CSLI ACTIVITIES FOR THURSDAY, 17 December 1987

   12 noon		TINLunch
     Ventura Hall       To be announced
     Conference Room  	

   2:15 p.m.		CSLI Seminar
     Room G-19          The Integration of Syntax and Pragmatics
     Redwood Hall	through Abductive Inference
                        Jerry R. Hobbs
			(Hobbs@Warbucks.ai.sri.com)
			Abstract below
			
   3:30 p.m.		Tea
     Ventura Hall		

                             --------------
				    
			   THIS WEEK'S SEMINAR
		   Representation Strategies in LILOG
			     Hans Uszkoreit
		 IBM Germany and University of Stuttgart

LILOG (Linguistic and Logic Methods for Knowledge-based Natural-Language
Understanding) is a basic research project funded by IBM Germany.  It is 
jointly conducted by the science and technology division of IBM Germany and 
partner projects at five German universities.  The long-term goal of the
project is to develop a knowledge-based text-understanding system for 
German.  The methods that are used in the design of the linguistic
components of LILOG share relevant features with ongoing work in the FOG
project at CSLI.

The talk will start with an overview of the objectives, organization, and 
status of the project.

The underlying language for the representation of linguistic and extra-
linguistic knowledge is STUF (Stuttgart Type Unification Formalism).  The
formalism has been implemented as a data type whose operations can be
utilized by all modules of the system.  In addition to standard operations
such as unification, generalization, and subsumption, it provides for a
generalized version of functional application.

Newer developments of the STUF formalism include the integration of free-
arity and fixed-arity types and the introduction of knowledge domains.

Examples will be presented that demonstrate how the uniform formalism is
employed to account for the interaction of syntax and semantics.

			     --------------

			   NEXT WEEK'S SEMINAR
		The Integration of Syntax and Pragmatics
		       through Abductive Inference
			     Jerry R. Hobbs

I will present the new method of abductive inference developed for SRI's
TACITUS project.  This has resulted in a dramatic simplification in how
the problem of interpreting texts is conceptualized.  It also suggests
an elegant and thorough means of integrating syntactic and pragmatic
processing, some details of which I will discuss.