6.4110 Rep, Inference & Reason in AI