Hidak a klasszikus logikától a nem monoton logikáig

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Bridges from Classical to Nonmonotonic Logic

Könyv tartalma:

Képzeljünk el egy robotot, aki megpróbál felmérni egy nehéz helyzetet, hogy megtalálja a válaszadás módját. Az érzékelői információáradatot kapnak, amelyből megpróbál ítéleteket alkotni.

Ha csak a következtetésre hagyatkozik, nem jut messzire, bármilyen gyorsak is legyenek a következtetőmotorjai; ugyanis még a legtömegesebb információ is jellemzően hiányos: vannak olyan releváns kérdések, amelyeket nem old meg így vagy úgy. A robotnak, vagy ha már itt tartunk, az emberi ágensnek túl kell lépnie ezeken a korlátokon. Szupraklasszikusnak kell lennie, azaz többet kell következtetnie, mint amennyit a klasszikus logika megenged.

Az ilyen következtetések azonban eleve bizonytalanok. Nem monotonak is, abban az értelemben, hogy a további információk megszerzése, még ha azok összhangban is vannak a meglévő állományokkal, a következtetések elhagyásához és új következtetésekhez is vezethet. A nemmonoton logika az ilyen következtetések tanulmányozása, és több mint két évtizede intenzív kutatás tárgya.

Az újonnan érkezett számára azonban még mindig zavarba ejtő ügy, hiányzik belőle az egységesség, mivel sok rendszer különböző irányba halad. Ennek a könyvnek az a célja, hogy megszabadítsa a témát a titokzatosságtól, és világos összképet adjon arról, hogy miről is van szó. A nemmonoton logika alapvető gondolatait és főbb megközelítéseit bárki számára hozzáférhetővé és értelmezhetővé teszi, aki rendelkezik a diszkrét matematika néhány alapvető eszközével és minimális háttérrel a klasszikus mondattani logikában.

A könyv tankönyvként íródott, részletes magyarázatokkal, példákkal, megjegyzésekkel, feladatokkal és válaszokkal. Diákok és oktatók egyaránt felbecsülhetetlen értékű útmutatót találnak benne.