Google
×

Closed-world assumption

The closed-world assumption, in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also known to be true. Therefore, conversely, what is not currently known to be true, is false. Wikipedia