3置换与合一.5归结原理.人工智能复习笔记

本文内容来自中科院大学张文生老师的人工智能课件, 有改动 算法 3置换与合一.5归结原理.人工智能复习笔记 函数     置换(substitution)人工智能     定义: 置换是一个形如{t1/v1,…, tn/vn}的有限集,其中每一个vi是变量,ti是不一样于vi的项（常量、变量或函数）(vi≠ti). 当i≠j时，vi≠vj.spa     无元素组成的置换称为空置换, 记为ε;it

>>阅读原文<<