不確定推理方法ppt課件(已修改)
2025-05-24 05:24 本頁面
【正文】 第五章 不確定推理方法 北京物資學(xué)院 趙明茹 ?例 :假設(shè)有如下的前提知識： （ 1）自然數(shù)是大于零的整數(shù) （ 2）所有整數(shù)不是偶數(shù)就是奇數(shù) （ 3）偶數(shù)除以 2是整數(shù) 求證：所有自然數(shù)不是奇數(shù)就是其一半為整數(shù)的數(shù) 定義謂詞： N(x)表示 x是自然數(shù) I(x)表示 x是整數(shù)， E(x)表示 x是偶數(shù)， O(x)表示 x是奇數(shù) GZ(x)表示 x大于 0，另外用函數(shù) S（ x）表示 x除以 2 F 1 ) ( N ( ) G Z ( ) I ( ) )F 2: ) ( I ( ) ( ) ( ) )F 2: ( ) ( E ( ) ( ( ) ) ): ( ) ( N ( ) ( ( ) ( ( ) ) ) )( ) ( ) ( )( 4) ( ) ( ( ) )( 5 ) ( )( 6) ( )( 7 ) ( ( ) )x x x xx x E x O xx x I S xG x x O x I S xII y E y O yE z I S zNtOtI S t? ? ?? ? ???? ? ?????? ? ???????： (((1 ) N( x) GZ (x )(2 ) N( u) (u )(3)(8 ) I( t) E( t ??????) (3)(6) ={t/y}(9 ) E( t) ( 4) (7 ) ={ t/ z}(1 0) I( t) (8 )( 9) 歸 結(jié)(1 1) N( t) (2 )( 10 ) 歸 結(jié) ={ t/ u}(12)NIL (5)(11) 歸 結(jié)例：任何通過歷史考試并中了彩票的人是快樂的。任何肯學(xué)習(xí)或幸運(yùn)的人可以通過所有的考試。 John不學(xué)習(xí)但是很幸運(yùn)。任何人只要是幸運(yùn)的就能中彩。 求證： John是快樂的。 定義謂詞： Pass(x,y)表示 x能通過 y考試； Win(x,y)表示 x能夠贏得 y Study(x)表示 x肯學(xué)習(xí) Lucky(x)表示 x是很幸運(yùn)的 Happy(x)表示 x是快樂的 ( x)( , ) )( ) ( )( , )( 1 ) ( , ) ( , ) ( )( 2) ( ) ( , )pa ss x ystudy J oh n luc k y J oh nwi n x lott e rypa ss x history wi n x lott e ry ha pp y xstudy x pa ss x y? ? ?? ? ? ?????? ? ? ???(Pass(x,history) win(x,lottery) Happy(x))( x) ( y) (s tu dy (x ) lu ck y( x)( x) (l uc ky (x )( 3 ) ( ) ( , )( 4) ( )( 5 ) ( )( 6) ( ) ( , )( 7 ) ( )( 8 ) ( , ) ( ) ( ) ( 1 ) ( 6)( 9) ( , ) ( ) ( 7 ) ( 8 ) { / }( 10 ) (luc k y x pa ss x ystudy J oh nluc k y J oh nluc k y x wi n x lott e ryha pp y J oh npa ss x history luc k y x ha pp y xpa ss J oh n history luc k y J oh n J oh n xpa ss J o???????? ? ? ?? ? ? ?? , ) ( 5 ) ( 9)( 11 ) ( ) ( 3 ) ( 10 ) { / , / }( 12 ) ( 5 ) ( 11 )hn historyluc k y J oh n J oh n x history yNI
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1