zlacker

>>todsac+(OP)
It would be cool to try to generate the "knowledge" as in Cyc automatically, from LLMs.

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

>>eob+O5
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.

>>eurode+m8
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))