4 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 wa

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. Effectively, you need to understand (compute with) what concepts are before using them in statements. And the most common mistake is to confuse the definition of a concept with the concept itself, as happens typically with knowledge graphs.

gbasin 2y ago
this was my main takeaway from 20th century philosophy lol
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 ago
  This isn’t Reddit, evaluate the statement without needing to link to some mainstream media outlet.
  - freilanzer 2y ago
    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 2y ago
      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 https://graphmetrix.com/trinpod-server
arethuza 2y ago
That argument sounds awfully like Drew McDermott's A Critique of Pure Reason from 1987 which was one of the things that made me get out of the "good old fashioned" AI world in the mid 1990s.

gbasin 2y ago

this was my main takeaway from 20th century philosophy lol

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 ago
This isn’t Reddit, evaluate the statement without needing to link to some mainstream media outlet.
- freilanzer 2y ago
  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 2y ago
    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 https://graphmetrix.com/trinpod-server

arethuza 2y ago

That argument sounds awfully like Drew McDermott's A Critique of Pure Reason from 1987 which was one of the things that made me get out of the "good old fashioned" AI world in the mid 1990s.