⑴ 人工智能中什么是替换什么是合一

置换来(substitution)
定义: 置换是一个形如{t1/v1,…, tn/vn}的有限自集,其中每个vi是变量,ti是不同于vi的项（常量、变量或函数）(vi≠ti). 当i≠j时，vi≠vj.
合一(unification)
合一定义：E1θ=...=Enθ, 则称置换θ为{E1,...,En}的合一子(unifier). 如果对{E1,...,En}存在这样的合一子, 则称集合{E1,...,En}可合一.

⑵ 人工智能练习题，求答案，该怎么解决

我找了一早上这题 第一道和第3道找到了 1 (1) 新型计算机速度又快，存储容量又大。
解：版定义谓词 NC(x)：x是新型计算机 F(x)：x速度快权 B(x)：x容量大 将知识用谓词表示为： ( x) (NC(x)→F(x)∧B(x)) (2) 凡是喜欢编程序的人都喜欢计算机。 解：定。