Programmazione logica abduttiva: differenze tra le versioni

Versione delle 17:23, 30 giu 2008

Versione delle 14:24, 10 lug 2012

Riga 7:

Ad esempio, un programma logico abduttivo potrebbe essere il seguente:

sintomo(mal di testa):- influenza.

sintomo(mal di testa):- tumore.

che indica che due possibili cause del mal di testa sono il tumore e l'influenza. Chiaramente sarebbe possibile abdurre qualsiasi cosa; per questo spesso si aggiungono i vincoli di integrità, che servono a limitare le possibili combinazioni di abducibili che vengono ipotizzati.

Riga 24:

* [http://lia.deis.unibo.it/research/sciff/ SCIFF]

[[categoriaCategoria:intelligenzaIntelligenza artificiale]]

[[categoria:intelligenza artificiale]]