例: 例3.1 已知事实: (1)凡是容易的课程小王( Wang )都喜欢;(2)C 班的课程都是容易(3)ds 是 C 班的一门课程。求证:小王喜欢 ds 这门课程。 证明:定义谓词: EASY ( x ):x 是容易的 LIKE ( x, y ):x 喜欢 y C ( x ):x 是 C 班的一门课程 已知事实和结论用谓词公式表示: ( vx) ( EASY ( x ) → LIKE ( Wang, x ) ) ( vx ) ( C ( x ) → EASY ( x )) C ( ds ) LIKE ( Wang, ds )
归结反演
例3.9 某公司招聘工作人员,A,B ,C 三人应试,经面试后公司表示如下想法:(1) 三人中至少录取一人。(2) 如果录取 A 而不录取 B ,则一定录取 C。(3) 如果录取 B ,则一定录取 C 。 证明:公司的想法用谓词公式表示:
第四章:不确定性推理方法
第五章:搜索求解策略
状态空间:利用状态变量和操作符号,表示系统或问题的有关知识的符号体系,
状态空间是一个四元组: S:状态集合。 O :操作算子的集合。 So :包含问题的初始状态是 的非空子集。 G:若干具体状态或满足某些性质的路径信息描述。
标志着人工智能走上人类历史舞台的事件是:1955年8月,John McCarthy、Marvin Lee Minsky、Claude Shannon和Nathaniel Rochester提交了一份题为A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence(关于举办达特茅斯人工智能夏季研讨会的提议)的报告中。