460-4093/02 – Logické programování (LP)
Garantující katedra | Katedra informatiky | Kredity | 4 |
Garant předmětu | prof. RNDr. Marie Duží, CSc. | Garant verze předmětu | prof. RNDr. Marie Duží, CSc. |
Úroveň studia | pregraduální nebo graduální | Povinnost | povinně volitelný typu A |
Ročník | 1 | Semestr | letní |
| | Jazyk výuky | angličtina |
Rok zavedení | 2015/2016 | Rok zrušení | |
Určeno pro fakulty | FEI | Určeno pro typy studia | navazující magisterské |
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
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky
Předmět neobsahuje žádné hodnocení.