Exercises

1. Assume the following facts:
   • Steve only likes easy courses.
   • Computing courses are hard.
   • All courses in Sociology are easy.
   • ``Society is evil'' is a sociology course.

   Represent these facts in predicate logic and answer the question?

   What course would Steve like?

2. Find out what knowledge representation schemes are used in the STRIPS system.