Deklaratív logikai programozás: Elmélet, rendszerek és alkalmazások

Olvasói vélemények

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

Eredeti címe:

Declarative Logic Programming: Theory, Systems, and Applications

Könyv tartalma:

A könyv ötlete egy szimpóziumon született, amelyet 2012 szeptemberében tartottak a Stony Brookon, hogy megünnepeljék David S. Warren alapvető hozzájárulását a számítástechnikához és különösen a logikai programozás területéhez.

A logikai programozás (LP) a tudásreprezentáció, a mesterséges intelligencia, a matematikai logika, az adatbázisok és a programozási nyelvek kapcsolódási pontja. Az elmélet, a rendszerek és az alkalmazások közötti, a logika által létrehozott alapvető kölcsönhatás miatt lenyűgöző és intellektuálisan ösztönző. A logikai programok deklaratívabbak abban az értelemben, hogy inkább arra törekszenek, hogy logikai specifikációi legyenek annak, hogy "mit" kell tenni, mint arra, hogy "hogyan" kell tenni, és így magas szintűek, könnyebben érthetők és karbantarthatók. Mégis, anélkül, hogy tényleges algoritmust kapnánk, az LP-rendszerek automatikusan végrehajtják a logikai specifikációkat.

Számos könyv foglalkozik az LP alapjaival, de többnyire a Prolog nyelvre koncentrálnak, annak hiányos vezérlési stratégiájával és nem logikai jellemzőivel. Ugyanakkor általában hiányoznak a deklaratív LP kulcsfontosságú aspektusait tárgyaló, hozzáférhető, de átfogó cikkgyűjtemények. Ezek a szempontok többek között a következők: jól megalapozott vs. stabil modell szemantika a tagadásra, a korlátozások, az objektumorientált LP, a frissítések, a valószínűségi LP, valamint az értékelési módszerek, beleértve a felülről lefelé vs. alulról felfelé történő kiértékelést és a tabulálást.

A rendszerek esetében a helyzet még kevésbé kielégítő, hiányzik a hozzáférhető szakirodalom, amely segíthetne a fejlesztők, gyakorlati szakemberek és kutatók új generációjának képzésében. Van néhány útmutató a Warren absztrakt gépéről (WAM), amely a Prolog legtöbb implementációjának alapjául szolgál, de nagyon kevés van arról, hogy mi szükséges egy korszerű deklaratív LP következtető motor megalkotásához. Ezzel szemben áll, mondjuk, a fordítókról szóló szakirodalom, ahol először tanulmányozhatunk egy könyvet az általános elvekről és algoritmusokról, majd belemerülhetünk egy konkrét fordítóprogram részleteibe. Az ilyen források nagyban megkönnyítik, hogy gyorsan elkezdhessünk értelmes hozzájárulásokat tenni. Hiányoznak a valóban deklaratív nyelveket támogató rendszerekről szóló cikkek is, különösen azokról, amelyek az elsőrendű logikához, a matematikai programozáshoz és a korlátok megoldásához kapcsolódnak.

Az LP az alkalmazási területek széles skáláján segít megoldani a kihívást jelentő problémákat, de hiányzik ezek LP nyelvi absztrakciókkal és LP implementációs módszerekkel való kapcsolatának mélyreható elemzése. Szintén ritkák az LP olyan kihívást jelentő alkalmazási területeinek felmérései, mint a bioinformatika, a természetes nyelvfeldolgozás, a verifikáció és a tervezés.

A könyv célja, hogy segítsen betölteni az LP-irodalomban korábban említett űrt. Számos áttekintést nyújt az LP kulcsfontosságú aspektusairól, amelyek alkalmasak kutatók és gyakorlati szakemberek, valamint végzős hallgatók számára. A következő fejezetek az LP elméletét, rendszereit és alkalmazásait tárgyalják.