Předmět Logické programování II (NAIL077)
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 NAIL077 - Logické programování II, 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
Vztah SLD rezoluce k čistému Prologu. Domény, konečné domény.Zastavování výpočtů, stupňová zobrazení, omezené dotazy.Occur-check, mody, lineární termy.Částečná korektnost, podmíněné dotazy a programy, před- a po-podmínky.Negativní informace. Nemonotonní odvozování, hypotéza uzavřeného světa, odvozovací pravidlo "Negace jako neúspěch". Charakterisace konečného neúspěchu.Zúplnění logického programu. Přechod od logického programu P s negací k jeho zúplnění, programy IF(P), IFF(P) a zúplnění. Korektnost pravidla negace definované neúspěchem. Úplnost pravidla negace definované neúspěchem.Argumentace.
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