New York - May 14th, 2018
- Meetup: https://www.meetup.com/papers-we-love/events/245860299/
- Paper: https://norvig.com/unify-bug.pdf
- Slides: http://slides.com/sandyvanderbleek/correcting#/
- Audio: https://www.mixcloud.com/paperswelove/sandy-vanderbleek-on-peter-norvigs-correcting-a-widespread-error-in-unification-algorithms/
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.
Sandy Vanderbleek (https://twitter.com/haskellandchill) has been a software engineer in industry and academia for 10 years. He is currently a Data Scientist at Publicis Media (http://www.publicisgroupe.com/en/services/services-publicis-media-en). His research interests are formal methods and computational logic with applications to industry.
The New York Chapter would like to thank TwoSigma for helping to make this meetup possible.