Ponti dalla logica classica alla logica non monotonica

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Bridges from Classical to Nonmonotonic Logic

Contenuto del libro:

Immaginate un robot che cerca di valutare una situazione difficile e di trovare un modo per reagire. I suoi sensori ricevono flussi di informazioni da cui cerca di trarre giudizi.

Se si affida alla sola deduzione, non andrà lontano, per quanto veloci siano i suoi motori di inferenza; infatti, anche le informazioni più massicce sono in genere incomplete: ci sono questioni rilevanti che non risolvono in un senso o nell'altro. Il robot, o l'agente umano che sia, deve andare oltre questi limiti. Deve andare oltre la logica classica, deducendo più di quanto la logica classica possa autorizzare.

Ma tali inferenze sono intrinsecamente incerte. Sono anche non monotone, nel senso che l'acquisizione di ulteriori informazioni, anche se coerenti con le informazioni esistenti, può portarci ad abbandonare o ad aggiungere conclusioni. La logica non monotonica è lo studio di questi ragionamenti ed è stata oggetto di un'intensa attività di ricerca per più di due decenni.

Ma per il nuovo arrivato è ancora una questione sconcertante, priva di unità con molti sistemi che vanno in direzioni diverse. Lo scopo di questo libro è di togliere il mistero dall'argomento, fornendo un quadro generale chiaro di ciò che sta accadendo. Rende le idee essenziali e i principali approcci alla logica non monotonica accessibili, e significativi, a chiunque abbia alcuni strumenti di base della matematica discreta e un minimo background nella logica proposizionale classica.

È scritto come un libro di testo, con spiegazioni dettagliate, esempi, commenti, esercizi e risposte. Sia gli studenti che gli insegnanti troveranno una guida preziosa.