These are pretty straightforward, but there are a couple of things that sometimes confuse people. The following are excerpts from my email replies to students who have asked for help on problems in past years.
General: When you get an answer wrong, the Grade Grinder will often offer a hint about what the problem might be. These are usually very useful, and you should read them carefully and try to make sure you understand what they're saying.
1.4: The first task is to translate the sentences into the blocks language. So, for example, the first one should be, not "a is a cube," but "Cube(a)".
World 1.5: I almost hate to write this, because it's something the authors want you to discover by trial and error, but you can't put two large objects on adjacent squares. If two objects are adjacent, they can't both be large; if two objects are large, they must have at least one empty square between them.
1.9.5: Remember that everything you use in your translations must come directly from the "FOL" column of the table on p. 30. In particular, note that there is no predicate "Belonged," so you need to find a different way to express this. Also note that "p.m." does not appear anywhere in that column.
1.9.6: *** Your sixth answer, "2:00<2:05'", isn't well formed.
This is just a little subtle. The ' symbol in the table in
t < t'
is just to indicate that we are dealing with two different names. It could just
as well have said
x < y
or
t1 < t2.
So you don't want the ' symbol in your translation.
Last update: December 5, 2006. |