Specialised master (Dissertations and theses)
Single-player games: introduction to a new solving method
Van Lishout, François
2006
 

Files


Full Text
vanlishout_dea06.pdf
Author postprint (1.11 MB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
Sokoban; artificial intelligence; games
Abstract :
[en] In many games, the machine has become stronger than the best human players. Machines have already beaten the human World Champion in famous games like Checkers, Chess, Scrabble and Othello. However, mankind has not been humbled by chips in all games. The best human players are still stronger than computers in games like Go, Poker, Chinese Chess and Hex. In this thesis, we will focus on a new way to model single-player games in order to improve the performances of the machine. We will demonstrate this technique on the game of Sokoban.
Disciplines :
Computer science
Author, co-author :
Van Lishout, François ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes et modélisation
Language :
English
Title :
Single-player games: introduction to a new solving method
Defense date :
2006
Number of pages :
95
Institution :
ULiège - Université de Liège
Degree :
DEA en sciences appliquées
Promotor :
Wolper, Pierre  ;  Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore)
Boigelot, Bernard  ;  Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science
Gribomont, Pascal ;  Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore)
de Marneffe, Pierre-Arnoul ;  Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore)
Commentary :
This thesis gives also an original presentation of the classical state-space algorithms. Usually, only a high-level description with abstract data types is given. Here we will present all the algorithms with the semi-formal-method proposed by de Marneffe. The invariants specified in this work have not been taken from the literature. They have all been reconstructed from the original idea of the algorithm in order to produce a clear description of the latter and to prove its correctness. This approach has led to a contribution for the A* algorithm. The practical performances have indeed been improved for a particular implementation choice of practical interest.
Available on ORBi :
since 18 November 2009

Statistics


Number of views
407 (43 by ULiège)
Number of downloads
499 (10 by ULiège)

Scopus citations®
 
1
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBi