[YeGoblynQueenne]

>> So I'd like to see more of that kind of approach, where you have these very powerful general techniques that you can call on but then on top of that, you try to learn the patterns for how to use them.

Here, Peter Norvig is advocating for, essentially, neuro-symbolic AI (there is an actual research field, with a conference and all, named that, but of course here he's talking more generally about the combination of pattern matching and logical reasoning).

My question is, how is this ever going to work when tutors are removing resolution theorem proving from the curriculum and Russel and Norvig have cut down that part of their book, to an inch of its life, as Peter Norvig says earlier in the interview:

>> We kept a lot of the old material, even though we know people are skipping it. So professors aren't teaching resolution theorem proving anymore, but we kept that in. We cut down that material quite a bit, but it's still there.

We got plenty of folks trained to fill in the "neuro" part of Peter Norvig's plan. How about the "symbolic [reasoning]" part?