一阶逻辑 First-Order Logic (PPT)

【文件属性】：

文件名称：一阶逻辑 First-Order Logic (PPT)

文件大小：195KB

文件格式：PPT

更新时间：2015-04-18 04:43:37

First-Order Logic 一阶 逻辑 离散

Outline 1.Why FOL? 2.Syntax and semantics of FOL 3.Using FOL 4.Wumpus world in FOL 5.Knowledge engineering in FOL