Az abduktív gondolkodás az elmúlt években nagy figyelmet kapott, köszönhetően a különböző tudományágakban való alkalmazásának, az ismeretelmélettől a nyelvészeten át a mesterséges intelligenciáig. Ez a könyv az abdukció néhány legnépszerűbb megközelítését mutatja be a klasszikus logikán belül, mind az állítmányi, mind a predikátumlogikán belül.
Tekintettel az abdukciónak a logikai programozásban való érdeklődésére, a könyv egy fejezetet szentel az abdukció automatikus következtetésben való alkalmazásának. Egy Prolog nyelven írt abduktív következtetőprogramot is mellékelünk.
A függelék tartalmazza a forráskódot, valamint egy rövid bevezetést a logikai programozásba. A könyvben számos példát találunk az egyes bemutatott rendszerekkel megoldott abduktív problémákra.
© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)
