⑴ 人工智慧中什麼是替換什麼是合一

置換來(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) 凡是喜歡編程序的人都喜歡計算機。 解：定。