choamnomsky

3 ms·

1. 1.▲
   by choamnomsky 7y ago

   I wouldn't say that we feel beholden to particular theories, but some of us have backgrounds in linguistics and we draw on those.
2. 2.▲
   by choamnomsky 7y ago

   Doug Lenat is very much still active in the project. He doesn't do as much work building the ontology, but he plays a role in how various projects develop and provides a lot of feedback.
3. 3.▲
   by choamnomsky 7y ago

   I'm also a Cycorp employee, so I can say a little bit at least about (1) and (2). 1) We often use HOL. CycL isn't restricted to first order logic and we often reason by quantifying over predicates. 2) I don't know where you c