Representation Inference And Reasoning In Ai