(“X(i) → X(i+1)” is something that can apply to being dead, not to being happy, for instance).
You can’t reach that kind of certainty with high level human concepts. We could bring the person back to life. We could copy their body and then both bring them back to life and keep them dead. We could change the person so much that your named-entity recognition predicate broke down.
There is nothing I have seen in Cyc that looks any more adequate as a pre-chewed, easily digestible knowledge base than wikipedia. A grammar of hashes and arrows and statements of troponymy makes Cyc easily parsed, not easily understood.
You can’t reach that kind of certainty with high level human concepts.
Yes, so there’s the additional problem of accounting for errors: how can you account for formal logical systems that seem to track real concepts, but only do so approximately (or only within the usual bounds of human experience)?
Try Cyc+wikipedia+rest of the internet. The advantage Cyc has is that people have been writing down blatantly obvious statements, in a way that would be just assumed in other areas. Maybe language learning tools would have the similar “over-obvious” statements explicitly in them?
You can’t reach that kind of certainty with high level human concepts. We could bring the person back to life. We could copy their body and then both bring them back to life and keep them dead. We could change the person so much that your named-entity recognition predicate broke down.
There is nothing I have seen in Cyc that looks any more adequate as a pre-chewed, easily digestible knowledge base than wikipedia. A grammar of hashes and arrows and statements of troponymy makes Cyc easily parsed, not easily understood.
Yes, so there’s the additional problem of accounting for errors: how can you account for formal logical systems that seem to track real concepts, but only do so approximately (or only within the usual bounds of human experience)?
Try Cyc+wikipedia+rest of the internet. The advantage Cyc has is that people have been writing down blatantly obvious statements, in a way that would be just assumed in other areas. Maybe language learning tools would have the similar “over-obvious” statements explicitly in them?