Deklaratívne logické programovanie: Teória, systémy a aplikácie

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 3 hlasoch.

Pôvodný názov:

Declarative Logic Programming: Theory, Systems, and Applications

Obsah knihy:

Myšlienka tejto knihy vznikla na základe sympózia, ktoré sa konalo na Stony Brook v septembri 2012 na oslavu zásadného prínosu Davida S. Warrena do informatiky a najmä do oblasti logického programovania.

Logické programovanie (LP) je na rozhraní reprezentácie znalostí, umelej inteligencie, matematickej logiky, databáz a programovacích jazykov. Je fascinujúca a intelektuálne podnetná vďaka základnému prepojeniu teórie, systémov a aplikácií, ktoré prináša logika. Logické programy sú deklaratívnejšie v tom zmysle, že sa snažia byť skôr logickými špecifikáciami toho, "čo" robiť, než "ako" to robiť, a preto sú vysokoúrovňové a ľahšie sa chápu a udržiavajú. Napriek tomu bez toho, aby bol zadaný skutočný algoritmus, systémy LP implementujú logické špecifikácie automaticky.

Niekoľko kníh sa zaoberá základmi LP, ale väčšinou sa zameriavajú na jazyk Prolog s jeho neúplnou stratégiou riadenia a nelogickými vlastnosťami. Zároveň vo všeobecnosti chýbajú prístupné a zároveň ucelené zbierky článkov, ktoré by pokrývali kľúčové aspekty v deklaratívnom LP. Medzi tieto aspekty patrí okrem iného dobre založená vs. stabilná sémantika modelu pre negáciu, obmedzenia, objektovo orientovaný LP, aktualizácie, pravdepodobnostný LP a metódy vyhodnocovania vrátane metód zhora nadol vs. zdola nahor a tabulácie.

V oblasti systémov je situácia ešte menej uspokojivá, pretože chýba dostupná literatúra, ktorá by pomohla pri vzdelávaní nových vývojárov, odborníkov z praxe a výskumníkov. Existuje niekoľko príručiek oWarrenovom abstraktnom stroji (WAM), ktorý je základom väčšiny implementácií Prologu, ale existuje len veľmi málo príručiek o tom, čo je potrebné na konštrukciu najmodernejšieho deklaratívneho inferenčného mechanizmu LP. Porovnajte to s literatúrou napríklad o kompilátoroch, kde si môžete najprv preštudovať knihu o všeobecných princípoch a algoritmoch a potom sa ponoriť do detailov konkrétneho kompilátora. Takéto zdroje výrazne uľahčujú možnosť začať rýchlo vytvárať zmysluplné príspevky. Chýbajú aj články o systémoch, ktoré podporujú skutočne deklaratívne jazyky, najmä tie, ktoré sa viažu na logiku prvého rádu, matematické programovanie a riešenie obmedzení.

LP pomáha riešiť náročné problémy v širokom spektre aplikačných oblastí, ale chýba hĺbková analýza ich prepojenia s abstrakciami jazyka LP a metódami implementácie LP. Zriedkavé sú aj prehľady náročných aplikačných oblastí LP, ako sú bioinformatika, spracovanie prirodzeného jazyka, verifikácia a plánovanie.

Cieľom tejto knihy je pomôcť vyplniť už spomínanú medzeru v literatúre o LP. Ponúka množstvo prehľadov o kľúčových aspektoch LP, ktoré sú vhodné pre výskumníkov a odborníkov z praxe, ako aj pre študentov vysokých škôl. Obsahuje nasledujúce kapitoly z teórie, systémov a aplikácií LP.