I first became aware of the Cyc artificial intelligence (AI) engine around 1984, while working for Unisys, and have followed its progress ever since. From time to time I have downloaded and fiddled with the OpenCyc version; this basically contains a relatively large ontology knowledge base. More recently I’ve learned that the more-complete ResearchCyc can be used for non-commercial purposes. According to Wikipedia, “In addition to the taxonomic information contained in OpenCyc, ResearchCyc includes significantly more semantic knowledge (i.e., additional facts) about the concepts in its knowledge base, and includes a large lexicon, English parsing and generation tools, and Java based interfaces for knowledge editing and querying. In addition it contains a system for Ontology-based data integration.”
I am interested in exploring these additional capabilities. One way to explore them might be to try to implement Asimov’s Three Laws of Robotics. However, I would start with more limited knowledge entry and query exercises.