[ont.events] UW CS Colloq., Prof. Levesque on "A Logic of Implicit and Explicit Belief"

mwang@watmath.UUCP (mwang) (03/11/85)

         _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.