title: Negazione come fallimento
text: # Negazione come fallimento
  
  La negazione come fallimento (nota anche come NaF, dall'inglese negation as failure, o negation by default) è una regola di inferenza non monotòna utilizzata nella programmazione logica per derivare $\mathrm {not} ~p$ dal fallimento nel derivare $~p$, dove $~p$ è un atomo che non si può dedurre automaticamente dal programma (poiché non è conseguenza logica dei fatti e delle regole contenute nel programma).
  
  Il concetto di negation as failure è stato introdotto da Keith L. Clark nell'omonimo articolo del 1978. Più in generale, questo tipo di negazione è nota come negazione debole (in inglese weak negation), in contrapposizione alla negazione forte, tipica della logica classica.
  
  ## Descrizione
  
  Questo metodo è la tipica implementazione in Prolog della closed-world assumption (CWA), secondo cui ogni atomo che non è conseguenza logica diretta del programma è considerato falso. Quest'ultima, in generale, non può essere implementata alla lettera, poiché la deduzione logica di un atomo a partire da un qualsiasi programma dato è un problema non risolvibile in tempo finito.
  
  Ad esempio, data la seguente base di conoscenza:
  
      $KB:=\{Cane(pluto),Cane(lassie),Cane(rex),Gatto(silvestro)\}$
  
  in teoria, è impossibile valutare a priori la dichiarazione $\neg Cane(silvestro)$, poiché è impossibile dire a priori se $Cane(silvestro)$ è derivabile (quindi vero) o non derivabile (quindi falso, per la CWA) dalle altre asserzioni.
  
  Per questo motivo, nei linguaggi di programmazione logica sono stati implementati modelli più limitati della CWA ma che garantiscono la terminazione del programma e la correttezza della risposta. La negation as failure, infatti, per verificare $\mathrm {not} ~p$ (ovvero, per verificare che $~p$ non è derivabile) utilizza la risoluzione SLD esaminando soltanto i cosiddetti alberi di fallimento finito con radice $~p$. Per questo motivo, la regola è detta più propriamente negazione come fallimento finito.
  
  ## Prolog
  
  Ad esempio, dato il seguente programma Prolog:
  
  per rispondere alla domanda ?- not nonno(a,b)., dovrà espandere l'albero con radice nonno(a,b), da cui segue padre(a,X), genitore(X,b) e poi, indeterministicamente, padre(X,b) e madre(X,b). Entrambi i rami dell'albero falliscono: il primo perché non esiste alcuna X che soddisfi contemporaneamente padre(a,X) e padre(X,b); il secondo perché madre(X,b) non ha alcun riferimento nell'extensional database.
  
  Segue che nonno(a,b) risulta falso e la risposta a
  
  sarà
  
  