I am dead, I can’t believe this AI intro text I just got. If you thumb through it, there are all the usual suspects like breadth-first search and probability.

Then you open the first chapter and it goes HARD on the current state of things.

Then it’s back to mathematical notation like nothing happened.

@vicki that's leaning pretty heavily on symbolic A.I. for a 2017 textbook; I'd like to see more on (i) SAT/SMT solvers and (ii) industrial uses of production rules