freepeople性欧美熟妇, 色戒完整版无删减158分钟hd, 无码精品国产vα在线观看DVD, 丰满少妇伦精品无码专区在线观看,艾栗栗与纹身男宾馆3p50分钟,国产AV片在线观看,黑人与美女高潮,18岁女RAPPERDISSSUBS,国产手机在机看影片

正文內容

人工智能知識表示方法51(文件)

2025-03-04 15:25 上一頁面

下一頁面
 

【正文】 第二版) 中國水利水電出版社 ( 5)雙重否定律 ﹁ ﹁ P P ( 6)吸收律 P∨ (P∧ Q) P P∧ (P∨ Q) P ( 7)補余律 P ∨ ﹁ P T P ∧ ﹁ P F ??人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 ( 8)連詞化歸律 P→Q ﹁ P∨ Q ( 9)量詞轉換律 ﹁( x) P ( x ) (﹁ P) ﹁( x) P ( x ) (﹁ P) (10) 量詞分配律 ( x )(P∧ Q) ( x )P∧ ( x ) Q ( x )(P∨ Q) ( x )P∨ ( x )Q ???????????人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 7 謂詞公式的永真蘊含 定義 : 對于謂詞公式 P和 Q,如果 P→Q 永真,則稱 P永真蘊含 Q,且稱 Q為 P的 邏輯結論 ,稱 P為 Q的前提,記為 P Q。 人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 例 用謂詞公式表示下列知識: ? 王林是計算機系的學生,但他不喜歡 編程序。 偶數(shù)除以 2是整數(shù)。 F3:如果 x與 y是同班同學,則 x 的老師也 是 y 的老師。求誰是老實人,誰是說謊者? 人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 解 :( 1) 定義謂詞 T(x ) 表示 x 說真話 。 ( 1)規(guī)則庫 用于描述相應領域內知識的產生式集合稱為 規(guī)則庫 。綜合數(shù)據(jù)庫的內容隨著推理的進行是在不斷動態(tài)變化的。所以由上述 RB和 DB構成的產生式系統(tǒng) 是一個可交換的產生式系統(tǒng)。 4 產生式表示法的特點 ( 1)自然性 ( 2)模塊性 ( 3)有效性 ( 4)清晰性 人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 演講完畢,謝謝觀看! 。 ki1ii DBDBDB ?? ??? ?人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 2 可分解的產生式系統(tǒng) 如果一個產生式系統(tǒng)的綜合數(shù)據(jù)庫 DB 的當前狀態(tài) DBi可被分解為若干個獨立的部 分: 且根據(jù) DB的狀態(tài)確定的推理過程的終止條 件也可被分解為對這些獨立部分進行推理 的終止條件,則稱為 可分解的產生式系統(tǒng) 。 人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 產生式系統(tǒng)的分類及其特點 1 可交換的產生式系統(tǒng) 如果一個產生式系統(tǒng)對規(guī)則的使用次序是可交換的,無論先使用哪一條規(guī)則都可達到目的,即規(guī)則的使用次序對問題的最終求解是無關緊要的,則稱為 可交換的產生式系統(tǒng) 。 人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 解: 為了識別這些動物,可以根據(jù)動物識別的特 征,建立包含下述規(guī)則的規(guī)則庫: R1: if 動物有毛發(fā) then 動物是哺乳動物 R2: if 動物有奶 then 動物是哺乳動物 R3: if 動物有羽毛 then 動物是鳥 R4: if 動物會飛 and 會生蛋 then 動物是鳥 R5: if 動物吃肉 then 動物是食肉動物 R6: if 動物有犀利牙齒 and 有爪 and 眼向前方 then 動物是食肉動物 R7: if 動物是哺乳動物 and有蹄 then動物是有蹄類動物 人工智能與專家系統(tǒng) (第二版) 中國水利水電出版社 R8: if 動物是哺乳動物 and 反芻 then 動物是有蹄類動物 R9: if 動物是哺乳動物 and 是食肉動物 and 有黃褐色 and 有暗斑點 then 動物是豹 R10: if 動物是哺乳動物 and 是食肉動物 and 有黃褐色 and 有黑色條紋 then 動物是虎 R11: if 動物是有蹄類動物 and 有長脖子 and 有長腿 and 有暗斑點 then 動物是長頸鹿 R12: if 動物是有蹄類動物 and 有黑色條紋 then 動物是斑馬 R13: if 動物是鳥 and 不會飛 and 有長脖子 and 有長腿 and 有黑白二色 then
點擊復制文檔內容
環(huán)評公示相關推薦
文庫吧 www.dybbs8.com
備案圖鄂ICP備17016276號-1