zlacker

>>iafish+(OP)
Has Cyc been forgotten? Maybe it's unknown to tech startup hucksters who haven't studied AI in any real way but it's a well known project among both academic and informed industry folks.

>>Trevor+vH
Probably. IMHO there is a lot of low-hanging fruit for startups in the field of symbolic AI applied to biology and medicine.

Bonus points if that is combined with modern differentiable methods and SAT/SMT, i.e. neurosymbolic AI.

>>nextos+EI
There is MindAptive who have something about symbolics as a kind of machine language interface that I think went the other way as in trying to do everything under the sun but its the last time I came across anything reminding me of Cyc

https://mindaptiv.com/intro-to-wantware/