| Meno: | Peter
|
|---|
| Priezvisko: | Cieker
|
|---|
| Názov: | Logic Programming and game theory
|
|---|
| Vedúci: | Martin Baláľ
|
|---|
| Rok: | 2012
|
|---|
| Blok: | INF
|
|---|
| Kµúčové slová: | logicke programovanie, reprezentacia znalosti, nemonotonne uvazovanie, Magic the Gathering, planovacia domena
|
|---|
| Abstrakt: | Tato diplomova praca vyuziva logicke programovanie ako nastroj na reprezentaciu
znalosti a nemonotonneho uvazovania na zlozitej domene, ktora sa javi ako vhodna pre tuto programovaciu paradigmu. Vyuzivame inferenciu na vyvodzovanie logickych dosledkov z deklarativneho opisu stavu vybranej hry. Deklarativna paradigma je dosahuje lepsie vysledky ako proceduralna hlavne pri zlozitejsich ulohach. Toto je zatial jediny znamy pokus, ktory je zalozeny na paradigme deklarativneho programovania.
|
|---|