open-world assumption

Also known as OWA

formal-logic assumption that the truth-value of a statement is independent of whether it is known by any single observer or agent to be true