Assunzione di mondo chiuso
L'assunzione del mondo chiuso è una regola per gestire i fatti sconosciuti in un sistema logico. Se un atomo A non è conseguenza logica di altri atomi della base di conoscenza, allora si inferisce falso ( ¬A ). In base a questa assunzione ogni cosa che esiste è compresa nella base di conoscenza o può essere derivata da essa. Tutto ciò che non esiste nella base di conoscenza e non può essere derivata da essa, è considerato falso ( negazione ). L'assunzione del mondo chiuso si contrappone all'assunzione del mondo aperto dove, al contrario, tutto ciò che non esiste nella base di conoscenza non è considerato né vero, né falso.