Logic based AI is making steady progress
Dreyfus ignores slow but definite progress in logic based AI—eg formalised non-monotonic logics have been used successfully to address the problem of understanding ambiguity. He gives no reason to suppose these developments won't ulitmately succeed.
John McCarthy, 1996.