Completeness (knowledge bases)

rdf:langString Completezza (rappresentazione della conoscenza)

rdf:langString Nell'ambito della rappresentazione della conoscenza, una base di conoscenza si dice completa se non esiste alcuna formula tale che . Un esempio di knowledge base con conoscenza incompleta può essere per cui abbiamo che non implica né né . Dato un KB coerente, per renderlo completo si può assumere la cosiddetta ipotesi del mondo chiuso, che consiste nel considerare falsi tutti i letterali non implicati dalla base di conoscenza. Nell'esempio sopra, tuttavia, questo non funzionerebbe, in quanto renderebbe la base di conoscenza incoerente. Infatti, per non esiste alcun modello. Data, invece, la base di conoscenza: e sfruttando l'ipotesi del mondo chiuso, si ha che , per cui, oltre ad essere completo, è anche coerente.