Ve formální logice je předpoklad otevřeného světa předpokladem, že pravdivostní hodnota výroku je nezávislá na tom, zda je či není jednotlivým pozorovatelem nebo činitelem známa jako pravdivá. Je to opak předpokladu uzavřeného světa, který tvrdí, že jakýkoli výrok, o němž není známo, že je pravdivý, je nepravdivý.
Předpoklad otevřeného světa (OWA) se používá v reprezentaci znalostí ke kodifikaci neformální představy, že obecně žádný jednotlivý agent nebo pozorovatel nemá úplné znalosti, a proto nemůže učinit předpoklad uzavřeného světa. OWA omezuje druhy odvození a dedukcí, které může agent učinit, na ty, které vyplývají z prohlášení, o nichž je agentovi známo, že jsou pravdivá. Naproti tomu předpoklad uzavřeného světa umožňuje agentovi vyvodit ze své neznalosti tvrzení, že je pravdivé cokoliv, co z tohoto tvrzení vyplývá, je nepravdivé.
Heuristicky platí předpoklad otevřeného světa, když představujeme znalosti v rámci systému tak, jak je objevujeme, a kde nemůžeme zaručit, že jsme objevili nebo objevíme úplné informace. V OWA mohou být výroky o znalostech, které nejsou zahrnuty nebo odvozeny z vědomostí výslovně zaznamenaných v systému, považovány spíše za neznámé, než za nesprávné nebo nepravdivé.
Sémantické webové jazyky jako OWL vytvářejí předpoklad otevřeného světa. Absence konkrétního výroku v rámci webu v zásadě znamená, že výrok ještě nebyl vysloven explicitně, bez ohledu na to, zda by byl pravdivý či nikoli, a bez ohledu na to, zda se domníváme (nebo bychom se domnívali), že je (nebo by byl) pravdivý či nikoli. V podstatě jen z absence výroku nemůže (a nesmí
odvodit), že výrok je nepravdivý.
Mnoho procedurálních programovacích jazyků a databází vytváří předpoklad uzavřeného světa. Například pokud typická databáze leteckých společností neobsahuje přidělení sedadla pro cestujícího, znamená to, že se cestující nezapsal. Předpoklad uzavřeného světa obvykle platí, když má systém úplnou kontrolu nad informacemi; to je případ mnoha databázových aplikací, kde databázový transakční systém funguje jako centrální zprostředkovatel a arbitr souběžných požadavků více nezávislých klientů (např. rezervačních agentů leteckých společností). Existuje však mnoho databází s neúplnými informacemi: nelze předpokládat, že kvůli tomu, že neexistuje žádná zmínka o pacientově anamnéze konkrétní alergie, pacient touto alergií netrpí.
Podle OWA nevyvození faktu neznamená
opak. Například předpokládejme, že víme pouze to, že Marie je občankou Francie. Z této informace nemůžeme vyvodit ani to, že Pavel není občanem Francie, ani to, že jím je. Proto připouštíme skutečnost, že naše znalosti světa jsou neúplné. Předpoklad otevřeného světa úzce souvisí s monotónní povahou logiky prvního řádu: přidávání nových informací nikdy nezfalšuje předchozí závěr. Konkrétně, pokud se následně dozvíme, že Pavel je také občanem Francie, nic to nemění na dřívějších pozitivních či negativních závěrech.
Jazyk logických programů se silnou negací nám umožňuje postulovat předpoklad uzavřeného světa pro některé predikáty a ostatní predikáty ponechat v oblasti předpokladu otevřeného světa.