succ  prec  indice 

CIGOL

Sviluppato da Muggleton e Buntime nel 1988.
Costituisce forse l'esempio piu' rilevante di applicazione dei medodi di  risoluzione inversa  (il nome deriva dalla inversione della parola "LOGIC" ), e presenta un approccio  interattivo , guidato dall'utente.
Per ogni esempio positivi non implicato dalla  conoscenza di fondo , il sistema ricerca una clausola, che unita alla teoria renda l'esempio deducibile. La clausola aggiunta, ottenuta applicando il metodo di risoluzione inversa, deve rispattare la consistenza della teoria rispetto a tutti gli esempi negativi del concetto da apprendere.
Utilizzando l' operatore-W , e' possibile introdurre nuovi predicati non presenti nlla teoria.
La ricerca nello spazio delle ipotesi e' guidata da un'euristica basata sulla valutazione  della  compressione che l'introduzione di un nuovo predicato puo' indurre nella descrizione del problema in esame.
Questa euristica viene comunque integrata dal giudizio dell'utente, che puo' indirizzare la ricerca verso direzioni piu' promettenti.
 succ  prec  indice