Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!esosun!net1!sdcsvax!ucbvax!SAIL.STANFORD.EDU!VAL
From: VAL@SAIL.STANFORD.EDU (Vladimir Lifschitz)
Newsgroups: mod.ai
Subject: Seminar - Formalizing the Notion of Context (SU)
Message-ID: <8611120807.AA14569@ucbvax.Berkeley.EDU>
Date: Mon, 10-Nov-86 14:08:00 EST
Article-I.D.: ucbvax.8611120807.AA14569
Posted: Mon Nov 10 14:08:00 1986
Date-Received: Wed, 12-Nov-86 21:33:53 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 18
Approved: ailist@sri-stripe.arpa


           Commonsense and Non-Monotonic Reasoning Seminar


		FORMALIZING THE NOTION OF CONTEXT

			John McCarthy

		   Thursday, November 13, 4pm
			   MJH 252


	Getting a general database of common sense knowledge and
expressing it in logic requires formalizing the notion of context.
Since no context is absolutely general, any context must be elaboration
tolerant and we discuss this notion.  Another formalism that seems
useful involves entering and leaving contexts; this is a generalization
of natural deduction.