Predicate Logic
Predicate Logic
Predicate Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Dis-set:<br />
Substitution and Unification<br />
S: Set of expressions.<br />
Find the common longest substring from the<br />
begining of each expression in S.<br />
Dis-set = set of right next term in all the<br />
expressions.<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 68