Programmazione logica abduttiva: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
no stub |
Nessun oggetto della modifica |
||
Riga 7:
Ad esempio, un programma logico abduttivo potrebbe essere il seguente:
sintomo(
sintomo(
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.
| |||