Expressing Knowledge
Such information is traditionally incorporated in the planning algorithm itself
or in a special programming language
Instead: use additional declarative axioms
Problem instance: operator axioms + initial and goal axioms + heuristic axioms
Domain knowledge ยป constraints on search and solution spaces
Independent of any search engine strategy