Re:Ask HN: Is anyone playing with the combination of generat...
by 2ro on Tuesday December 10, 2024 @04:20AM
(#42375198)
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 ]
There are no comments on this comment yet.