Slide 1 All rights reservedL. Manevitz Lecture 51 Artificial Intelligence Logic Part 2 L. Manevitz Slide 2 All rights reservedL. Manevitz Lecture 52 Unification Alphabetic…
Artificial Intelligence Logic Part 2 L. Manevitz L. Manevitz Lecture 5 Unification Alphabetic variant. Term substitution. “Ground”. P(x,f(y),B) S1={z/x,w/y} S2={g(z)/x,A/y}…