Přeskočit na hlavní obsah
Přeskočit hlavičku

Logické programování

Typ studia navazující magisterské
Jazyk výuky čeština
Kód 460-4093/01
Zkratka LP
Název předmětu česky Logické programování
Název předmětu anglicky Logic Programming
Kreditů 4
Garantující katedra Katedra informatiky
Garant předmětu prof. RNDr. Marie Duží, CSc.

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

E-learning

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.