The convention that ground facts not present in the current representation are false. In a basic STRIPS state, listing the true facts therefore determines a complete interpretation for its ground facts. This convention differs from aknowledge base in which an absent assertion is simply unknown.
