DOCSLIB.ORG

On the Effective Revision of (Bayesian) Logic Programs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On the Effective Revision of (Bayesian) Logic Programs ON THE EFFECTIVE REVISION OF (BAYESIAN) LOGIC PROGRAMS Aline Marins Paes Doctorate Thesis presented to the Graduate Department of Systems Engineering and Computer Science, COPPE, of Federal University of Rio de Janeiro as a partial fulfillment of the requirements for the degree of Doctor of Systems Engineering and Computer Science. Advisors: Gerson Zaverucha V´ıtorManuel de Morais Santos Costa Rio de Janeiro September, 2011 ON THE EFFECTIVE REVISION OF (BAYESIAN) LOGIC PROGRAMS Aline Marins Paes DOCTORATE THESIS PRESENTED TO THE GRADUATE DEPARTMENT OF SYSTEMS ENGINEERING AND COMPUTER SCIENCE, COPPE, OF FEDERAL UNIVERSITY OF RIO DE JANEIRO AS A PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF SYSTEMS ENGINEERING AND COMPUTER SCIENCE. Committee: Prof. Gerson Zaverucha, Ph.D. Prof. V´ıtorManuel de Morais Santos Costa, Ph.D. Prof. Mario Roberto Folhadela Benevides, Ph.D. Prof. Bianca Zadrozny, Ph.D. Prof. Stephen Howard Muggleton, Ph.D. RIO DE JANEIRO, RJ - BRAZIL SEPTEMBER, 2011 Paes, Aline Marins On the Effective Revision of (Bayesian) Logic Programs/ Aline Marins Paes. - Rio de Janeiro: UFRJ/COPPE, 2011 XXIV, 282 p.: il.; 29,7 cm. Advisors: Gerson Zaverucha V´ıtorManuel de Morais Santos Costa Thesis (PhD) - UFRJ/COPPE/Department of Sys- tems Engineering and Computer Science, 2011 Bibliography: p.240-276 1. Machine Learning. 2. Inductive Logic Program- ming. 3. Theory Revision from Examples. 4. Probabilistic Logic Learning. 5. Bayesian Networks. 6. Stochastic Local Search. I. Zaverucha, Gerson et al.. II. Federal University of Rio de Janeiro, COPPE, Department of Systems Engineering and Computer Science. III. Title. iii To my dearest mother Geiza, the pillar of my creation, and to my beloved husband Ricardo, the pillar of my evolution. iv Acknowledgments First, I would like to thank God, for the gift of life. "God created everything through him, and nothing was created except through him." (John 1:3) I could have not completed this thesis without the huge support of my family. I would like to greatly thank them, specially: I would like to thank my parents, Antonio and Geiza, for everything they denied and sacrificed themselves for providing me the best possible education; for their belief in me, which has been much greater than my belief in myself and for supporting me in all the decisions that I had made that conducted me to this PhD. I would like to thank my husband Ricardo, for being my greatest encourager, for carefully listening all the ideas and difficulties related to this thesis and for giving so many wise advices; for making my life much more meaningful and happy. I would like to thank my sister Alessandra and my brother Thiago, my brother- in-law Braz and sister-in-law Marcela, for the affection, care and encouragement. I would like to thank my niece Susan and my nephew Jo~aoV´ıtor,for their ability to fill my life with joy, even in the most stressful times. And I would like to thank my family of Niteroi, Jane, Ricardo, Janete, Fer- nando, Arthur, Z´eliaand Ronald, for all the affection. I would like to thank all the teachers and professors who have been extremely generous to transmit me knowledge. Specially, I would like to thank the professors that advised and supervised this research: I thank my advisor, professor Gerson Zaverucha, for all the support, dedication to the research, encouragement and for being a model of determination on pursuing a research. Gerson's passion for research was a big factor for my decision on being a v researcher. I also thank him for the opportunities he had offered me during the PhD, when contributing and stimulating my participation in prestigious conferences, and for allowing me to co-advise some of his undergraduate students. I thank my advisor, professor V´ıtorSantos Costa, for being always available to help me on my numerous doubts. I thank him very much for his generosity on the development, maintenance and continuous update of YAP Prolog, the best Prolog compiler ever. I thank him for all the valuable tips of how to elegantly write English. Additionally, I would like to thank him and his family for hosting me so nicely in their home in Portugal. I thank my internship supervisor, professor Stephen Muggleton, for allowing me to be part of the Computational Bioinformatics Laboratory of Imperial College London for a year. His generosity, creativity, patience and so profound scientific knowledge have greatly contributed to this research and to my own development as a researcher. I would like to thank my friends for the great support they have provided me along these years, specially: Kate Revoredo, for being a model of determination, for the partnership, col- laboration and a lot of great advices. Ana Lu´ısaDuboc, for the partnership and encouragement. Past and present friends of the AI Lab, Juliana Bernardes, Cristiano Pitangui, Carina Lopes, Elias Barenboim, F´abioVieira, Glauber Menezes, Alo´ısioPina, for sharing ideas over these years and for providing a fun workplace. Friends of the Computational Bioinformatics Laboratory, Jos´eSantos, Ramin Ramezani, Pedro Torres, Niels Pahlavi, Jianzhong Chen, Alireza Tamaddoni-Nezhad, Hiroaki Watanabe, Robin Baumgarten and John Charnley, for sharing ideas during the year I have worked in Imperial College and for being such wonderful hosts. My undergraduate \co-students", Eric Couto, Rafael Pereira and Guilherme Niedu for their collaboration. All my friends, those far away and those close to me. I know that they have always kept me on their good thoughts. I thank very much the committee, professors Stephen Muggleton, M´arioBene- vi vides and Bianca Zadrozny, for the careful analysis of so many pages in such little time and for the greatly valuable comments made on this thesis. I thank the PESC secretaries, Claudia, Solange, S^oniaand Gutierrez, and CBL secretary, Bridget, who are always available to solve any administrative issue. I thank the PESC support team, Itamar, Adilson, Jo~aoV´ıtor,Alexandre and Thiago, who are always ready to solve any physical and network issues. I thank UFRJ and Imperial College London for the physical installations. And finally I thank CAPES and CNPq for the financial support. vii Abstract of Thesis presented to COPPE/UFRJ as a partial fulfillment of the requirements for the degree of Doctor of Science (D.SC.) Aline Marins Paes September/2011 Advisors: Gerson Zaverucha V´ıtorManuel de Morais Santos Costa Department: Systems Engineering anc Computer Science Theory Revision from Examples is the process of improving user-defined or automatically generated theories, guided by a set of examples. Despite several suc- cessful theory revision systems having been built in the past, they have not been widely used. We claim that the main reason is the inefficiency of these systems, as they usually yield large search spaces. This thesis contributes towards the goal of designing feasible theory revision systems. First, we focus on first-order theory revision. We introduce techniques from Inductive Logic Programming (ILP) and from Stochastic Local Search to reduce the size of each individual search space ge- nerated by a FOL theory revision system. We show through experiments that it is possible to have a revision system as efficient as a standard ILP system and still generate more accurate theories. Moreover, we present an application involving the game of Chess that is successfully solved by theory revision, in contrast with a learning from scratch system that fails in correctly achieving the required theory. As first-order logic handles well multi-relational domains but fails on representing uncertain data, there is a great recent interest in joining relational representations with probabilistic reasoning mechanisms. We have contributed with a probabilis- tic first-order theory revision system called PFORTE. However, despite promising results in artificial domains, PFORTE faces the complexity of searching and per- forming probabilistic inference over large search spaces, making it not feasible to be applied to real world domains. Thus, the second major contribution of this thesis is to address the bottlenecks of probabilistic logic revision process. We aggregate techniques from ILP and probabilistic graphical models to reduce the search space of the revision process and also of the probabilistic inference. The new probabilistic revision system was successfully applied in real world datasets. viii Contents Acknowledgments v Nomenclature xiii List of Algorithms xv List of Figures xviii List of Tables xxiv 1 Introduction 1 1.1 First-order Logic Theory Revision from Examples . 2 1.1.1 Contributions to First-order Logic Theory Revision . 4 1.2 Probabilistic Logic Learning . 7 1.2.1 BFORTE: Towards a Feasible Probabilistic Revision System . 8 1.3 Publications . 11 1.4 Thesis outline . 12 2 ILP and Theory Revision 14 2.1 Inductive Logic Programming . 15 2.1.1 Learning Settings in ILP . 17 2.1.2 Ordering the Hypothesis Search Space . 18 2.1.3 Mode Directed Inverse Entailment and the Bottom Clause . 18 2.2 First-order Logic Theory Revision from Examples . 23 2.2.1 Revision Points . 25 2.2.2 Revision Operators . 26 2.2.3 FORTE . 27 ix CONTENTS 3 YAVFORTE: A Revised Version of FORTE, Including Mode Di- rected Inverse Entailment and the Bottom Clause 42 3.1 Introduction . 42 3.2 Restricting the Search Space of Revision Operators . 44 3.3 Improvements Performed on the Revision Operators . 46 3.3.1 Using the Bottom Clause as the Search Space of Antecedents when Revising a FOL theory . 46 3.3.2 Modifying the Delete Antecedent Operator to use Modes Lan- guage and to Allow Noise . 53 3.4 Experimental Results . 54 3.5 Conclusions . 63 4 Chess Revision: Acquiring the Rules of Variants of Chess through First-order Theory Revision from Examples 66 4.1 Motivation . 66 4.2 Revision Framework for Revising Rules of Chess to Turn Them in the Rules of Variants .
Load more

Recommended publications
  • 200 Játék a Sakktáblán
    sakkvaransokUJ.qxd 10/11/2006 12:47 PM Page 1 Birkás György 200 játék a sakktáblán ÕRÜLET FEKETÉN-FFEEHHÉÉRREENN Magyar Sakkvilág, 2006 sakkvaransokUJ.qxd 10/11/2006 12:47 PM Page 2 Magyar Sakkvilág könyvei sorozat VII. kötete 200 játék a sakktáblán Birkás György, 2006 Mûszaki szerkesztõ: Maros Gábor ISSN 1787-3568 ISBN Kiadó: Magyar Sakkvilág sakkvaransokUJ.qxd 10/11/2006 12:47 PM Page 3 3 Fejezet cím Elõszó Kr.u. 500 körül Indiában jelent meg az elsõ sakkra emlékeztetõ játék, a csaturanga. Nyugat felé terjedve az általunk ismert sakká változott, észak felé terjedve a kínai sakk (xiangqi) és a japán sakk (shogi) alakult ki. A janggi Korea, a makruk Thaiföld, a sittuyin Burma nemzeti sakkja. A nyugati sakknak is több mint ezer változata ismert. A változatok a hagyományostól eltérhetnek a tábla méretével, új figurákkal, új szabá- lyokkal, vagy többszörös lépéslehetõséggel, esetleg a véletlen szerep- hez juttatásával. Sok változatot találtak ki a sakktábla méretére: bonyolították a játékot nagyobb táblán (pl. az Aljechin-sakk 14x8-as táblán új figurákkal; egyik ezek közül egyesíti a bástya és huszár lépéslehetõségeit), vagy egyszerû- sítették a játékot kisebb táblán. Egészen új lehetõséget ad a játéknak az, ha nem négyzet alakú mezõ- kön játsszák. A legelterjedtebb ezek közül a hexasakk, több Európa-baj- nokságot rendeztek már. A tábla 30 fehér, 30 fekete és 31 szürke mezõ- bõl álló szabályos hatszög alakú tábla. Könyvemben csak a hagyományos, 8x8-as táblán, hagyományos figurákkal játszható sakkváltozatokkal foglalkozom. Reményem sakkvaransokUJ.qxd 10/11/2006 12:47 PM Page 4 200 játék a sakktáblán 4 szerint ezek közül is a legérdekesebbeket, legszórakoztatóbbakat sike- rült összegyûjtenem.
    [Show full text]
  • The Classified Encyclopedia of Chess Variants
    THE CLASSIFIED ENCYCLOPEDIA OF CHESS VARIANTS I once read a story about the discovery of a strange tribe somewhere in the Amazon basin. An eminent anthropologist recalls that there was some evidence that a space ship from Mars had landed in the area a millenium or two earlier. ‘Good heavens,’ exclaims the narrator, are you suggesting that this tribe are the descendants of Martians?’ ‘Certainly not,’ snaps the learned man, ‘they are the original Earth-people — it is we who are the Martians.’ Reflect that chess is but an imperfect variant of a game that was itself a variant of a germinal game whose origins lie somewhere in the darkness of time. The Classified Encyclopedia of Chess Variants D. B. Pritchard The second edition of The Encyclopedia of Chess Variants completed and edited by John Beasley Copyright © the estate of David Pritchard 2007 Published by John Beasley 7 St James Road Harpenden Herts AL5 4NX GB - England ISBN 978-0-9555168-0-1 Typeset by John Beasley Originally printed in Great Britain by Biddles Ltd, King’s Lynn Contents Introduction to the second edition 13 Author’s acknowledgements 16 Editor’s acknowledgements 17 Warning regarding proprietary games 18 Part 1 Games using an ordinary board and men 19 1 Two or more moves at a time 21 1.1 Two moves at a turn, intermediate check observed 21 1.2 Two moves at a turn, intermediate check ignored 24 1.3 Two moves against one 25 1.4 Three to ten moves at a turn 26 1.5 One more move each time 28 1.6 Every man can move 32 1.7 Other kinds of multiple movement 32 2 Games with concealed
    [Show full text]
  • 007 Chess 7.3 10X10 Chess (Sosnovsky) 15.2 2000 A.D. 17.9 3
    Index 007 Chess 7.3 Alice (Alician) Chess 11.1 Aristocratic Chess 31.4 10x10 Chess All The King’s Men 18.4 Arithmetical Chess 3.5 (Sosnovsky) 15.2 All-Angle Chess 16.4 Arlequin 18.4 2000 A.D. 17.9 All-In Castling 8.6 Armageddon Chess 5.2 3 Dimensional Chess All-In Chess 7.1 Arrow Pawn Chess 15.2 (Carney) 25.2, All-In En Passant 3.5 Arthur Bliss’s Chess 13.5 (Mind Games) 25.2 All-Mate Chess 3.1 Artificial Intelligence 32.1 3-D Chess Allegiance Chess 37.3 Asha, The Game of 12.11 (Enjoyable Hour) 25.3 Allergy Chess 4.2 Assassin Chess 17.2 3-D Space Chess Alliance Assassin Kriegsspiel 2.1 (Dimensional Enterprises) (Liptak and Babcock) 34.3 Assizes 26.1 25.6 Alliance Chess Asteryx Chess 22.1 4-6-10 Chess 24.3 (Bathgate) 35.2, Astral Battle 37.2 4D 23.5 (Paletta) 19.6 Astral Chess 38.12 Allthought Chess 14.4 Astro (Lauterbach) 38.10 Abdication 19.6 Almost Chess 14.1 Astro Chess (Wilkins) 38.3 Abolition of castling 8.6 Altenburg Four-Handed Astronomical Chess 38.13 Absolute Checkless Chess 4.1 Chess 35.1 Asymmetric Chess 14.4 Absolute Rettah Chess 19.1 Alternating Chess Athletic Chess 12.9 Absorption Chess 18.1 (Marseillais) 1.1, Atkinson’s Three- Abstract Chess 18.2 (Poniachik) 4.3, dimensional Chess 25.6 According to Pritchard 38.11 (rotation) 12.3 Atomic Chess Acedrex de las Diez Casas Alternation Chess 34.2 (Benjamin) 17.4, 26.2 Amazon Chess 14.1 (originator unknown) 3.3, Active Chess 13.3 Amazon Queen 14.1 (Taher) 33.2 Actuated Revolving Centre Ambassador Chess 18.2 Atranj 29.2 8.4 Amber, The Royal Game of Attama, The Game of see Actuated
    [Show full text]
  • Chapter 13, Larger and Smaller Boards
    Chapter 13 Larger and smaller boards [In these games, the normal men are used but the size and perhaps the shape of the board are altered. The side-effects can sometimes be surprising. For example, the winning procedure with queen against rook in ordinary chess is somewhat unsystematic, and computer analysis by Marc Bourzutschky in 2004 showed that the defenders could hold out indefinitely on a 16x16 board; the same is presumably true of all larger boards though only one or two cases were explicitly verified. Conversely, the use of a very small board cramps the queen, and on 4x4 and 3x3 boards there are positions where the queen can win only if the rook has the move. It would therefore seem that this particular ‘won ending’ is in fact won only on boards from 5x5 to 15x15 inclusive (Variant Chess 44, also British Endgame Study News, June and September 2004). With boards of other than square shape, almost anything can happen, and one board that appears below was inspired by Troitsky’s observation that king and two knights could force a win against a bare king if additional squares at d9/e9 were available. Most modified-board games involve the use of additional pieces, and where one or more of these is unorthodox they normally appear in the chapters on new pieces. However, there are cases where this aspect is secondary (for example, the altered knight move in Betza’s ‘Narrow Chess’ and the extended pawn move in Legan’s ‘Game of Fortresses’), and the game seems more naturally placed here.
    [Show full text]
  • Simplified Boardgames
    SIMPLIFIED BOARDGAMES JAKUB KOWALSKI, JAKUB SUTOWICZ, AND MAREK SZYKUŁA Abstract. We formalize Simplified Boardgames language, which describes a subclass of arbi- trary board games. The language structure is based on the regular expressions, which makes the rules easily machine-processable while keeping the rules concise and fairly human-readable. 1. Introduction Simplified Boardgames is a class of fairy-chess-like games, first introduced in [1], and slightly extended in [3] (see [2] for an alternative extension). The class was developed for the purpose of learning the game rules through the observation of plays. The Simplified Boardgames language describes turn-based, two player, zero-sum games on a rectangular board with piece movements being a subset of a regular language. Here we provide a formal specification for Simplified Boardgames. Despite the fact that the class has been used in several papers, its formal grammar was still not clearly defined, and some issues were left ambiguous. Such a definition is crucial for further research concerning AI contests, procedural content generation, translations, etc. For comparison, Metagame system, which can be seen as Simplified Boardgames predecessor, had its grammar explicitly declared in [7]. 2. Syntax and semantics In this section we present the formal grammar for Simplified Boardgames, inspired by the look of training records provided by Björnsson in his initial work [1]. The grammar construction is also affected by our experiences concerning Simplified Boardgames, especially in the domain of procedural content generation. The version presented differs only slightly comparing to the versions used in [3, 4, 5]. 2.1. Grammar. The formal grammar in EBNF is presented in Figure 1.
    [Show full text]
  • Automatically Solving Chess Variants
    Automatically solving chess variants Fr´ed´ericProst [email protected] December 7, 2017 Internship Motivations The game of chess has often been presented as "unsolvable" due to the enormous size of the space search. Indeed, it is estimated that the number of legal positions of this game lies around 1043 and 1050, and the number of interesting games is roughly 10120 (ref. Shannon number). These numbers have to be seen at the light of the number of atoms in the universe which is estimated to 1080. Nevertheless, using an hybrid human/computer approach, it has been possi- ble to solve a smaller variant of chess on a 5x5 board (see [1]). The space search of this variant is around 1020, roughly equivalent to that of the checkers game on 8x8 board (see [2]). A small web site has been made to gather informations on the solved variants of chess: http://membres-lig.imag.fr/prost/MiniChessResolution/. We have developped some ideas to completely automatize the proof search. The aim of the internship is to work them on and implement these ideas and ulitmately to test them on several variants of chess (notably Los Alamos chess and atomic chess). Internship Objectives The aim of the internship is to implement an oracle finder in a distributed way. More precisely: • Implement an oracle finder that starting from a position builds a formal proof of the theoretical value of the position. • Implement a mate finder based on asymetrical search once an unbalanced position is reached. • Conduct tests to find heuristics in order to downsize the size of the oralces produced.
    [Show full text]
  • Chapter 26, the Near East, Europe, Africa
    Chapter 26 The Near East, Europe, Africa [Although India may have been the birthplace of chess as we know it, the Near East saw its growth and development, and it is convenient to look first at the main historical thread leading from the earliest known forms of chess to our own and then at the most prominent regional variants.] 26.1 The thread leading to modern chess Chaturanga. The seminal Indian game, considered in greater detail in chapter 29. No contemporary account appears to have survived, but as reported in Arabic sources it seems to have been essentially the same as the later Persian and Arabic game except in three respects: (1) the elephants started in the corners and jumped two squares orthogonally, (2) a player won by baring his opponent’s king even if his opponent could immediately return the compliment (a rule retained by the people of Hijaz and called by them the Medinese (1) The Firzan moves one square at a time, Victory), and (3) stalemate was a win for the diagonally only; opposing 8rzans can never player stalemated. Al-Adli, as quoted by meet unless one of them is a promoted pawn. Murray: ‘And this form is the form of chess (2) The Fil moves two squares diagonally, which the Persians took from the Indians, and leaping the intervening square. It has access to which we took from the Persians. The Persians only eight board squares. The 8ls cannot altered some of the rules...’ [Text editorial, attack one another. relying on page 57 of Murray. According to a (3) Pawns move one square at a time and later note in Murray (page 159), the Persians promote only to 8rzan.
    [Show full text]
  • General Game Description Languages
    University of Wrocław Faculty of Mathematics and Computer Science Institute of Computer Science Doctoral Thesis General Game Description Languages Jakub Kowalski Supervisor: prof. Andrzej Kisielewicz Wrocław 2016 ii Abstract General Game Playing (GGP) is a field of Artificial Intelligence whose aim is to develop a system that can play a variety of games with previously unknown rules and without any human intervention. Using games as a testbed, GGP tries to construct universal algorithms that perform well in various situations and environments in order to achieve this aim. The core of GGP is the formalism describing the class of games that should be playable by the programs. The language used to encode game rules should be not only broad enough to provide an appropriate level of challenge, but also easily machine-processable and, if possible, human-readable. In this thesis, we advance the state-of-the-art research in the GGP area by investigating a few specific problems concerning general game description languages. We design new efficient algorithms for the task of learning the rules of chess-like games by observing play. Our experiments conducted on these algorithms show an increase in the quality of results compared to the existing approaches and a significant speedup of the learning process. Our contribution to the field of Procedural Content Generation is a formal method to evaluate the strategic properties of a given game. Based on that evaluation, we use an evolutionary approach to generate complete rules for some novel, non-trivial, and human-playable chess-like games. Further, we propose an extension of Stanford’s Game Description Language (GDL) that supports games with asymmetric player moves and time-dependent events.
    [Show full text]
  • Chapter 36, Games Using More Than One Board
    Chapter 36 Games using more than one board [In the games so far, all the play has taken place on a single board. In the present chapter, each pair of players plays what is superficially an ordinary game of chess on its own board, but these games interact in various ways.] 36.1 Four players, two boards Bughouse, also known as New England it on his board on any vacant square at any Double Bughouse, Pass-On Chess, and subsequent turn of play. A drop counts as a Tandem Put-Back. Origins unknown move. A dropped man may give check or (probably early 1960s). Teams of two. mate. Pawns may not be dropped on 1st or 8th Partners sit adjacent to each other on two ranks, and a promoted piece, if captured, boards, one player White, the other Black. reverts to a P. The game is played with clocks, When a capture is made, the captured man is always to a fast time limit, and first mate or passed to the player’s partner, who may enter flag-fall decides. A rhb1kgw4 RDBIQDN$ A 0p0wdN0p )P)WDP)P wdwdwdwd Ndwdwdwd dwdpdwdP dwdw)wdw wdwdndwd wGw)pdwd dwdwdwdw 0wdpdndw P)P)P)Pd p w0phw0p0 B $NGQIBDR p 4wgqibdr B The reason for a fast time limit is shown by a need for the weakening pawn move). White A situation that occurs quite often (the present will sit and wait whether White B has two example is due to Chris Ferrante). Suppose minutes left on his clock or two hours, so that the upper team A is to play on both nothing is gained by playing at slow time boards, and that Black A sees that his partner limits and in practice five minutes is White A has more time in hand than his customary.
    [Show full text]
  • Chess Revision: Acquiring the Rules of Chess Variants Through FOL Theory Revision from Examples
    Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples Stephen Muggleton1, Aline Paes1,2, V´ıtor Santos Costa3, and Gerson Zaverucha2 1 Department of Computing, Imperial College London, UK [email protected] 2 Department of Systems Eng. and Computer Science, UFRJ, Brazil {ampaes,gerson}@cos.ufrj.br 3 CRACS and DCC/FCUP, Universidade do Porto, Portugal [email protected] Abstract. The game of chess has been a major testbed for research in artificial intelligence, since it requires focus on intelligent reasoning. Particularly, several challenges arise to machine learning systems when inducing a model describing legal moves of the chess, including the col- lection of the examples, the learning of a model correctly representing the official rules of the game, covering all the branches and restrictions of the correct moves, and the comprehensibility of such a model. Besides, the game of chess has inspired the creation of numerous variants, ranging from faster to more challenging or to regional versions of the game. The question arises if it is possible to take advantage of an initial classifier of chess as a starting point to obtain classifiers for the different variants. We approach this problem as an instance of theory revision from exam- ples. The initial classifier of chess is inspired by a FOL theory approved by a chess expert and the examples are defined as sequences of moves within a game. Starting from a standard revision system, we argue that abduction and negation are also required to best address this problem. Experimental results show the effectiveness of our approach.
    [Show full text]
  • Custom Game & Puzzle Development by Zillions
    CUSTOM GAME & PUZZLE DEVELOPMENT BY ZILLIONS DEVELOPMENT CORPORATION www.zillions-of-games.com CONTACTS Mark Lefler 5740 Sofia Place Dulles, VA 20189-5740 USA [email protected] Jeff Mallett 255 Terrace Drive Boulder Creek, CA 95006 USA [email protected] Please feel free to visit our Website http://www.zillions-of-games.com Zillions Development Corp. EXECUTIVE SUMMARY Add a little fun to your next promotion — online or offline — with custom-made games from Zillions Development. The Zillions game program contains a revolutionary “universal game” engine, allowing it to play nearly any abstract board game or puzzle in the world. What does that mean for you? It means that Zillions Development can create a custom-made game just for you — integrating your own company logo, graphics, colors, etc., within weeks or even days of a request. This game can be downloaded and played offline. Or, if you prefer something more elaborate, Zillions Development can work with you to create a custom, online gaming environment that will be sure to keep your visitors coming back on a regular basis. Zillions Development Corp. CONTENTS DESCRIPTION .........1 FEATURES.............4 PRESS ................6 ABOUT ZILLIONS DEVELOPMENT ........7 LIST OF GAMES.......8 TECHNICAL SPECS ....9 Zillions Development Corp. DESCRIPTION GAMES AND PUZZLES ARE WHAT WE DO Here at Zillions Development, we know a thing or two about creating dynamic gaming environments — whether it's for an online community or a retail gaming market. We're the creators of "Zillions of Games", the first "universal game" package for Windows 95/98/NT/ME.
    [Show full text]
  • Board Games Studies 4/2001
    Board Games Studies 4/ 2001 CNWS PUBLICATIONS Board Games Studies CNWS PUBLICATIONS is produced by the Research School of Asian, African, and Amerindian Studies (CNWS), Universiteit Leiden, The Netherlands. Editorial board: M. Baud, R.A.H.D. Effert, M. Forrer, F. Hüsken, K. Jongeling, H. Maier, P. Silva, B. Walraven. All correspondence should be addressed to: Dr. W.J. Vogelsang, editor in chief CNWS Publications, c/o Research School CNWS, Leiden University, PO Box 9515, 2300 RA Leiden, The Netherlands. Tel. +31 (0)71 5272987/5272171 Fax. +31 (0)71 5272939 E-mail: [email protected] Board Games Studies, Vol. 4. International Journal for the Study of Board Games - Leiden 2001: Research School of Asian, African, and Amerindian Studies (CNWS). ISSN 1566-1962 - (CNWS publications, ISSN 0925-3084) ISBN 90-5789-030-5 Subject heading: Board games. Board Games Studies: Internet: http://boardgamesstudies.org Cover photograph: Koichi Masukawa Typeset by Cymbalum, Paris (France) Cover design: Nelleke Oosten © Copyright 2001, Research School CNWS, Leiden University, The Netherlands Copyright reserved. Subject to the exceptions provided for by law, no part of this publication may be reproduced and/or published in print, by photocopying, on microfilm or in any other way without the written consent of the copyright-holder(s); the same applies to whole or partial adaptations. The publisher retains the sole right to collect from third parties fees in respect of copying and/or take legal or other action for this purpose. Board Games International Journal for the Study of Board Games c n w s Studies 2001/4 Editorial Board Affiliations Thierry Depaulis (FRA) The following affiliated institutes Vernon Eagle (USA) underwrite the efforts of this journal and Ulrich Schädler (GER) actively exhibit board games material, Alex de Voogt (NL, Managing Editor) publish or financially support board games research.
    [Show full text]