Die Closed World Assumption ist eine Vereinbarung über Aussagen, die aus einer Menge von Fakten anhand von Inferenzregeln nicht hergeleitet werden können. Die Closed World Assumption legt fest, dass nicht beweisbare Aussagen falsch sind. Eine andere Festlegung wird von der Open World Assumption getroffen.