Топ-100
Indietro

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




                                     

ⓘ Ipotesi del mondo aperto

In un sistema logico formale utilizzato per la rappresentazione della conoscenza, l ipotesi del mondo aperto è lipotesi secondo cui il valore di verità di una dichiarazione può essere positivo indipendentemente dal fatto che la dichiarazione sia un fatto conosciuto essere vero. È lopposta dellipotesi del mondo chiuso, in cui ogni dichiarazione è vera solo se è nota essere tale.

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

Ci si basa su tale ipotesi quando si ha a che fare con knowledge base di cui non si garantisce la completezza. La logica adottata è monotona ed è prevista lesistenza di più modelli che soddisfano gli assiomi dati, talvolta risultando poco intuitiva.

                                     

1. Proprietà

  • È un sistema particolarmente adatto per
  • Lipotesi di unicità del nome generalmente non è valida secondo lOWA, dato che - se non diversamente esplicitata - lassunzione per cui due nomi diversi si riferiscano ad entità diverse non è data per nota.
  • il riuso e lespansione da parte di vari soggetti difatti un approccio tipico è quello di sotto-specificare il sistema e lasciare agli utenti lonere di completare la rete di informazioni.
  • ambiti dove lincognita è parte integrante del percorso di conoscenza ad esempio il campo scientifico;
  • Nella costruzione del sistema, inizialmente "tutto è possibile", bisogna progressivamente ed esplicitamente dichiarare ciò che non lo è.
  • Un sistema basato su OWA può essere definito in modo esaustivo al punto da renderlo CWA, ovvero rendere valida anche lipotesi di mondo chiuso.
                                     

2. Utilizzo nei linguaggi

Lipotesi del mondo aperto è tipica dei linguaggi per il Web semantico, come OWL; al contrario, in generale la CWA è tipica dei modelli relazionali. Esistono, tuttavia, delle eccezioni. Ad esempio SQL, linguaggio relazionale, prevede lutilizzo del marcatore NULL, tollerando una sorta di incompletezza del database; oppure alcuni linguaggi di ontologie, come F-logic o Prolog, adottano la negation as failure, implicando ladozione dellipotesi del mondo chiuso.

                                     
  • di informatica. URL consultato il 29 marzo 2016 archiviato dall url originale il 22 dicembre 2014 Ipotesi del mondo aperto Negazione come fallimento
  • isn t the Same: An Analysis of Identity Links on the Semantic Web, in World Wide Web Consortium ERCIM. Ipotesi del mondo chiuso Ipotesi del mondo aperto
  • com. Ipotesi di reato, su Il mondo dei doppiatori, AntonioGenna.net. EN Ipotesi di reato, su Internet Movie Database, IMDb.com. EN Ipotesi di reato
  • Nella teoria delle stringhe, la teoria del mondo - brana o cosmologia di brana Brane Cosmology è una teoria cosmologica formulata nell ambito della M - teoria
  • vedi Coppa del Mondo di rugby femminile. Disambiguazione Se stai cercando l analoga competizione di rugby a 13, vedi Coppa del Mondo di rugby a 13
  • caso ancora aperto JFK è un film del 1991 diretto da Oliver Stone. Il film espone i fatti immediatamente precedenti all assassinio del Presidente degli
  • Chernyakhov Ipotesi della cultura di Milograd: I pre - protoslavi o baltoslavi erano i portatori della cultura di Milograd. Ipotesi della cultura Chernoles:
  • concetto di dato aperto non sia nuovo, al momento non si riscontra un accordo generale e condiviso su una definizione puntuale del termine, a differenza
  • emergendo modelli ibridi che combinano gli aspetti delle due ipotesi L ipotesi del mondo a RNA suggerisce che molecole relativamente corte di RNA, capaci
  • situato nel dipartimento del Passo di Calais nella regione dell Alta Francia. Il 12 ottobre 1492 per gli storici di tutto il mondo è la data in cui finisce