...strategy

The problem-solving strategies used in these systems are not domain-independent. [Gil, 1994] shows examples of EXPECT's knowledge acquisition tool in a domain for transportation planning to do plan evaluation, and [Gil and Tallis, 1995] shows examples of a molecular biology domain that uses a kind of skeletal plan refinement.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...domain.

By convention, we denote relation names with the prefix r-.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...move

This constraint may not be realistic since the client can make several trips but is part of the specification of the U-Haul domain as it was given to us.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.