I agree, that is very curious. I clicked through to Levesque's paper, and there is no mention of Cyc there either. I gather Cyc has long been considered a fai

I agree, that is very curious. I clicked through to Levesque's paper, and there is no mention of Cyc there either. I gather Cyc has long been considered a failure by many in the AI community, and perhaps even an embarrassment by some. Still it is hard not to read Levesque's paper as a vigorous endorsement of the goals of the Cyc project, if perhaps not of its exact methods -- see sec. 4.4. I think it is incumbent on Levesque to explain what Cyc has done wrong, if he has a good theory about that -- and if he doesn't, he needs to admit it, because Cyc's ostensible failure makes it seem unlikely that any symbolic, reasoning-oriented approach to AGI could ever succeed.