Razvoj heuristika za rješavanje problema retrogradne šahovske analize (CROSBI ID 352382)
Ocjenski rad | doktorska disertacija
Podaci o odgovornosti
Maliković, Marko
Čubrilo, Mirko
hrvatski
Razvoj heuristika za rješavanje problema retrogradne šahovske analize
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.
Retrogradna šahovska analiza; Račun induktivnih konstrukcija; Deduktivno zaključivanje; Coq; Heuristike
nije evidentirano
engleski
Developing heuristics for solving retrograde chess problems
nije evidentirano
Retrograde chess analysis; Calculus of Inductive Constructions; Deductive reasoning; Coq; Heuristics
nije evidentirano
Podaci o izdanju
165
20.11.2008.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet organizacije i informatike
Varaždin