Reasoning about Rational Agents (Intelligent Robotics and Autonomous Agents)