open-world assumption
Sign in to saveAlso 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
Wikidata facts
- Subclass of
- axiom
- Part of
- mathematical logic
Show 2 more facts
- opposite of
- closed-world assumption
- short name
- OWA
Sources (1)
via Wikidata · CC0