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.
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:
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"?
Comments
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.
logical correctness as in formal logic is a huge step down
LLMs understand context and meaning and genuine intention
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/
This sounds like a world model with extra-steps, and a rather brittle one at that.
How do you choose between two conflicting "microtheories"?