I ended up taking the Norvig AI class after this one and felt that a large majority of the material was also covered in the ML class, but usually more rigorously in the latter and as a means to more interesting stuff. If you feel like covering the material with a definite mathematical bent, I would recommend checking out this class.