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

Zbornik radova

Autori: Maliković, Marko; Čubrilo, Mirko
Naslov: Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System
Izvornik: Proceedings of 21st Central European Conference on Information and Intelligent Systems, 2010Varaždin :
ISSN: 1847-2001
Skup: 21st Central European Conference on Information and Intelligent Systems
Mjesto i datum: Varaždin, Hrvatska, 22-24.09.2010.
Ključne riječi: Retrograde chess analysis; Shortest proof games; Trajectories; Coq
Sažetak:
In this paper we focus on Shortest Proof Games (SPG) as one important genre of retrograde chess analysis. SPG's serve to establish the legality of a position in given chess problems by searching for the shortest sequence of moves that lead to the initial chess position. First we give an overview of existing computer programs for solving SPG's, but due to the absence of any research papers on the topic, we provide informal descriptions obtained by the authors via e-mail and from partial information from programs' Web sites. In the second part of the paper we propose some systematic ideas for the establishment of a formal system for solving SPG's by using Coq - a formal proof management system. Our approach is based on the shortest trajectories (shortest planning paths which certain pieces might follow from initial square to achieve the target square), admissible trajectories (trajectories longer than the shortest trajectory) and bundles of trajectories. We show how these forms can be recursively generated using Coq and how they can be used in order to solve an SPG.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Cjeloviti rad (više od 1500 riječi)
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 016-0161741-1739
Izvorni jezik: ENG
Kategorija: Znanstveni
Znanstvena područja:
Informacijske i komunikacijske znanosti
Upisao u CROSBI: marko@ffri.hr (marko@ffri.hr), 24. Ruj. 2010. u 11:15 sati



Verzija za printanje   za tiskati


upomoc
foot_4