[eob]

Or vice versa - perhaps some subset of the "thought chains" of Cyc's inference system could be useful training data for LLMs.

[euroderf]

When I first learned about LLMs, what came to mind is some sort of "meeting of the minds" with Cyc. 'Twas not to be, apparently.

[imglorp]

I view Cyc's role there as a RAG for common sense reasoning. It might prevent models from advising glue on pizza.

    (is-a 'pizza 'food)
    (not (is-a 'glue 'food))
    (for-all i ingredients
      (assert-is-a i 'food))