3置換與合一.5歸結原理.人工智能複習筆記

本文內容來自中科院大學張文生老師的人工智能課件, 有改動 算法 3置換與合一.5歸結原理.人工智能複習筆記 函數     置換(substitution)人工智能     定義: 置換是一個形如{t1/v1,…, tn/vn}的有限集,其中每一個vi是變量,ti是不一樣於vi的項（常量、變量或函數）(vi≠ti). 當i≠j時，vi≠vj.spa     無元素組成的置換稱爲空置換, 記爲ε;it

>>阅读原文<<