Assunzione del mondo chiuso
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]
Proprietà
modifica- Ciò che non viene inizialmente definito è considerato come non esistente, di conseguenza qualunque asserzione che a ciò si riferisca è considerata falsa.
- È particolarmente adatto per sistemi:
- che naturalmente rispecchiano una configurazione in cui ogni elemento è noto[7]
- in cui è utile contare o verificare la completezza delle informazioni con semplicità
- L'assunzione di unicità del nome è generalmente assunta come vera nei sistemi CWA, dato che ciò che abbia un nome diverso da quanto specificato è considerato non esistente e ciò che a questi si riferisca è considerato falso.
Utilizzo nei linguaggi
modificaIn generale, l'assunzione del mondo chiuso è tipica dei modelli relazionali, mentre sulla OWA si basano gran parte dei linguaggi per il Web semantico, come OWL.[6] Esistono, tuttavia, delle eccezioni. Ad esempio SQL, linguaggio relazionale, che prevede l'utilizzo del marcatore NULL, tollerando una sorta di incompletezza del database;[8] oppure alcuni linguaggi di ontologie, come F-logic o Prolog, che implementano la negation as failure.[6]
Formalizzazione
modificaLa prima formalizzazione proposta dell'assunzione del mondo chiuso consiste nell'aggiungere alla base di conoscenza la negazione dei letterali che non sono attualmente implicati dalla stessa. Il risultato di tale addizione è sempre coerente se il KB è in forma di Horn, altrimenti la sua consistenza non è garantita.
Per esempio, la base di conoscenza
non implica né né .
Aggiungendo la negazione dei due letterali, il nuovo KB diventa:
- ,
che non è coerente.
L'assunzione del mondo chiuso non introduce un'incoerenza nella base di conoscenza KB se e solo se l'intersezione di tutti i modelli di Herbrand di KB è anche un modello di KB; in logica proposizionale, ciò equivale a dire che la base di conoscenza ammette un modello minimale.
Note
modifica- ^ Cellucci, 2002.
- ^ Claudio Pizzi, non monotonicità, in Enciclopedia della scienza e della tecnica, Roma, Istituto dell'Enciclopedia Italiana, 2008.
- ^ Russel-Norvig, p. 482.
- ^ Furlan-Lanzarone, p. 214.
- ^ Reiter, 1978.
- ^ 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).
- ^ Nick Drummond, Rob Shearer, The Open World Assumption (PDF), su cs.man.ac.uk, The University of Manchester, 2006.
- ^ (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- (EN) Raymond Reiter, On Closed World Data Bases, in Hervé Gallaire e Jack Minker (a cura di), Logic and Data Bases, Plenum Press, 1978, pp. 119–140, ISBN 978-0-306-40060-5. URL consultato il 21 febbraio 2013.
- Carlo Cellucci, Filosofia e matematica, 1ª edizione, Roma, Editori Laterza, 2002, ISBN 88-420-6766-0.
- Stuart Russel, Peter Norvig, Intelligenza artificiale - Un approccio moderno, vol. 1, 2ª ed., Milano, Pearson Education Italia, 2005, ISBN 88-7192-228-X.
- F. Furlan, G.A. Lanzarone, PROLOG - Linguaggio e metodologia di programmazione logica (PDF), Università degli Studi di Milano - Dipartimento di informatica. URL consultato il 29 marzo 2016 (archiviato dall'url originale il 22 dicembre 2014).
