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.

IA050 Logické programování II

Fakulta informatiky
jaro 2005

Předmět se v období jaro 2005 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. PhDr. Karel Pala, 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 určen pouze studentům mateřských oborů.
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.

IA050 Logické programování II

Fakulta informatiky
jaro 2004

Předmět se v období jaro 2004 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. PhDr. Karel Pala, 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 určen pouze studentům mateřských oborů.
Mateřské obory/plány
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.

IA050 Logické programování II

Fakulta informatiky
jaro 2003

Předmět se v období jaro 2003 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. PhDr. Karel Pala, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luděk Matyska, CSc.
Předpoklady
! I050 Logické programování II
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
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, 1995--2002. Conference proceedings.
Informace učitele
Základní informace jsou dostupné přes www stránku přednášejícího. Vyžaduje se absolvování předmětu Logiské 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.