Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site watmath.UUCP
Path: utzoo!watmath!mwang
From: mwang@watmath.UUCP (mwang)
Newsgroups: ont.events
Subject: UW CS Colloq., Prof. Levesque on "A Logic of Implicit and Explicit Belief"
Message-ID: <11893@watmath.UUCP>
Date: Mon, 11-Mar-85 13:49:27 EST
Article-I.D.: watmath.11893
Posted: Mon Mar 11 13:49:27 1985
Date-Received: Mon, 11-Mar-85 23:49:14 EST
Expires: Thu, 21-Mar-85 00:00:00 EST
Organization: U of Waterloo, Ontario
Lines: 32


         _D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E
         _U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O

         _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E _C_O_L_L_O_Q_U_I_U_M

                             -- WWeeddnneessddaayy,, MMaarrcchh 2200,, 11998855..

         PPrrooff..  HH..  LLeevveessqquuee  ooff  tthhee UUnniivveerrssiittyy ooff TToorroonnttoo wwiillll
         ssppeeaakk oonn ````AA LLooggiicc ooff IImmpplliicciitt aanndd EExxpplliicciitt BBeelliieeff..''''

         TTIIMMEE::                3:30 PM

         RROOOOMM::              MC 5158

         AABBSSTTRRAACCTT

         As  part of an on-going project to understand the foun-
         dations  of Knowledge Representation, we are attempting
         to  characterize a kind of belief that forms a more ap-
         propriate  basis  for  Knowledge Representation systems
         than that captured by the usual possible-world formali-
         zations  begun by Hintikka.  In this talk, we point out
         deficiencies in current formalizations of knowledge and
         belief (including recent syntactic approaches) and sug-
         gest  a new analysis in the form of a logic that avoids
         these shortcomings and is also more viable computation-
         ally.

         Coffee and refreshments will be served at 3:00 PM.

         Everyone is welcome.