Hacker News Reader

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/

>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"?

Reply on news.ycombinator.com