[freilanzer]

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.

[gibsonf1]

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