FI:IB013 Logické programování I - Informace o předmětu

IB013 Logické programování I

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

• Aplikovaná informatika (program FI, B-AP)
• Bioinformatika (program FI, B-AP)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-SO)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (program FI, B-IN)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)

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, 2001, 678 s. ISBN 0201-40375-7. info
• NILSSON, Ulf a Jan MALUSZYNSKI. Logic, programming and Prolog. Chichester: John Wiley & Sons, 1990, 285 s. ISBN 0-471-92625-6. URL info
• DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. 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

• IA050 Logické programování II

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ě.

• Statistika zápisu (jaro 2008, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2008/IB013