3 ms·
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
by 2ro 2y ago
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/ https://cyc.com/archives/glossary/microtheory/
- optimalsolver 2y ago>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"?