OKPEDIA LOGICA

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.

https://www.okpedia.it/temp/assunzione_di_mondo_chiuso


Segnala un errore o invia un suggerimento per migliorare la pagina


Logica


FacebookTwitterLinkedinLinkedin