Hacker News Reader

> The fundamental flaw with Lenat's approach is that humans do not think with first order predicate calculus. We do not juggle a bunch of statements/rules the way Cyc does, but have a very fast, efficient and powerful conceptual approach to the world with a massive amount of recursive conceptual inference.

Source?

View on HN

This isn’t Reddit, evaluate the statement without needing to link to some mainstream media outlet.

The OP is making a statement about how humans think and why this is at odds with Cyc. I don't think it is wrong to ask about a source on this. Otherwise I can claim anything. This has nothing to do with Reddit.

> Humans do think with first order predicate calculus. We juggle a bunch of statements/rules the way Cyc does, and don't have a very fast, efficient and powerful conceptual approach to the world with a massive amount of recursive conceptual inference.

Great discussion, thanks.

I am the source (working on conceptual computing since the late 90s), and have built a conceptual computing platform based on it (In common lisp of course): https://graphmetrix.com/trinpod-server

Reply on news.ycombinator.com