Assunzione del mondo chiuso
ipotesi secondo cui ogni affermazione la cui verità non è nota è considerata falsa / Da Wikipedia, l'enciclopedia encyclopedia
Caro Wikiwand AI, Facciamo breve rispondendo semplicemente a queste domande chiave:
Puoi elencare i principali fatti e statistiche su Ipotesi del mondo chiuso?
Riassumi questo articolo per un bambino di 10 anni
In un sistema logico formale utilizzato per la rappresentazione della conoscenza, l'assunzione del mondo chiuso[1][2] (dall'inglese closed-world assumption, o CWA, talvolta tradotta come ipotesi del mondo chiuso[3][4]) è l'assunzione secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa. Fu proposta dall'informatico e logico canadese Raymond Reiter nel 1978.[5] È l'opposta dell'assunzione del mondo aperto, in cui la mancanza di conoscenza non implica la falsità.
Ad esempio, data una base di conoscenza consistente nell'unica informazione "Il cane è un animale", alla domanda "Il gatto è un animale?" un sistema CWA risponderebbe "No", mentre un sistema OWA risponderebbe "Non so".
Correlata all'assunzione del mondo chiuso è la negazione come fallimento (negation as failure), regola meno potente ma ideata per essere verificata in tempo finito.
L'adozione di tale ipotesi rende il knowledge base completo.[6] La logica utilizzata è non-monotona, ovvero l'insieme delle conclusioni derivabili sulla base di un KB dato non incrementa (al più si restringe) all'aumentare della dimensione del KB stesso.[6]