[Prev][Next][Index]

CSLI Calendar, November 5, 3:6

       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
_____________________________________________________________________________
5 November 1987                    Stanford                     Vol. 3, No. 6
_____________________________________________________________________________

     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, 5 November 1987

   12 noon		TINLunch
     Ventura Hall       Reading: "The Logicist Conception of Knowledge 
     Conference Room  	is too Narrow---But so is McDermott's"
			by Stanley J. Rosenschein
			Discussion led by the author
			(Stan@warbucks.ai.sri.com)
			No abstract

   2:15 p.m.		CSLI Seminar
     Room G-19          An Introduction to Situated Automata
     Redwood Hall  	Part II: Applications
			Stanley J. Rosenschein (Stan@warbucks.ai.sri.com)
			Abstract in last week's calendar
			
   3:30 p.m.		Tea
     Ventura Hall		
                             --------------
			    NEW PUBLICATIONS

   The following reports have recently been published.  They may be
   obtained by writing to Trudy Vizmanos, CSLI, Ventura Hall, Stanford,
   CA 94305-4115 or publications@csli.stanford.edu.

   97. Constituent Coordination in  HPSG  
       Derek Proudian and David Goddeau 	

   98. A Language/Action Perspective on the Design of Cooperative Work 
       Terry Winograd                           

   99. Implicature and Definite Reference 
       Jerry R. Hobbs 

   100. Thinking Machines: Can There be? Are we? 
        Terry Winograd                          

   101. Situation Semantics and Semantic Interpretation in
        Constraint-based Grammars  
        Per-Kristian Halvorsen                  

   102. Category Structures 
        Gerald Gazdar, Geoffrey K. Pullum, Robert Carpenter, Ewan Klein,  
        Thomas E. Hukari, Robert D. Levine      

   103. Cognitive Theories of Emotion 
        Ronald Alan Nash                        

   104. Toward an Architecture for Resource-bounded Agents 
        Martha E. Pollack, David J. Israel, and Michael E. Bratman  

   105. On the Relation Between Default and Autoepistemic Logic 
        Kurt Konolige                           

   106. Three Responses to Situation Theory 
        Terry Winograd                          

                             --------------
			    CURRENT VISITORS

   SYLVAIN BROMBERGER
   Professor of Philosophy
   Department of Linguistics and Philosophy
   Massachusetts Institute of Technology
   Dates of visit: September 1987--July 1988

   Bromberger is currently interested in the philosophy of linguistics
   and in rational acquisition of knowledge.  In the philosophy of
   linguistics he is working on conceptual issues arising in
   phonology/phonetics.  Under rational acquisition of knowledge he is
   interested in the limits that constrain search for knowledge guided by
   questions and in the semantics of interrogatives.  He is a regular
   participant of the RATAG project.

   KEITH DEVLIN
   Reader in Mathematics
   Department of Mathematics
   University of Lancaster
   Dates of visit: September 1987--August 1988

   Devlin is a mathematical logician.  About three years ago, his
   interest in set theory gave way (via a brief passage through computer
   science) to a desire to work out a genuine, mathematical theory of
   information.  He thought that the approach to this problem adopted by
   Barwise and his colleagues at CSLI was the best way to proceed, and
   has subsequently thrown his lot in with this gang.  He is presently
   writing a book on situation theory.

   CARL GINET
   Chair, Sage School of Philosophy
   Cornell University
   Dates of visit: June--December 1987

   Ginet is a philosopher on sabbatic leave from Cornell.  During his
   stay at CSLI, he will be finishing a book on action, catching up on
   the literature in epistemology, and refining software he has written
   that guides students in constructing derivations in formal logic.

   KIYONG LEE
   Department of English
   Korea University 
   Dates of visit: December 1986--December 1987

   Lee is visiting CSLI on a senior research grant from the
   Korean-American Educational Commission and the Council for
   International Exchange of Scholars.  He hopes to acquaint himself with
   new developments in situation theory and semantics, and to write an
   introductory book for Korean readers.  While working on some
   foundational aspects of situation theory, he is very much interested
   in testing its adequacy in treating some concrete problems, especially
   those related to negation, quantification, and tense/aspect in Korean.
   He is participating in the STASS project while he is here and also
   continues developing a computationally tractable, functor-driven,
   phrase structure grammar of natural language by amalgamating a
   categorial grammar with HPSG.

   SALLY MCCONNELL-Ginet
   Professor
   Department of Modern Languages and Linguistics
   Cornell University 
   Dates of visit: June--December 1987

   During her time at CSLI (the first half of a year's sabbatic leave
   from Cornell), McConnell-Ginet will be working on a book about formal
   approaches to the analysis of vagueness.  She will also be working on
   a semantics text for linguistics that she and Gennaro Chierchia are
   coauthoring.

   HIDEYUKI NAKASHIMA
   Senior Researcher
   Man-Machine Systems Section
   Electrotechnical Laboratory
   Dates of visit: September 1987--August 1988

   Nakashima is interested in knowledge representation, reasoning, and
   learning.  He is also interested in a model of language acquisition.
   He has his own knowledge-representation system based on logic
   programming, called Uranus.  He is planning to create a programming
   language based on situation theory.

   RONALD NASH
   Dates of visit: January 1987--July 1988

   Nash is at CSLI on a postdoctoral fellowship from the Social Sciences
   and Humanities Research Council of Canada.  He is interested in the
   philosophy of mind and normative psychology, and is particularly
   interested in the work of CSLI's RATAG and DIA projects with respect
   to the cognitive theory of emotion on which he has recently worked.
   He hopes to construct a more formal model while he is here, and will
   be looking at the various formal models being considered at CSLI.

   KASPER OSTERBYE
   Institute of Electronical Systems, Aalborg
   University of Aarhus
   Dates of visit: September 1986--September 1987

   Osterbye's recent work has been on programming languages, especially
   dealing with interactive higher-level debugging.  At CSLI, he is
   participating in the SDL project.

   GORDON PLOTKIN
   Professor
   Department of Computer Science
   University of Edinburgh
   Dates of visit: September 1987--October 1988

   Plotkin is interested generally in issues of language and logic and
   particularly in the modeling and formalization of situation theory and
   in learning situation semantics.  He is also interested in a variety
   of issues in the denotational semantics of programming languages, such
   as concurrency and probabilistic computation, and also in a usefully
   implementable general proof theory.  He is an active participant in
   the STASS project.

   BILL ROUNDS
   Associate Professor
   Department of Computer Science
   University of Michigan
   Dates of visit: September 1987--June 1988

   Rounds is a computer scientist interested in mathematical and
   computational linguistics.  He is developing logics for expressing
   grammars and for understanding grammatical properties, with special
   emphasis on unification-based grammatical systems.  These logics can
   also be used directly in implementations of such systems.  He is
   participating in the MOST project at CSLI.

   HIROYUKI SUZUKI
   Researcher
   Systems Tokyo Research Department
   Corporate Engineering Division
   Matsushita Electric Industrial Co.,Ltd.
   Dates of visit: September 1986--March 1988

   Suzuki's main interest lies in building Japanese dialog systems.  He
   is currently interested in designing a representation language for a
   computer as a participant of conversations, and clarifying strategies
   for generating sentences that are employed by human beings to keep
   conversations coherent.

   SYUN TUTIYA
   Associate Professor
   Department of Philosophy
   Faculty of Letters
   Chiba University
   Dates of visit: November 1986--September 1988

   Tutiya is interested in the development of speech acts theory within
   the framework of situation theory and situation semantics.  He is also
   interested in quantification in Japanese, in Frege and the history of
   logic after him, and has been translating `Situations and Attitudes'
   into Japanese.  He is an active participant in the STASS project.

   SUSON YOO
   Doctoral Candidate and Instructor
   Department of Linguistics
   Korea University
   Dates of visit: March 1987--February 1988

   Yoo is continuing her work with Kiyong Lee, currently at CSLI, and is
   especially interested in learning more about situation theory and
   unification grammar and investigating their universal ramifications by
   testing their linguistic significance and computational applicability
   to the analysis of Korean.

   LOTFI ZADEH
   Professor
   Department of Computer Science 
   University of California, Berkeley
   Dates of visit: Fall Quarter 1987

   Zadeh developed "fuzzy" logic and set theory---the central idea being
   that truth or membership in a set isn't simply binary, but permits a
   continuum of values.  He has attended many CSLI functions over the
   past four years, especially on Thursdays, and we are pleased that he
   has arranged to be here several days a week during fall quarter.