open-world assumption

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

หมวดหมู่: