Closed-World Assumption

A Closed-World Assumption is a model assumption that if a proposition is not a true proposition via deductive reasoning then it is a false proposition.

• AKA: Closed World Reasoning, Negation as Failure.
• Context:
  • Anything that cannot be found is false.
• Example(s):
  • an Open World Assumption, e.g. Employee(Person(X)) is not True (e.g. not in the employee table) therefore Employee(Person(X)) is False.
• See: Ground Fact, Closed System.

---

---

References

2009

• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Closed_world_assumption
  • The closed world assumption is the presumption that what is not currently known to be true is false. The same name also refers to a logical …

---