Předmět Logické programování I (NAIL076)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu NAIL076 - Logické programování I, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Naučit teorii a techniky používané v logickém programování
Sylabus
Úvod. Hornova logika jako fragment predikátové logiky I. řádu, syntaktický popis Hornových klausulí a logických programů.Substituce a unifikace. Unifikační substituce a unifikační algoritmus. Idempotentní a relevantní substituce.Výpočetní proces, SLD-resoluce. Resoluční krok, SLD-derivace a jejich vlastnosti, lemma o variantách. Resoluční zamítnutí, SLD-stromy.Úplnost SLD-resoluce. Substituční lemma, množina úspěchů logického programu, její vztah k nejmenšímu Herbrandovu modelu. Věta o úplnosti SLD-resoluce.Odpovědní substituce. Korektní odpovědní substituce, silná úplnost SLD-resoluce, charakterisace množiny úspěchů logického programu.Sémantika logických programů. Korektnost SLD-resoluce, Herbrandovy modely logických programů, operátor bezprostředního důsledku, operátory a pevné body. Nejmenší Herbrandův model a jeho charakterizace.
Literatura
Krzysztof R. Apt: From Logic Programming to Prolog, Prentice Hall International Series in Computer Science, 1996, ISBN-13: 978-0132303682Krzysztof R. Apt , Roland Bol: Logic Programming and Negation: A survey. Journal of Logic Programming, 1994, vol. 19, pp. 9-71John W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag 1987
Garant
RNDr. Jan Hric