Massachusetts Institute of Technology: Leslie Kaelbling and Tomás Lozano-Pérez's "Language Understanding II"
Read these slides.
Click https://s3.amazonaws.com/saylordotorg-resources/wwwresources/site/wp-content/uploads/2011/11/CS405-7.3.1-MIT.pdf link to open resource.