News for hackers. Stuff that matters.

A comment on Ask HN: Is anyone playing with the combination of generative AI and OpenCyc?. Parent comment

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 ]