IA050 Logické programování II

Fakulta informatiky
jaro 2006

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
předmět má 6 mateřských oborů, zobrazit
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