crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 385246

Disertacija

Autor: Maliković, Marko
Naslov: Razvoj heuristika za rješavanje problema retrogradne šahovske analize
( Developing heuristics for solving retrograde chess problems )
Vrsta: doktorska disertacija
Fakultet: Fakultet organizacije i informatike
Sveučilište: Sveučilište u Zagrebu
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.
Projekt / tema: 016-0161741-1739
Izvorni jezik: HRV
Znanstvena područja:
Informacijske i komunikacijske znanosti
Upisao u CROSBI: marko@ffri.hr (marko@ffri.hr), 13. Ožu. 2009. u 09:07 sati



  Verzija za printanje   za tiskati


upomoc
foot_4