search

white-flame / clyc

Port of Cyc to Common Lisp
GNU Affero General Public License v3.0
22 stars 2 forks source link

might want to check this out #1

Closed monkpearman closed 5 months ago

monkpearman commented 5 months ago

https://github.com/logicmoo/CYC_JRTL_with_CommonLisp

there are additional CYC related CL projects on their profile.

white-flame commented 5 months ago

Yeah, I've known Doug (of LogicMOO, not Lenat) for many years. I've looked through a lot of his stuff for reference. My specific goals were to learn some of the specific Cyc implementation strategies around its multiple inference layers, not necessarily how others implemented informed Cyc-alikes which unify things together. I am, however, working on different styles of neuro-symbolic inference that make some of my explorations here into Cyc somewhat redundant. But I'll make sure to look through the logicmoo repos again to see what's come up in the meantime. Thanks for sharing, and it's a good link for others, too.