Open World Assumption

An Open World Assumption is an Assumption about a Model that if a Statement cannot be Proven True via Deductive Reasoning then the Statement can still be True.

• AKA: Open-World Assumption, Open World Reasoning, Negation as Contradiction.
• Context:
  • A statement might be True unless it can be proven False.
• Example(s):
  • Just because we believe that no swan is black (because we have never seen a black swan) it does not mean that a black swan cannot exist.
• See: Ground Fact, Open World Assumption, Open System.

---