The well-designed logical robot: Learning and experience from observations to the Situation Calculus