您現在的位置： 18luck新利全站下载 >> 管理信息化>> 人工智能>> 資料信息

人工智能-謂詞邏輯(PPT 43頁)

所屬分類：
人工智能
文件大小：
437 KB
下載地址：
相關資料：
人工智能
人工智能-謂詞邏輯(PPT 43頁)內容簡介
主要內容
謂詞邏輯基礎
謂詞邏輯歸結原理
例：將下式化為Skolem標準形：
謂詞邏輯歸結原理
置換的合成
歸結原理
例題“快樂學生”問題
歸結過程的控製策略

..............................

上一篇：人工智能搜索問題(PPT 102頁)

下一篇：人工智能習題課(PPT 44頁)

Baidu
map