Lecture #4 was an introduction to practical reasoning agents
Additional reading is:
M. E. Bratman, D. J. Israel and M. E. Pollack, Plans and resource-bounded practical reasoning, Computational Intelligence, 4, 349-355, 1988.and the original paper on STRIPS:
R. E. Fikes and N. J. Nilsson, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, 2, 189-208, 1971.