Since the late 1960s, there has been a revolution in robots and industrial automation, from the design of robots with no computing or sensorycapabilities (first-generation), to the design of robots with limited computational power and feedback capabilities (second-generation), and the design of intelligent robots (third-generation), which possess diverse sensing and decision making capabilities. The development of the theory of intelligent machines has been developed in parallel to the advances in robot design. This theory is the natural outcome of research and development in...