Ask HN: Is anyone playing with the combination of generative AI and OpenCyc?

Re:Ask HN: Is anyone playing with the combination of generat... by cookiengineer on Tuesday December 10, 2024 @12:37AM (#42374092)

LLMs have just ignored the fundamental problem of reasoning: symbolic inference. They haven't "solved" it, they just don't give a damn about logical correctness.

[ Parent | on HN ]

Re:Ask HN: Is anyone playing with the combination of generat... by wordpad25 on Tuesday December 10, 2024 @03:26AM (#42374926)

logical correctness as in formal logic is a huge step down

LLMs understand context and meaning and genuine intention

[ Parent | on HN ]

Re:Ask HN: Is anyone playing with the combination of generat... by 2ro on Tuesday December 10, 2024 @03:46AM (#42375040)

Cyc apparently addresses this issue with what are termed "microtheories" - in one theory something can be so, and in a different theory it can be not so:

https://cyc.com/archives/glossary/microtheory/

[ Parent | on HN ]

Re:Ask HN: Is anyone playing with the combination of generat... by optimalsolver on Wednesday December 11, 2024 @04:49PM (#42393367)

>A microtheory (Mt), also referred to as a context, is a Cyc constant denoting assertions which are grouped together because they share a set of assumptions

This sounds like a world model with extra-steps, and a rather brittle one at that.

How do you choose between two conflicting "microtheories"?

[ Parent | on HN ]