Předmět Logické programování (KMI / PGSLP)

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 KMI / PGSLP - Logické programování, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).

Materiál	Typ	Datum	Počet stažení

Obsah

Předmět podrobněji seznamuje studenty s logickým programováním, nad rámec úvodního představení v magisterském studiu. Je zaměřen na teoretické aspekty logického programování související se sémantikami logického programu, modely jeho výpočtu a propojením s predikátovou logikou.Logické programování. Logický program a jeho sémantika: Logické paradigma jako jedno z paradigmat programování. Definitní programy a jejich syntaxe. Klausule, fakta, pravidla a dotazy. Deklarativní sémantika definitního programu: Herbrandova struktura, Herbrandův model, nejmenší Herbrandův model a jeho nalezení.Sémantické vyplývání z definitních programů. Substituce, aplikace substituce, uzavřené instance klausulí, korektní odpovědi. Čisté logické programování a PROLOG.Procedurální sémantika logického programu. Rekursivní datové struktury: Konečné a nekonečné Herbrandovy modely. Rekursivní pravidla. Unifikace. Nedeterministická inference. Metody odstranění nedeterminismu. Nejobecnější unifikátor a jeho nalezení. Procedurální sémantika definitního programu. Vztah deklarativní a procedurální sémantiky: korektní odpovědi versus vypočtené odpovědi. Činnost zásobníku během výpočtu PROLOGu, backtracking, nalezení alternativních řešení.Řezy a negace v logickém programování: Metalogický predikát řezu. Výpočtová efektivita a řezy. Řízení výpočtu pomocí řezů. Činnost zásobníku během výpočtu PROLOGu obohaceného o řezy. Vytváření podmínek a cyklů pomocí vestavěných predikátů. Teoretické přístupy k negaci: předpoklad uzavřenosti světa; negace pomocí neúspěchu v konečně mnoha krocích. Problém neexistence Herbrandovského modelu při použití negace. SLDNF-rezoluce. Zavedení negace pomocí řezu.Logické programování a matematická logika: Propojení logického programování a klasické predikátové logiky. Logický program jako teorie prvního řádu. Herbrandovské modely jako struktury prvního řádu. Princip obecné rezoluční metody a její adaptace pro definitní programy. Korektnost a úplnost SLD-rezoluce.

Získané způsobilosti

1. ZnalostPopsat a důkladně pochopit principy a metody logického programování.

Literatura

Lloyd, J. W. Foundations of Logic Programming. Springer-Verlag, New York (second edition), 1987. ISBN 3-540-18199-7.Nerode A., Shore R. A. Logic for Applications. Springer-Verlag, New York (second edition), 1997. ISBN 0-387-94893-7.Nilsson U., Maluszynski J. Logic, programming and PROLOG, el. verze: http://www.ida.liu.se/~ulfni/lpp/. John Wiley & Sons Ltd., Chichester (druhé vydání), 1995. ISBN 0-471-92625-6.Brož, M. Microsoft Office Word 2003 : podrobná uživatelská příručka. Brno : Computer Press, 2004. ISBN 80-251-0140-1.Jirků P. a kol. Programování v jazyku Prolog. SNTL, Praha, 1991. ISBN 80-03-00609-0.Bratko I. PROLOG Programming for Artificial Intelligence. Addison Wesley (third edition), 2001. ISBN 0-201-40375-7.

Požadavky

Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.

Garant

doc. RNDr. Vilém Vychodil, Ph.D.

Vyučující

doc. RNDr. Vilém Vychodil, Ph.D.