A very interesting review from 1993 by John F. Sowa (https://en.wikipedia.org/wiki/John_F._Sowa https://en.wikipedia.org/wiki/John_F._Sowa) of the Cyc system as

A very interesting review from 1993 by John F. Sowa (https://en.wikipedia.org/wiki/John_F._Sowa https://en.wikipedia.org/wiki/John_F._Sowa) of the Cyc system as presented in Lenat's 1989 book (ISBN 0-201-51752-3) and his 1991 presentation at IBM Research in Yorktown. > In June, Doug sent me an article he was working on That's likely this one: https://arxiv.org/abs/2308.04445 https://arxiv.org/abs/2308.04445. See also https://garymarcus.substack.com/p/doug-lenat-1950-2023 https://garymarcus.substack.com/p/doug-lenat-1950-2023.