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

Zbornik radova

Autori: Maliković, Marko; Čubrilo, Mirko; Janičić, Predrag
Naslov: Formalization of a Strategy for the KRK Chess Endgame
Izvornik: Proceedings of 23st Central European Conference on Information and Intelligent SystemsVaraždin :
ISSN: 1847-2001
Skup: Central European Conference on Information and Intelligent Systems
Mjesto i datum: Varaždin, 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: 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), 22. Ruj. 2012. u 15:10 sati



Verzija za printanje   za tiskati


upomoc
foot_4