Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
choamnomsky
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
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.
▲
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.
▲
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