[Prev][Next][Index]

Talk by Daniel Lehmann, Thursday, 1 March, 10:30 a.m.


			     AIC SEMINAR
	      General Patterns in Nonmonotonic Reasoning
			    Daniel Lehmann
		     Hebrew University, Jerusalem
		    Thursday, 1 March, 10:30 a.m.
			  SRI International
		  Building E, Conference Room EK242

The talk will present recent results obtained in an effort to study
properties of nonmonotonic inference operations, in the style in which
Tarski and Gentzen studied consequence operations.  The main question
addressed is: how can we characterize nonmonotonic inferences by
positive properties, or by what should we replace Tarski's monotony
assumption?  The talk will show that there is a well-defined set of
properties that seem to be central to any discussion of nonmonotonic
inference operations and will discuss them in relation with existing
nonmonotonic systems.  Prior knowledge of some of the existing
nonmonotonic reasoning systems may help (or confuse), but is not a
prerequisite.

-------

NOTE FOR VISITORS TO SRI:

Please arrive at least ten minutes early in order to sign in and be
shown to the conference room.

SRI is located at 333 Ravenswood Avenue in Menlo Park.  Visitors may
park in the visitors lot in front of Building A (red brick building at
333 Ravenswood Ave., second driveway on the right, east of Laurel) or
in the conference parking area at the corner of Ravenswood and
Middlefield.  The seminar room is in Building A.  Visitors should sign
in at the reception desk in the Building A lobby.

IMPORTANT: Attendance is open, but visitors from certain countries
designated by the US government must make arrangements in advance.  If
you have not already made such arrangements before your arrival,
admission to the seminar will be denied. If you believe you may be
from one of these countries and if you wish to make arrangements to
attend, please call Judith Burgess at (415) 859-5924.