Keep up to date with every new upload!

Join free & follow paperswelove
Share
  • 8
  • 2 years ago
Sandy Vanderbleek on Peter Norvig's Correcting A Widespread Error in Unification Algorithms

Sandy Vanderbleek on Peter Norvig's Correcting A Widespread Error in Unification Algorithms

-----------------------------------------------------------------------------------
Sponsored and hosted by Two Sigma (@twosigma)
-----------------------------------------------------------------------------------

Description
------------------

Peter Norvig found an error in the unification algorithm presented in his AI textbooks and several others and wrote a brief paper about it. While his paper focuses on Lisp implementations of higher-order unification, I will restrict the problem to syntactic propositional unification and present the erroneous and correct algorithm in a pattern and substitution notation.

Comments