Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Razvoj heuristika za rješavanje problema retrogradne šahovske analize (CROSBI ID 352382)

Ocjenski rad | doktorska disertacija

Maliković, Marko Razvoj heuristika za rješavanje problema retrogradne šahovske analize / Čubrilo, Mirko (mentor); Varaždin, Fakultet organizacije i informatike, . 2008

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

Povezanost rada

Informacijske i komunikacijske znanosti