1-AIN-617 Logické programovanie ASP
Odporúčaný ročník: | 1. |
Semester: | zimný |
Rozsah: | P2,C2 |
Hodnotenie: | 40/60 |
Počet kreditov: | 6 |
Vyučujúci: | |
www stránka: |
Cieľ:
Predstaviť paradigmu logického programovania Answer Set Programming a jej aplikáciu v rôznych oblastiach reprezentácie znalostí.
Sylabus:
- Logický program
- Stabilné modely
- Explicitná negácia, ohraničenia
- Plánovanie a diagnostika
- Preferencie
- Argumentácia
Literatúra:
Chitta Baral: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003