Naslov
Razvoj heuristika za rješavanje problema retrogradne šahovske analize
(Developing heuristics for solving retrograde chess problems)

Autori
Maliković, Marko

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija

Fakultet
Fakultet organizacije i informatike

Mjesto
Varaždin

Datum
20.11

Godina
2008

Stranica
165

Mentor
Čubrilo, Mirko

Ključne riječi
Retrogradna šahovska analiza; Račun induktivnih konstrukcija; Deduktivno zaključivanje; Coq; Heuristike
(Retrograde chess analysis; Calculus of Inductive Constructions; Deductive reasoning; Coq; Heuristics)

Sažetak
U ovoj disertaciji istražujemo mogućnosti rezoniranja o retrogradnim šahovskim problemima uz korištenje sustava Coq - sustava za deduktivno dokazivanje tvrdnja. Okruženje za retrogradnu šahovsku analizu razvijamo uz pomoć računa induktivnih konstrukcija koji čini teorijski temelj sustava Coq. Okruženje sadrži definicije šahovskih objekata i stanja u šahovskim pozicijama, aksiome i hipoteze o stanjima kao i funkcije za izračunavanja promjena stanja. Rezoniranje o retrogradnim šahovskim problemima provodi se putem uporabe taktikala - elemenata jezika Ltac koji služe za kombiniranje taktika u sustavu Coq. U cilju da se unutar velikoga prostora pretraživanja kao što je prostor retrogradne šahovske analize omogući rješavanje što više različitih tipova problema, u disertaciji razvijamo mnoga heuristička rješenja i prikazujemo načine na koje se sustav može dalje unapređivati.

Izvorni jezik
Hrvatski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA