Punți de la logica clasică la logica nonmonotonă

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Bridges from Classical to Nonmonotonic Logic

Conținutul cărții:

Imaginați-vă un robot care încearcă să evalueze o situație dificilă, pentru a găsi o modalitate de a răspunde. Senzorii săi primesc fluxuri de informații din care încearcă să formuleze judecăți.

Dacă se bazează doar pe deducție, nu va ajunge prea departe, indiferent cât de rapide sunt motoarele sale de inferență; deoarece chiar și cele mai masive informații sunt încă incomplete: există aspecte relevante pe care nu le rezolvă într-un fel sau altul. Robotul, sau agentul uman de altfel, trebuie să depășească aceste limite. Trebuie să meargă "supraclasic", deducând mai mult decât este autorizat doar de logica clasică.

Dar astfel de deducții sunt inerent incerte. Ele sunt, de asemenea, nonmonotonice, în sensul că dobândirea de informații suplimentare, chiar și atunci când acestea sunt în concordanță cu cele existente, ne poate conduce la concluzii abuzive, precum și la concluzii suplimentare. Logica nonmonotonă este studiul unor astfel de raționamente și a făcut obiectul unor cercetări intense timp de peste două decenii.

Dar pentru noul venit este încă o chestiune deconcertantă, lipsită de unitate, cu multe sisteme care merg în direcții diferite. Scopul acestei cărți este de a elimina misterul din acest subiect, oferind o imagine de ansamblu clară a ceea ce se întâmplă. Ea face ca ideile esențiale și principalele abordări ale logicii nonmonotonice să fie accesibile, și semnificative, oricărei persoane care dispune de câteva instrumente de bază ale matematicii discrete și de o pregătire minimă în logica propozițională clasică.

Acesta este scris ca un manual, cu explicații detaliate, exemple, comentarii, exerciții și răspunsuri. Atât studenții, cât și instructorii îl vor considera un ghid neprețuit.