Study of automated reasoning; representing change and the effects of actions; problem solving and planning. Includes the development of working programs that search, reason, and plan intelligently. Controlling physical mobile robot systems that operate in dynamic, unpredictable environments is covered. Building smart embedded chips for machine learning.