ABSTRACT
We have noticed in practice that planning domain descriptions in most cases are imprecise and with abundant domain states. We have also noticed in planning that the domain knowledge and the planning control knowledge usually cannot be easily expressed in the description and further put into the planning algorithm. We have again noticed that a partial (not complete) domain description with a small state space is sufficient for generating plans in some situations where you know what part of domain will never affect the planning so it can be ignored in the domain description. Actually we often want to check some parts of system instead of the whole system because the model for the system is too big to be examined so we want a partial domain.
