Presná definícia
Čo znamená predpoklad uzavretého sveta?
Predpoklad uzavretého sveta považuje tvrdenie, ktoré nemožno odvodiť z určenej databázy, za nepravdivé pre danú úlohu. Je vhodný tam, kde sa báza považuje za úplnú podľa schémy a času. Nejde o univerzálne tvrdenie o realite; hranice sveta a aktualizácie musia byť explicitné.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Inventár môže usúdiť, že položka nie je dostupná, ak ju úplný stav skladu neobsahuje. Systém najprv overí úspešnú synchronizáciu a čas snímky; pri neúplnom zdroji vráti neznámy stav. Pravidlá uzavretia sa uplatnia iba na vybrané predikáty.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje predpoklad uzavretého sveta?
Query alebo logický program interpretuje zlyhanie dôkazu ako negáciu vzhľadom na fixovaný súbor faktov.
Kedy má predpoklad uzavretého sveta praktický význam?
Inventár môže usúdiť, že položka nie je dostupná, ak ju úplný stav skladu neobsahuje.
S čím si pojem nezamieňať?
Open-world assumption ponechá chýbajúce tvrdenie neznáme; closed-world ho v definovanom rozsahu uzavrie ako false.
Ako sa výsledok kontroluje?
Testuje sa úplnosť zdroja, hranice predikátov, časová platnosť, negatívne dotazy a správanie pri výpadku ingestu.
Na čo si dať pozor?
Neúplný alebo oneskorený zdroj zmení neznáme na nesprávne nie a môže spôsobiť chybné automatické rozhodnutie.