Razonamieto abductivo en lgica clsica

Contenuto del libro:

Il ragionamento abduttivo ha ricevuto una grande attenzione negli ultimi anni grazie alle sue applicazioni in varie discipline, dall'epistemologia alla linguistica all'intelligenza artificiale. Questo libro presenta alcuni degli approcci più popolari all'abduzione nell'ambito della logica classica, sia proposizionale che dei predicati.

Dato l'interesse dell'abduzione nella programmazione logica, il libro include un capitolo dedicato alle applicazioni dell'abduzione nel ragionamento automatico. Viene inoltre fornito un ragionatore abduttivo scritto in Prolog.

Le appendici contengono il codice sorgente e una breve introduzione alla programmazione logica. Nel libro sono inclusi numerosi esempi di problemi abduttivi risolti con ciascuno dei sistemi presentati.