相关文档

中国科学技术大学:《人工智能基础》课程教学资源(课件讲稿)Lecture 08 First-Order Logic and Inference in FOL

First-Order Logic Why FOL? Syntax and semantics of FOL Using FOL Knowledge engineering in FOL Inference in FOL Reducing first-order inference to propositional inference Unification (合一) Generalized Modus Ponens(一般化分离规则) Forward and backward chaining Resolution
团购合买资源类别:文库,文档格式:PDF,文档页数:91,文件大小:4.26MB
点击进入文档下载页(PDF格式)