3 ms·
> 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 w
by freilanzer 2y ago
> 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?
- asynchronous 2y agoThis isn’t Reddit, evaluate the statement without needing to link to some mainstream media outlet.
- freilanzer 2y agoThe 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 2y agoI 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 https://graphmetrix.com/trinpod-server