Deklaratywne programowanie logiczne: Teoria, systemy i zastosowania

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 3 głosach.

Oryginalny tytuł:

Declarative Logic Programming: Theory, Systems, and Applications

Zawartość książki:

Idea tej książki wyrosła z sympozjum, które odbyło się w Stony Brook we wrześniu 2012 roku w celu uczczenia fundamentalnego wkładu Davida S. Warrena w informatykę, a w szczególności w dziedzinę programowania logicznego.

Programowanie logiczne (LP) znajduje się na styku reprezentacji wiedzy, sztucznej inteligencji, logiki matematycznej, baz danych i języków programowania. Jest fascynujące i stymulujące intelektualnie ze względu na fundamentalną interakcję między teorią, systemami i aplikacjami wywołanymi przez logikę. Programy logiczne są bardziej deklaratywne w tym sensie, że starają się być logicznymi specyfikacjami "co" zrobić, a nie "jak" to zrobić, a zatem są wysokopoziomowe i łatwiejsze do zrozumienia i utrzymania. Jednak bez podania rzeczywistego algorytmu, systemy LP automatycznie implementują specyfikacje logiczne.

Kilka książek obejmuje podstawy LP, ale koncentruje się głównie na języku Prolog z jego niekompletną strategią kontroli i funkcjami nielogicznymi. Jednocześnie ogólnie brakuje przystępnych, ale kompleksowych zbiorów artykułów obejmujących kluczowe aspekty deklaratywnego LP. Aspekty te obejmują, między innymi, dobrze ugruntowaną vs. stabilną semantykę modelu dla negacji, ograniczenia, obiektowy LP, aktualizacje, probabilistyczny LP i metody oceny, w tym top-down vs. bottom-up i tabling.

W przypadku systemów sytuacja jest jeszcze mniej zadowalająca, ponieważ brakuje dostępnej literatury, która mogłaby pomóc w szkoleniu nowych deweloperów, praktyków i badaczy. Istnieje kilka przewodników na temat Warren's Abstract Machine (WAM), która leży u podstaw większości implementacji Prologu, ale bardzo niewiele istnieje na temat tego, co jest potrzebne do skonstruowania najnowocześniejszego deklaratywnego silnika wnioskowania LP. Porównajmy to z literaturą na temat, powiedzmy, kompilatorów, gdzie można najpierw przestudiować książkę na temat ogólnych zasad i algorytmów, a następnie zagłębić się w szczegóły konkretnego kompilatora. Takie zasoby znacznie ułatwiają szybkie rozpoczęcie wnoszenia znaczącego wkładu. Brakuje również artykułów na temat systemów, które wspierają prawdziwie deklaratywne języki, zwłaszcza te, które wiążą się z logiką pierwszego rzędu, programowaniem matematycznym i rozwiązywaniem ograniczeń.

LP pomaga rozwiązywać trudne problemy w szerokim zakresie zastosowań, ale brakuje dogłębnej analizy ich powiązań z abstrakcjami języka LP i metodami implementacji LP. Rzadko spotyka się również przeglądy trudnych obszarów zastosowań LP, takich jak bioinformatyka, przetwarzanie języka naturalnego, weryfikacja i planowanie.

Celem tej książki jest pomoc w wypełnieniu wcześniej wspomnianej pustki w literaturze LP. Oferuje ona szereg przeglądów kluczowych aspektów LP, które są odpowiednie dla badaczy i praktyków, a także studentów. Książka zawiera następujące rozdziały dotyczące teorii, systemów i zastosowań LP.