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 A

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.