3 ms·

See, this is what I mean (see my reply to eschaton). I take it then, seiji, that you also completely disagree with Levesque's program as expressed in section 4

See, this is what I mean (see my reply to eschaton). I take it then, seiji, that you also completely disagree with Levesque's program as expressed in section 4.4 of his paper?

seiji 13y ago
Absolutely. 4.4 is a full endorsement of Cyc (and don't get me started on "Cyc" vs "OpenCyc"). Second 4.4 looks a little like "graphplan reborn" or "generic AI approaches from the 80s." Discrete codified knowledge is not the stuff the universe is made of. The problem Cyc will never solve is the "a picture is worth a thousand words" problem. Describing everything in a relational, hierarchal, predicate calculus arrogantly ignores the unrelated multidimensionality of, well, everything.