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))

>>imglor+Jh
sure but the bigger models don’t make these trivial mistakes, and I’m not sure if translating the LLM english sentences into LISP and trying to check them is going to be more accurate than just training the models better

>>jes519+Oj
Beyond just checking for mistakes, it would be interesting to see if Cyc has concepts that the LLMs don't or vice versa. Can we determine this by examining the models' internals?