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

Zbornik radova

Autori: Maliković, Marko; Čubrilo, Mirko; Janičić, Predrag
Naslov: Formalization of a Strategy for the KRK Chess Endgame
Izvornik:
Skup: Central European Conference on Information and Intelligent Systems
Mjesto i datum: Hrvatska, 19-21.09.2012
Ključne riječi: Interactive theorem proving, Coq, automated theorem proving, linear arithmetic, chess endgames, KRK chess endgame
Sažetak:
Chess has always been a challenging subject for various computer analyses and methodologies, and they often brought more general advances in the related computer science fields, such as search strategies, AI planning, data-mining, etc. However, interactive theorem proving has hardly been applied to chess. In this paper we present our formalization, within the Coq proof assistant, of one fragment of the chess game - KRK chess ending and several conjectures relevant for this endgame. We show that most of the considered notions and conjectures can be expressed in a simple theory such as linear arithmetic. In addition, in this paper we present a formalization of Bratko's strategy for the KRK endgame. The presented formalization will serve as a key step towards formal correctness proof for Bratko's strategy
Vrsta sudjelovanja: Poster
Vrsta prezentacije u zborniku: Sažetak
Vrsta recenzije: Nema recenziju
Izvorni jezik: ENG
Kategorija: Ostalo
Znanstvena područja:
Računarstvo,Informacijske i komunikacijske znanosti
Upisao u CROSBI: Mirko Čubrilo (mcubrilo@foi.hr), 19. Sij. 2017. u 18:13 sati



Verzija za printanje   za tiskati


upomoc
foot_4