460-4093/01 – Logické programování (LP)

Garantující katedraKatedra informatikyKredity4
Garant předmětuprof. RNDr. Marie Duží, CSc.Garant verze předmětuprof. RNDr. Marie Duží, CSc.
Úroveň studiapregraduální nebo graduálníPovinnostpovinně volitelný
Ročník1Semestrletní
Jazyk výukyčeština
Rok zavedení2015/2016Rok zrušení
Určeno pro fakultyFEIUrčeno pro typy studianavazující magisterské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
ALB0016 Ing. Adam Albert
MEN059 Mgr. Marek Menšík, Ph.D.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Klasifikovaný zápočet 2+2
kombinovaná Klasifikovaný zápočet 10+0

Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi

Cílem předmětu je seznámit studenty se základy logického programování. Studenti se naučí specifikovat program deklarativně, tj. na základě faktů a pravidel. Budou rovněž seznámeni se způsoby vyhodnocování dotazů na základě rezoluční metody a se základy strojového učení.

Vyučovací metody

Přednášky
Individuální konzultace
Cvičení (v učebně)
Projekt

Anotace

Cílem předmětu je seznámit studenty se základy logického programování. Studenti se naučí specifikovat program deklarativně, tj. na základě faktů a pravidel. Budou rovněž seznámeni se způsoby vyhodnocování dotazů na základě rezoluční metody a se základy strojového učení.

Povinná literatura:

1. J. W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag 1987. 2. I. Bratko. PROLOG. Programming for Artificial Intelligence (3rd edition). Addison Wesley 2001. 3. W.F. Clocksin, C.S. Mellish. Programming in Prolog. Springer-Verlag 1987. 4. M. Bieliková, P. Návrat. Funkcionálne a logické programovanie. STU Bratislava 2000.

Doporučená literatura:

D. DeGroot, G. Lindstrom. Logic Programming; Functions, Relations and Equations. Prentice Hall, New Jersey, 1986.

Forma způsobu ověření studijních výsledků a další požadavky na studenta

E-learning

Další požadavky na studenta

Základní znalost matematické logiky, především rezoluční metody dokazování

Prerekvizity

Předmět nemá žádné prerekvizity.

Korekvizity

Předmět nemá žádné korekvizity.

Osnova předmětu

Přednášky: 1. Struktura logického programu 2. Komunikace s rozhraním Prologu, pokládání dotazů. 3. Postup zpracování dotazu Prologem. 4. Syntaktické struktury Prologu (fakta, pravidla, seznamy, vestavěné predikáty,…) 5. Jednoduché aplikace Prologu - relační databáze, grafy, řešení úloh ve stavových prostorech, řešení soustav logických omezení, zpracování přirozeného jazyka 6. Rekurzivní programy 7. Operátor řezu 8. Crisp vs. fuzzy přístup (teorie a příklady použití) 9. Úvod do fuzzy Prologu (Ciao Prolog), Agregační operátory, syntax 10. Aplikace fuzzy Prologu 11. Umělá inteligence v agentních systémech - aplikace učících se algoritmů v Prologu. 12. Grafické rozhraní v LPA Prologu Cvičení v počítačové učebně: 1. Struktura logického programu 2. Komunikace s rozhraním Prologu, pokládání dotazů. 3. Postup zpracování dotazu Prologem. 4. Syntaktické struktury Prologu (fakta, pravidla, seznamy, vestavěné predikáty,…) 5. Jednoduché aplikace Prologu - relační databáze, grafy, logické hádanky 6. Rekurzivní programy 7. Operátor řezu vs. not 8. Crisp vs. fuzzy přístup (teorie a příklady použití) 9. Úvod do fuzzy Prologu (Ciao Prolog), Agregační operátory, syntax 10. Aplikace fuzzy Prologu 11. Umělá inteligence v agentních systémech - aplikace učících se algoritmů v Prologu. 12. Grafické rozhraní v LPA Prologu

Podmínky absolvování předmětu

Prezenční forma (platnost od: 2015/2016 zimní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodů
Klasifikovaný zápočet Klasifikovaný zápočet 100  51
Rozsah povinné účasti: povinná účast na cvičeních, jsou akceptovány 3 omluvy

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2020/2021 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 povinně volitelný stu. plán
2020/2021 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 povinně volitelný stu. plán
2019/2020 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 povinně volitelný stu. plán
2019/2020 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 povinně volitelný stu. plán
2018/2019 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 povinně volitelný stu. plán
2018/2019 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 povinně volitelný stu. plán
2017/2018 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 povinně volitelný stu. plán
2017/2018 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 povinně volitelný stu. plán
2016/2017 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 povinně volitelný stu. plán
2016/2017 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 povinně volitelný stu. plán
2015/2016 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 povinně volitelný stu. plán
2015/2016 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 povinně volitelný stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku