浙江大学远程教育学院人工智能节座.pptVIP

May 27,2005 浙江大学远程教育学院《人工智能》讲座 徐从富(Congfu Xu) PhD, Associate Professor Email: xucongfu@zju.edu.cn Institute of Artificial Intelligence, College of Computer Science, Zhejiang University, Hangzhou 310027, P.R. China December 4, 2006 提纲 知识表示 专家系统 人工神经网络 不确定性推理 机器学习 数据挖掘 AI的若干研究前沿 2.1 知识表示 3. 谓词公式的表达方法举例 实例1 试用谓词演算表示如下英文句子：“For every set x, there is a set y, such that the cardinality of y is greater than the cardinality of x.” 对应的谓词公式： (?x) {SET(x) ? (?y) (?u) (?v) [SET(y) ? CARD(y, u) ? CARD(x, v) ?G(u,v)]} 实例2 “世上决没有无缘无故的爱，也没有无缘无故的恨。” 对应的谓词公式： ??x[爱(x) ? ? ?y 缘故 (x, y)] ? ??t[恨(t) ? ?