Assunzione del mondo aperto

ipotesi secondo cui la verità di un'affermazione è indipendente dal fatto che la sua effettiva veridicità sia o meno nota
(Reindirizzamento da Assunzione di mondo aperto)

In un sistema logico formale utilizzato per la rappresentazione della conoscenza, l'assunzione del mondo aperto[1] (dall'inglese open-world assumption, o OWA, talvolta tradotta come ipotesi del mondo aperto[2][3]), è l'assunzione secondo cui il valore di verità di una dichiarazione può essere positivo indipendentemente dal fatto che la dichiarazione sia un fatto conosciuto essere vero. È l'opposta dell'assunzione del mondo chiuso (CWA), in cui ogni dichiarazione è vera solo se è nota essere tale.

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".

Ci si basa su tale ipotesi quando si ha a che fare con una base di conoscenza (knowledge base) di cui non si garantisce la completezza.[4] La logica adottata è monotòna ed è prevista l'esistenza di più modelli che soddisfano gli assiomi dati, il che conferisce maggior potenza inferenziale, pur risultando talvolta poco intuitiva.[4]

Proprietà

modifica
  • Nella costruzione del sistema, inizialmente "tutto è possibile". Bisogna progressivamente ed esplicitamente dichiarare ciò che non lo è.[5]
  • L'assunzione di unicità del nome generalmente non è valida secondo l'OWA, dato che - se non diversamente esplicitata - l'assunzione per cui due nomi diversi si riferiscano a entità diverse non è data per nota (sono ammessi sinonimi per indicare lo stesso oggetto mentre uno stesso nome può riferirsi a oggetti differenti. L'asserzione di identità deve essere stabilita in modo esplicito).[6]
  • È un sistema particolarmente adatto per:[5]
    • ambiti dove l'incognita è parte integrante del percorso di conoscenza (ad esempio il campo scientifico);
    • il riuso e l'espansione da parte di vari soggetti (difatti un approccio tipico è quello di sotto-specificare il sistema e lasciare agli utenti l'onere di completare la rete di informazioni).
  • Un sistema basato su OWA può essere definito in modo esaustivo al punto da renderlo CWA, ovvero rendere valida anche l'assunzione di mondo chiuso.[5]

Utilizzo nei linguaggi

modifica

L'assunzione del mondo aperto è tipica dei linguaggi per il Web semantico, come OWL; al contrario, in generale la CWA è tipica dei modelli relazionali.[4] Esistono, tuttavia, delle eccezioni. Un esempio è SQL, linguaggio relazionale, prevede l'utilizzo del marcatore NULL, tollerando una sorta di incompletezza del database;[7] oppure alcuni linguaggi di ontologie, come F-logic o Prolog, adottano la negation as failure, che implica l'adozione dell'assunzione del mondo chiuso.[4]

  1. ^ Cellucci, 2002.
  2. ^ Russel-Norvig, p. 482.
  3. ^ Furlan-Lanzarone, p. 214.
  4. ^ a b c d (EN) Michael K. Bergman, The Open World Assumption: Elephant in the Room, su mkbergman.com, 21 dicembre 2009. URL consultato il 29 marzo 2016 (archiviato dall'url originale il 13 marzo 2016).
  5. ^ a b c Nick Drummond, Rob Shearer, The Open World Assumption (PDF), su cs.man.ac.uk, The University of Manchester, 2006.
  6. ^ (EN) Introduction to: Open World Assumption vs Closed World Assumption - DATAVERSITY, in DATAVERSITY, 30 novembre 2012. URL consultato il 15 agosto 2018.
  7. ^ (EN) Chris Date, Database in Depth: Relational Theory for Practitioners, O'Reilly Media, Inc., maggio 2005, p. 73, ISBN 0-596-10012-4.

Bibliografia

modifica

Voci correlate

modifica