Comment by xpe
2 years ago
> The best thing Cycorp could do now is open source its accumulated database of logical relations...
This is unpersuasive without laying out your assumptions and reasoning.
Counter points:
(a) It would be unethical for such a knowledge base to be put out in the open without considerable guardrails and appropriate licensing. The details matter.
(b) Cycorp gets some funding from the U.S. Government; this changes both the set of options available and the calculus of weighing them.
(c) Not all nations have equivalent values. Unless one is a moral relativist, these differences should not be deemed equivalent nor irrelevant. As such, despite the flaws of U.S. values and some horrific decision-making throughout history, there are known worse actors and states. Such parties would make worse use of an extensive human-curated knowledge base.
An older version of the database is already available for download, but that's not the approach you want for common sense anyway, no one needs to remember that a "dog is not a cat".
You are probably referring to OpenCyc. It provides much more value than your comment suggests.
I'd recommend that more people take a look and compare its approach against others. https://en.wikipedia.org/wiki/CycL is compact and worth a read, especially the concept of "microtheories".