相关文档

《Artificial Intelligence:A Modern Approach》教学资源(PPT课件,英文版)Chapter 9-Inference in first-order logic

• Reducing first-order inference to propositional inference • Unification • Generalized Modus Ponens • Forward chaining • Backward chaining • Resolution
团购合买资源类别:文库,文档格式:PPT,文档页数:43,文件大小:890.5KB
点击进入文档下载页(PPT格式)