Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site utcsrgv.UUCP
Path: utzoo!utcsrgv!eas
From: eas@utcsrgv.UUCP (Ann Struthers)
Newsgroups: ont.events
Subject: Artificial Intelligence Seminar
Message-ID: <524@utcsrgv.UUCP>
Date: Wed, 28-Nov-84 16:17:53 EST
Article-I.D.: utcsrgv.524
Posted: Wed Nov 28 16:17:53 1984
Date-Received: Wed, 28-Nov-84 17:36:11 EST
Distribution: ont
Organization: CSRI, University of Toronto
Lines: 28


	            ARTIFICIAL INTELLIGENCE SEMINAR

                       Tuesday, December 4, 1984

                              3:00 P.M.

                    Sandford Fleming Building 1105



		       Professor Hector Levesque
		    Department of Computer Science
		         University of Toronto


	      "A Logic of Implicit and Explicit Belief"


As part of an on-going project to understand the foundations of Knowledge
Representation, we are attempting to characterize a kind of belief that
forms a more appropriate basis for Knowledge Represenation systems than
that captured by the usual possible-world formalizations begun by Hin-
tiakka.  In this talk, we point out deficiencies in current semantic 
treatments of knowledge and belief (including recent sysntactic approaches)
and suggest a new analysis in the form of a logic that avoids these short-
comings and is also more viable computationally.