Deklarativní logické programování: Teorie, systémy a aplikace

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 3 hlasů.

Původní název:

Declarative Logic Programming: Theory, Systems, and Applications

Obsah knihy:

Myšlenka této knihy vznikla na základě sympozia, které se konalo na Stony Brook v září 2012 na oslavu zásadního přínosu Davida S. Warrena pro informatiku a zejména pro oblast logického programování.

Logické programování (LP) stojí na pomezí reprezentace znalostí, umělé inteligence, matematické logiky, databází a programovacích jazyků. Je fascinující a intelektuálně podnětná díky zásadnímu propojení teorie, systémů a aplikací, které přináší logika. Logické programy jsou více deklarativní v tom smyslu, že se snaží být logickou specifikací toho, "co" se má udělat, spíše než toho, "jak" se to má udělat, a proto jsou vysokoúrovňové a snadněji pochopitelné a udržovatelné. Přesto, aniž by byl zadán skutečný algoritmus, systémy LP implementují logické specifikace automaticky.

Několik knih se zabývá základy LP, ale většinou se zaměřují na jazyk Prolog s jeho neúplnou řídicí strategií a nelogickými funkcemi. Současně obecně chybí přístupné a zároveň ucelené sbírky článků pokrývající klíčové aspekty v deklarativním LP. Mezi tyto aspekty patří mimo jiné dobře založená vs. stabilní sémantika modelu pro negaci, omezení, objektově orientovaný LP, aktualizace, pravděpodobnostní LP a metody vyhodnocování, včetně metody shora dolů vs. zdola nahoru a tabelování.

V oblasti systémů je situace ještě méně uspokojivá, protože chybí dostupná literatura, která by pomohla vyškolit nové vývojáře, praktiky a výzkumníky. Existuje několik příruček oWarrenově abstraktním stroji (WAM), který je základem většiny implementací Prologu, ale existuje jen velmi málo informací o tom, co je potřeba pro konstrukci nejmodernějšího deklarativního inferenčního stroje LP. Srovnejte to například s literaturou o překladačích, kde lze nejprve prostudovat knihu o obecných principech a algoritmech a pak se ponořit do podrobností konkrétního překladače. Takové zdroje výrazně usnadňují možnost začít rychle vytvářet smysluplné příspěvky. Chybí také články o systémech, které podporují skutečně deklarativní jazyky, zejména ty, které se vážou k logice prvního řádu, matematickému programování a řešení omezení.

LP pomáhá řešit náročné problémy v celé řadě aplikačních oblastí, ale chybí hloubková analýza jejich spojení s abstrakcemi jazyka LP a metodami implementace LP. Vzácné jsou také přehledy náročných aplikačních oblastí LP, jako je bioinformatika, zpracování přirozeného jazyka, verifikace a plánování.

Cílem této knihy je pomoci zaplnit již zmíněnou mezeru v literatuře o LP. Nabízí řadu přehledů o klíčových aspektech LP, které jsou vhodné pro výzkumné pracovníky a odborníky z praxe i pro postgraduální studenty. Obsahuje následující kapitoly z teorie, systémů a aplikací LP.