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: 445958

Časopis

Autori: Maliković, Marko; Čubrilo, Mirko
Naslov: What Were the Last Moves?
Izvornik: International Review on Computers and Software (IRECOS) (1828-6003) 5 (2010), 1; 59-70
Vrsta rada: članak
Ključne riječi: Calculus of Inductive Constructions; Coq; Heuristics; Retrograde Chess Analysis; Tactics
Sažetak:
This paper presents a formal system for reasoning about retrograde chess problems using Coq - a formal proof management system. The system is divided into two parts. The first part describes the environment that includes the axioms, definitions and hypotheses of chess objects, and also the functions for computing changes in states. The second part is developed for generating possible retrograde chess moves and includes Coq’s tactics combined with the use of tacticals (elements of Ltac - the Coq’s language for combining tactics). All of these tactics are defined as one Ltac function. This approach enables reasoning about retrograde chess problems with respect to reasoning about sequences of retrograde moves. In the aforementioned Ltac function, a number of heuristic solutions are implemented with the aim of solving the problems within a big search space such as retrograde chess analysis.
Projekt / tema: 016-0000000-3327, 016-0161741-1739
Izvorni jezik: ENG
Rad je indeksiran u
bazama podataka:
Scopus
Kategorija: Znanstveni
Znanstvena područja:
Informacijske i komunikacijske znanosti
URL cjelovitog teksta:
Google Scholar: What Were the Last Moves?
Upisao u CROSBI: marko@ffri.hr (marko@ffri.hr), 28. Vel. 2010. u 13:45 sati



Verzija za printanje   za tiskati


upomoc
foot_4