IB013 Logické programování I

Fakulta informatiky
jaro 2008
Rozsah
2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
Mgr. Adriana Strejčková (přednášející)
doc. Mgr. Hana Rudová, Ph.D. (přednášející)
Bc. Michal Novotný (pomocník)
Garance
prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Rozvrh
Út 10:00–11:50 B204
  • Rozvrh seminárních/paralelních skupin:
IB013/01: každé sudé úterý 8:00–9:50 B311, A. Strejčková
IB013/02: každé liché úterý 8:00–9:50 B311, A. Strejčková
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
Cílem předmětu je poskytnout základní znalosti v oblasti Logického programování. První část přednášky popisuje základy programování v jazyce Prolog. Přednáška pokračuje stručnou rekapitulací výpočetní logiky, na níž navazuje výklad teoretických základů jazyka Prolog. Logické programování s omezujícími podmínkami je prezentováno z teoretického i praktického pohledu. Poslední část přednášky je věnována otázce implementace jazyka Prolog, kde jsou představeny i základní optimalizační techniky. Cvičení probíhají u počítačů a zabývají se praktickými otázkami logického programování.
Osnova
  • Prolog. Datové struktury, backtracking, řez. Extralogické predikáty, aritmetika. Technika a styl programování.
  • Teorie logického programování. Logika prvního řádu, rezoluce, Hornovy klauzule a programy, modely, SLD rezoluce.
  • Řízení výpočtu, ořezávání stromu důkazů, řez.
  • Rovnost, negace, SLDNF rezoluce.
  • Logické programování s omezujícími podmínkami, základy programování v CLP(FD), propagace omezení, prohledávání.
  • Implementace Prologu. Warrenův abstraktní počítač.
Literatura
  • BRATKO, Ivan. Prolog Programming for Artificial Intelligence. 3. vyd. Addison-Wesley. 678 s. ISBN 0201-40375-7. 2001. info
  • NILSSON, Ulf a Jan MALUSZYNSKI. Logic, programming and Prolog. Chichester: John Wiley & Sons. 285 s. ISBN 0-471-92625-6. 1990. URL info
  • DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers. xx, 481 s. ISBN 1-55860-890-7. 2003. info
Metody hodnocení
Hodnocení se skládá ze tří částí: zápočtového projektu (možno získat až 40 bodů), průběžné písemné práce (až 30 bodů) a závěrečné písemné práce (až 150 bodů). Opravné termíny jsou ve formě ústní zkoušky.


Zápočet z předmětu je udělen za vypracování projektu. Součástí řešení projektu je písemná zpráva obsahující předběžnou analýzu řešeného problému, finální program v Prologu a programová dokumentace. Projekty jsou řešeny 1-3 studenty.


Průběžná písemná práce je prakticky orientovaná na řešení několika jednodušších příkladů ze základů programování v jazyce Prolog.


Závěrečná písemná práce se skládá z teoretické části a z řešení praktických příkladů.

Navazující předměty
Informace učitele
http://www.fi.muni.cz/~ada/lp
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013.