460-4093/02 – 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ý typu A
Ročník1Semestrletní
Jazyk výukyanglič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í
DUZ48 prof. RNDr. Marie Duží, CSc.
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:

[1] 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

V průběhu semestru studenti postupně naprogramují dílčí úlohy, které jsou pak na konci semestru hodnoceny jako jeden celek.

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ůMax. počet pokusů
Klasifikovaný zápočet Klasifikovaný zápočet 100  51 3
Rozsah povinné účasti: Účast na cvičeních je povinná a je kontrolována. S rozsahem povinné účastí seznámí studenty garant předmětu na začátku semestru

Zobrazit historii

Podmínky absolvování předmětu a účast na cvičeních v rámci ISP: Splnění všech povinných úkolů v individuálně dohodnutých termínech

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2024/2025 (N0613A140035) Informatika TI P angličtina Ostrava 1 povinně volitelný typu A stu. plán
2024/2025 (N0613A140035) Informatika SWI P angličtina Ostrava 1 povinně volitelný typu B stu. plán
2023/2024 (N0613A140035) Informatika TI P angličtina Ostrava 1 povinně volitelný typu A stu. plán
2023/2024 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P angličtina Ostrava 1 povinně volitelný stu. plán
2022/2023 (N0613A140035) Informatika TI P angličtina Ostrava 1 povinně volitelný typu A stu. plán
2022/2023 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P angličtina Ostrava 1 povinně volitelný stu. plán
2021/2022 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P angličtina Ostrava 1 povinně volitelný stu. plán
2020/2021 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P anglič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 anglič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 anglič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 anglič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 anglič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 anglič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 anglič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 anglič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 anglič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 anglič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 anglič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

Hodnocení Výuky

Předmět neobsahuje žádné hodnocení.