VAL@SAIL.STANFORD.EDU (Vladimir Lifschitz) (11/10/86)
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.