Closed-World Assumption
(Redirected from negation as failure)
Jump to navigation
Jump to search
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 …