| Logic based AI is making steady progress  Einwand1 #533 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.  |