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

IA050 Logické programování II

Předmět se v období jaro 2006 nevypisuje.

Rozsah

2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

doc. Mgr. Hana Rudová, Ph.D. (přednášející)
prof. RNDr. Luděk Matyska, CSc. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: doc. Mgr. Hana Rudová, Ph.D.

Předpoklady

! I050 Logické programování II
Vyžaduje se absolvování předmětu IB013 Logické programování.

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, N-AP)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS)

Cíle předmětu

Předmět je určen pro zájemce o hlubší seznámení s Logickým programováním. Hlavní těžiště se soustředí na specifické oblasti využití LP, případně na hraniční oblasti: oblast deduktivních databází, abstraktní interpretace, logického programování s omezujícími podmínkami, agentních systémů a paralelních logických programovacích jazyků.

Osnova

• Pokročilé techniky programování v Prologu, datové struktury.
• Alternativní modely výpočtu -- bottom up versus top down. Použití databázových operací pro vyhodnocení logických programů. Magické množiny a transformace.
• Abstraktní interpretace programů. Transformace programů. Globální analýza, analýza výpočetní nezávislosti částí programů.
• Paralelní a konkurení logické programování.
• Logické programování s omezujícími podmínkami: variabilita řešičů podmínek, preferenční podmínky, konkurentní podmínky.
• Agentní systémy a logické programování
• Implementace. Odvození instrukcí, abstraktní počítač. Implementace programovacích jazyků s omezujícími podmínkami.
• Trendy a současné směry v logickém programování.

Literatura

• O'KEEFE, Richard A. The Craft of Prolog. Cambridge: Massachusetts Institute of Technology, 1990, 387 s. ISBN 0262150395. info
• Deductive Databases and Logic Programming. Wokingham: Addison-Wesley Publishing Company, 1992, 432 s. ISBN 0-201-56897-7. info
• TURINI, Franco a Krzysztof R. APT. Meta-logics and logic programming. Cambridge: MIT Press, 1995, xiv, 339. ISBN 0262011522. info
• The MIT Press Series in Logic Programming. Edited by Ehud Shapiro. info
• Principles and Practice of Constraint Programming. LNCS Springer-Verlag.

Metody hodnocení

Předmět je ukončen ústní zkouškou.

Informace učitele

http://www.fi.muni.cz/~hanka/lp_II
Základní informace jsou dostupné přes www stránku přednášejícího. Vyžaduje se absolvování předmětu Logické programování I.

Další komentáře

Předmět je vyučován jednou za dva roky.
Výuka probíhá každý týden.

• Permalink: https://is.muni.cz/predmet/fi/jaro2006/IA050