Топ-100
Indietro

ⓘ Ipotesi del mondo chiuso. In un sistema logico formale utilizzato per la rappresentazione della conoscenza, l ipotesi del mondo chiuso è lipotesi secondo cui og ..




                                     

ⓘ Ipotesi del mondo chiuso

In un sistema logico formale utilizzato per la rappresentazione della conoscenza, l ipotesi del mondo chiuso è lipotesi secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa. Fu proposta dallinformatico e logico canadese Raymond Reiter nel 1978. È lopposta dellipotesi del mondo aperto, in cui la mancanza di conoscenza non implica la falsità.

Ad esempio, data una base di conoscenza consistente nellunica informazione "Il cane è un animale ", alla domanda "Il gatto è un animale?" un sistema CWA risponderebbe "No", mentre un sistema OWA risponderebbe "Non so".

Correlata alipotesi del mondo chiuso è la negazione come fallimento negation as failure, regola meno potente ma ideata per essere verificata in tempo finito.

Ladozione di tale ipotesi rende il knowledge base completo. La logica utilizzata è non-monotona, ovvero linsieme delle conclusioni derivabili sulla base di un KB dato non incrementa al più si restringe allaumentare della dimensione del KB stesso.

                                     

1. Proprietà

  • È particolarmente adatto per sistemi
  • in cui è utile contare o verificare la completezza delle informazioni con semplicità
  • Ciò che non viene inizialmente definito è considerato come non esistente, di conseguenza qualunque asserzione che a ciò si riferisca è considerata falsa.
  • che naturalmente rispecchiano una configurazione in cui ogni elemento è noto
  • Lipotesi 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.
                                     

2. Utilizzo nei linguaggi

In generale, lipotesi del mondo chiuso è tipica dei modelli relazionali, mentre sulla OWA si basano gran parte dei linguaggi per il Web semantico, come OWL. Esistono, tuttavia, delle eccezioni. Ad esempio SQL, linguaggio relazionale, che prevede lutilizzo del marcatore NULL, tollerando una sorta di incompletezza del database; oppure alcuni linguaggi di ontologie, come F-logic o Prolog, che implementano la negation as failure.

                                     

3. Formalizzazione

La prima formalizzazione proposta dellipotesi del mondo chiuso consiste nellaggiungere 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

K B:= { I n g l e s e F r e d ∨ I r l a n d e s e F r e d } {\displaystyle KB:=\{IngleseFred\vee IrlandeseFred\}}

non implica né I n g l e s e F r e d {\displaystyle IngleseFred} né I r l a n d e s e F r e d {\displaystyle IrlandeseFred}.

Aggiungendo la negazione dei due letterali, il nuovo KB diventa:

K B:= { I n g l e s e F r e d ∨ I r l a n d e s e F r e d, ¬ I n g l e s e F r e d, ¬ I r l a n d e s e F r e d } {\displaystyle KB:=\{IngleseFred\vee IrlandeseFred,\neg IngleseFred,\neg IrlandeseFred\}},

che non è coerente.

Lipotesi del mondo chiuso non introduce unincoerenza nella base di conoscenza KB se e solo se lintersezione 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.



                                     
  • URL consultato il 29 marzo 2016 archiviato dall url originale il 22 dicembre 2014 Ipotesi del mondo chiuso Ipotesi di unicità del nome Web semantico
  • conoscenza, l ipotesi di unicità del nome è conseguenza dell Ipotesi del mondo chiuso mentre è non è generalmente valida secondo l Ipotesi del mondo aperto
  • coerente, per renderlo completo si può assumere la cosiddetta ipotesi del mondo chiuso che consiste nel considerare falsi tutti i letterali non implicati
  • Nella teoria delle stringhe, la teoria del mondo - brana o cosmologia di brana Brane Cosmology è una teoria cosmologica formulata nell ambito della M - teoria
  • emergendo modelli ibridi che combinano gli aspetti delle due ipotesi L ipotesi del mondo a RNA suggerisce che molecole relativamente corte di RNA, capaci
  • La Coppa del Mondo di cricket 2003 fu l ottava edizione del torneo mondiale di cricket. Fu disputata dal 9 febbraio al 23 marzo 2003 e fu organizzata dal
  • artificiale - Un approccio moderno, vol. 1, 2ª ed., Milano, Pearson Education Italia, 2005, ISBN 88 - 7192 - 228 - X. Regola di inferenza Ipotesi del mondo chiuso
  • campionato mondiale di calcio 1954 o Coppa del mondo Jules Rimet del 1954 è stata la quinta edizione del campionato mondiale di calcio per squadre nazionali
  • aperto o chiuso si riferiscono generalmente alla sua curvatura, negativa o positiva rispettivamente. Questi concetti di aperto e chiuso assieme al
  • guardare lo scrigno chiuso dall esterno della cappella attraverso una grata, o una volta all anno quando veniva portato, sempre chiuso in processione. Marinelli
  • linea ferroviaria Chiusa - Plan Val Gardena. Uno di essi è citato in I Treni Oggi, n. 57, gennaio 1986, p. 9. Notizia su Mondo Ferroviario, n. 172