DOCSLIB.ORG

Lecture Notes in Computer Science Edited by J

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Lecture Notes in Computer Science Edited by J Lecture Notes in Artificial Intelligence 1418 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen Robert E. Mercer Eric Neufeld (Eds.) Advances in A'~"rtltlClal " "Intelligence 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98 Vancouver, BC, Canada, June 18-20, 1998 Proceedings ~ Springer Series Editors Jaime G. Carbonell, Carnegie Melton Universit~ Pittsburgh, PA, USA Jfrg Siekmann, University of Saarland, Saarbriicken, Germany Volume Editors Robert E. Mercer Department of Computer Science, University of Western Ontario London, ON, N6A 5B7, Canada E-mail: [email protected] Eric Neufetd Department of Computer Science, University of Saskatchewan 57 Campus Drive, Saskatoon, SK, S7N 5A9, Canada E-mail: [email protected] Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Advances in artificial intelligence : proceedings / AI '98, Vancouver, BC, Canada, June 18 - 20, 1998. Robert Mercer ; Eric Neufeldt (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1998 (... biennial conference of the Canadian Society for Computational Studies of Intelligence ; 12) (Lecture notes in computer science ; Vol. 1418 : Lecture notes in artificial intelligence) ISBN 3-540-64575-6 CR Subject Classification (1991): 1.2 ISBN 3-540-64575-6 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. © Springer-Verlag Berlin Heidelberg 1998 Printed in Germany Typesetting: Camera ready by author SPIN 10637401 06/3142 - 5 4 3 2 1 0 Printed on acid-free paper Preface AI'98 is the 12th in the series of biennial Artificial Intelligence conferences spon- sored by the Canadian Society for Computational Studies of Intelligence/Socidt~ canadienne pour l'Stude de l'intelligence par ordinateur. As in recent years the conference is being held in conjunction with the annual conferences of two other Canadian societies and is collectively known as AI/GI/VI'98. The Canadian AI conference has a long tradition of attracting international papers of high quality from a variety of AI research areas. All papers submitted to the conference received three independent reviews. Fewer than half of the submitted papers were accepted to appear in the proceedings. A journal version of the best paper of the conference will be invited to appear in Computational Intelligence. The conference has always explicitly cultivated international par- ticipation. Papers were received from six continents, and this diversity is repre- sented in these proceedings. Once again we have maintained a single track format but for the first time have provided the authors with two different presentation venues: a number of topic focussed plenary sessions and a general poster session. A highlight of the conference continues to be the invited speakers. This year, four speakers, Oren Etzioni, Ken Ford, Stuart Russell, and Jonathan Schaeffer, are our guests. Conference success depends upon the hard work of a large number of indi- viduals. We gratefully acknowledge the members of the program committee who helped coordinate the refereeing of all of the submitted papers. They also made a number of important recommendations regarding various aspects of the pro- gram. Thanks also to the many referees who reviewed the papers. Their efforts were obvious in the detailed and constructive reviews, all done within a very tight schedule. Our gratitude goes to those who organized various conference events and helped with other conference matters: Franz Oppacher, Una-May O'Reilly, Wayne Davis, Rob Walker, Sandra McKay, Marjorie Francis, Luiz Merkle, and Jim Morey. We also appreciate the cooperation we have received from Springer- Verlag, especially Alfred Hoffmann. Finally, we would like to acknowledge the participants. Enjoy yourselves. April 1998 Bob Mercer Eric Neufeld Program Co-chairs, AI'98 The University of Western Ontario and The University of Saskatchewan VI Organization AI'98 is organized by the Canadian Society for Computational Studies of Intel- ligence/Soci~t~ canadienne pour l'6tude de l'intelligenee par ordinateur. Program Committee Conference Chair: Wayne Davis, The University of Alberta (emeritus) Program Co-chairs: Robert E. Mercer, The University of Western Ontario Eric Neufeld, The University of Saskatchewan Organizing Chairs: Dan Fuss, Simon Fraser University Fred Popowich, Simon Fraser University Workshops: Franz Oppacher, Carleton University Una-May O'Reilly, Massachusetts Institute of Technology Committee Members: Peter van Beek, University of Alberta Craig Boutilier, University of British Columbia Chrysanne DiMarco, University of Waterloo Jim Greer, University of Saskatchewan Howard Hamilton, University of Regina Graeme Hirst, University of Toronto Dekung Lin, University of Manitoba Charles Ling, University of Western Ontario Joel Martin, National Research Council Paul McFetridge, Simon Fraser University Peter Patel-Schneider, AT&T Research Jonathan Schaeffer, University of Alberta Fei Song, University of Guelph Bruce Spencer, University of New Brunswick Ahmed Tawfik, Wilfred Laurier University Andre Trudel, Acadia University Yang Xiang, University of Regina Qiang Yang, Simon Fraser University vii Referees Aijun An Jim Greer Brad Nickerson John Barron Russell Greiner Charlie Obimbo Peter van Beck Howard Hamilton Franz Oppacher Yngvi Bjornsson T. Heift Wanlin Pang Craig Boutilier Graeme Hirst Denis Papp Christina Carrick Morten Irgens Peter F. Patel-Schneider Brahim Chaib-draa W. Ken Jackson Sharad Sachdev Jianhua Chen Andreas Junghanns Jonathan Schaeffer Howard Cheng Edward Kim Danny Silver Paulina Chin George K. Knopf Fei Song Veronica Dahl Catherine Leung Bruce Spencer Nicolas Demers Dekang Lin Ahmed Tawfik Chrysanne DiMarco Charles Ling Janine Toole Roy Eagleson Hanan Lutfiyya Davide Turcato Eugene Eberbach Brien Maguire Andre Trudel Wael Farag Joel Martin George Tsiknis Denis Gagne Stan Matwin Kay Wiese Daya Gaur Paul McFetridge Y. Xiang Lev Goldfarb Guy Mineau Qiang Yang Sponsoring Institutions BC Advanced Systems Institute Simon Fraser University Table of Contents Planning, Constraints, Search and Databases Sokoban: Evaluating Standard Single-Agent Search Techniques in the Presence of Deadlock ............................................... 1 Andreas Junghanns, Jonathan Sehaeffer (University of Alberta) A Heuristic Incremental Modeling Approach to Course Timetabling ..... 16 Don Banks, Peter van Beck (University of Alberta), Amnon Meisels (Ben-Gurion University of the Negev) Planning Strategy Representation in DoLittle .......................... 30 Jacky Baltes (University of Auckland) Establishing Logical Connectivity between Query Keywords and Database Contents ......................................................... 45 Dong-Guk Shin, Lung-Yung Chu (University of Connecticut) Applications Test-Driving TANKA: Evaluating a Semi-automatic System of Text Analysis for Knowledge Acquisition .................................. 60 Ken Barker (University of Ottawa), Sylvain Delisle (Universitd du Quebec ~t Trois-Rivi~res), Stan Szpakowicz (University of Ottawa) An Object Indexing Methodology as Support to Object Recognition ...... 72 Guy W. Mineau, Mounsif Lahboub, Jean-Marie Beaulieu (Universitd Laval) Oracles and Assistants: Machine Learning Applied to Network Supervision 86 Richard Nock (Laboraloire d'Informatique, de Robotique et de Microdlectronique de Montpellier), Babak Esfandiari (Mitel Corporation) A Common Multi-agent Testbed for Diverse Seamless Personal Information Networking Applications ................................. 99 Suhayya Abu-Hakima, Ramiro Liscano, Roger Impey (National Research Council of Canada) Genetic Algorithms A ttybrid Genetic Algorithm for the Vehicle Routing Problem with Time Windows ......................................................... 114 Jean Berger, Martin Salois, Regent Begin (Defence Research Establishment Valcartier) Maintaining Genetic Diversity in Genetic Algorithms through Co-evolution 128 Jason Morrison~ Franz Oppacher (Carleton University) The Effect of Genetic Operator Probabilities and Selection Strategies on the Performance of a Genetic Algorithm .............................. 139 Kay Wiese, Scott D. Goodwin (University of Regina) The Impact of External Dependency in Genetic Programming Primitives.. 154 Una-May O'ReiIIy (Massachusetts Institute of Technology) Learning and Natural Language Quality Control in the Concept Learning Process ...................... 169 Udo Hahn, Klemens Schnattinger (Freiburg University) Grapheme Generation in Learning to Read English Words .............. 184 Charles X. Ling, Bei Zhang (University of Western Ontario) A Trainable Bracketer for Noun Modifiers ............................. 196 Ken Barker (University of Ottawa) Posters Lessons Learned in the
Load more

Recommended publications
  • University of Alberta Library Release
    University of Alberta Library Release Form Name of Author: Morgan Hugh Kan Title of Thesis: Postgame Analysis of Poker Decisions Degree: Master of Science Year this Degree Granted: 2007 Permission is hereby granted to the University of Alberta Library to reproduce sin- gle copies of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. The author reserves all other publication and other rights in association with the copyright in the thesis, and except as herein before provided, neither the thesis nor any substantial portion thereof may be printed or otherwise reproduced in any material form whatever without the author's prior written permission. Morgan Hugh Kan Date: University of Alberta POSTGAME ANALYSIS OF POKER DECISIONS by Morgan Hugh Kan A thesis submitted to the Faculty of Graduate Studies and Research in partial ful- fillment of the requirements for the degree of Master of Science. Department of Computing Science Edmonton, Alberta Spring 2007 University of Alberta Faculty of Graduate Studies and Research The undersigned certify that they have read, and recommend to the Faculty of Grad- uate Studies and Research for acceptance, a thesis entitled Postgame Analysis of Poker Decisions submitted by Morgan Hugh Kan in partial fulfillment of the re- quirements for the degree of Master of Science. Jonathan Schaeffer Supervisor Michael Bowling Michael Carbonaro External Examiner Date: To my parents, Janet and Chay Kan, and my sister, Megan Kan, I would never have made it this far without them. Abstract In Artificial Intelligence research, evaluation is a recurring theme. A newly crafted game-playing program is interesting if it can be shown to be better by some mea- sure.
    [Show full text]
  • SCIENCE VOLUME 18, No 2, FALL 2007
    SCIENCE VOLUME 18, No 2, FALL 2007 FACULTY OF SCIENCE ALUMNI MAGAZINE contourswww.ualberta.ca/science UNIVERSITY Reading CREATES our body’s SPACE chemicals for INSTITUTE better diagnosis Honouring Mama ALUMNUS TURNS Lu’s spirit of GRIEF INTO HOPE giving Fine arts ARCTIC PONDS students liven DRYING UP up lab space through games SCIENCEcontours Science Contours is published twice MESSAGE FROM THE DEAN a year by the faculty of Science to provide current information on its many activities. The magazine is distributed to alumni and friends of the Faculty of An Intersection Between Arts and Science Science. Phase 1 of our new Dean of Science Centennial Centre for Gregory Taylor Interdisciplinary Sci- ence (CCIS) was near- Assistant Dean, External Relations Claudia Wood ing completion when I happened upon a stu- External Relations Team dent art competition on Katherine Captain, Emily Lennstrom, campus. It occurred to Michel Proulx, Traci Toshack, me then that it would be Kevin Websdale wonderful to have stu- Fine arts students Editor dents help us put some Wendy Lung and Ansun Michel Proulx finishing touches on our Yan enjoy their work new space. Graphic Design After a few conversations, two different classes - one in Inte- Studio X Design grative/Exhibit Design and the other in Printmaking - were tasked with coming up with ideas. The results are astounding. Contributing writers To begin with, the students had to wrap their heads around the Bev Betkowski, Kris Connor, Michel purpose and uniqueness of the building. CCIS is one of the few Proulx, Isabela Varela facilities in the world to house interdisciplinary teams under one roof and Phase 1 is no different.
    [Show full text]
  • Building a Champion Level Computer Poker Player
    University of Alberta Library Release Form Name of Author: Michael Bradley Johanson Title of Thesis: Robust Strategies and Counter-Strategies: Building a Champion Level Computer Poker Player Degree: Master of Science Year this Degree Granted: 2007 Permission is hereby granted to the University of Alberta Library to reproduce single copies of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. The author reserves all other publication and other rights in association with the copyright in the thesis, and except as herein before provided, neither the thesis nor any substantial portion thereof may be printed or otherwise reproduced in any material form whatever without the author’s prior written permission. Michael Bradley Johanson Date: Too much chaos, nothing gets finished. Too much order, nothing gets started. — Hexar’s Corollary University of Alberta ROBUST STRATEGIES AND COUNTER-STRATEGIES: BUILDING A CHAMPION LEVEL COMPUTER POKER PLAYER by Michael Bradley Johanson A thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Master of Science. Department of Computing Science Edmonton, Alberta Fall 2007 University of Alberta Faculty of Graduate Studies and Research The undersigned certify that they have read, and recommend to the Faculty of Graduate Studies and Research for acceptance, a thesis entitled Robust Strategies and Counter-Strategies: Building a Champion Level Computer Poker Player submitted by Michael Bradley Johanson in partial fulfillment of the requirements for the degree of Master of Science. Michael Bowling Supervisor Duane Szafron Michael Carbonaro External Examiner Date: To my family: my parents Brad and Sue Johanson, and my brother, Jeff Johanson.
    [Show full text]
  • The Game Stats Appendix A: Further Reading
    The Game Stats Appendix A: Further Reading Checkers Organizations American Checker Federation (ACF). http://usacheckers.com. Membership in- cludes the bimonthly ACF Bulletin. English Draughts Association (EDA). http://home.clara.net/davey. Membership includes the occasional English Draughts Journal. Checkers Irving Chernev, The Compleat Draughts Player, Oxford University Press, 1981. A readable and instructive book including the history of the game, openings, strate- gies, endgames, problem solving, and classic games. Chernev is one of the few players to reach the title of master in both chess and checkers. Robert Pike, Checker Power: A Game of Problem Solving, Charlesbridge Pub- lishing, 1997. Pike has authored a series of readable books on using checkers for problem solving (and fun). Robert L. Schuffett, Checkers the Tinsley Way, published privately, 1982. Avail- able through the ACF. This book contains over seven hundred of Tinsley’s games, along with pictures, anecdotes, and statistics from his remarkable career. Richard Pask, The Legendary MFT, Checkered Thinking, 2007. Available at http://www.bobnewell.net/nucleus/checkers.php. The most comprehensive collec- tion of material on Tinsley. Richard Fortman, Basic Checkers, seven volumes, privately published. Available from the ACF and at http://home.clara.net/davey/basicche.html. A detailed intro- duction to the main lines of play of the three-move ballot openings. Computer Checkers History Christopher Strachey, “Digital Computers Applied to Games,” Faster Than Thought, B.V. Bowden (editor), Pitman & Sons, London, 1953. Arthur Samuel, “Some Studies in Machine Learning Using the Game of Check- ers,” IBM Journal of Research and Development 3, 1959, pp. 210-229.
    [Show full text]
  • CHINOOK the World Man-Machine Checkers Champion
    AI Magazine Volume 17 Number 1 (1996) (© AAAI) Articles CHINOOK The World Man-Machine Checkers Champion Jonathan Schaeffer, Robert Lake, Paul Lu, and Martin Bryant ■ In 1992, the seemingly unbeatable World Check- the American Checker Federation (ACF), CHI- er Champion Marion Tinsley defended his title NOOK was allowed to play in the 1990 U.S. against the computer program CHINOOK. After an championship. This biennial event attracts intense, tightly contested match, Tinsley fought the best players in the world, with the winner back from behind to win the match by scoring earning the right to play a match for the four wins to CHINOOK’s two, with 33 draws. This match was the first time in history that a human world championship. world champion defended his title against a com- CHINOOK came in an undefeated second in puter. This article reports on the progress of the the tournament behind the world champion, checkers (8 3 8 draughts) program CHINOOK since Marion Tinsley. The four individual games 1992. Two years of research and development on between CHINOOK and Tinsley were drawn. the program culminated in a rematch with Tins- This placing earned CHINOOK the right to chal- ley in August 1994. In this match, after six games lenge Tinsley for the world championship, (all draws), Tinsley withdrew from the match and the first time a computer had earned such a relinquished the world championship title to CHI- right in any game. NOOK, citing health concerns. CHINOOK has since defended its title in two subsequent matches. It is Tinsley emerged as a dominant player in the first time in history that a computer has won the late 1940s.
    [Show full text]
  • Best-First and Depth-First Minimax Search in Practice
    Best-First and Depth-First Minimax Search in Practice Aske Plaat, Erasmus University, [email protected] Jonathan Schaeffer, University of Alberta, [email protected] Wim Pijls, Erasmus University, [email protected] Arie de Bruin, Erasmus University, [email protected] Erasmus University, University of Alberta, Department of Computer Science, Department of Computing Science, Room H4-31, P.O. Box 1738, 615 General Services Building, 3000 DR Rotterdam, Edmonton, Alberta, The Netherlands Canada T6G 2H1 Abstract Most practitioners use a variant of the Alpha-Beta algorithm, a simple depth-®rst pro- cedure, for searching minimax trees. SSS*, with its best-®rst search strategy, reportedly offers the potential for more ef®cient search. However, the complex formulation of the al- gorithm and its alleged excessive memory requirements preclude its use in practice. For two decades, the search ef®ciency of ªsmartº best-®rst SSS* has cast doubt on the effectiveness of ªdumbº depth-®rst Alpha-Beta. This paper presents a simple framework for calling Alpha-Beta that allows us to create a variety of algorithms, including SSS* and DUAL*. In effect, we formulate a best-®rst algorithm using depth-®rst search. Expressed in this framework SSS* is just a special case of Alpha-Beta, solving all of the perceived drawbacks of the algorithm. In practice, Alpha-Beta variants typically evaluate less nodes than SSS*. A new instance of this framework, MTD(ƒ), out-performs SSS* and NegaScout, the Alpha-Beta variant of choice by practitioners. 1 Introduction Game playing is one of the classic problems of arti®cial intelligence.
    [Show full text]
  • University of Alberta by Darse Billings a Thesis Submitted to the Faculty Of
    University of Alberta ALGORITHMS AND ASSESSMENT IN COMPUTER POKER by Darse Billings A thesis submitted to the Faculty of Graduate Studies and Research in partial ful- fillment of the requirements for the degree of Doctor of Philosophy. Department of Computing Science Edmonton, Alberta Fall 2006 University of Alberta Library Release Form Name of Author: Darse Billings Title of Thesis: Algorithms and Assessment in Computer Poker Degree: Doctor of Philosophy Year this Degree Granted: 2006 Permission is hereby granted to the University of Alberta Library to reproduce sin- gle copies of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. The author reserves all other publication and other rights in association with the copyright in the thesis, and except as herein before provided, neither the thesis nor any substantial portion thereof may be printed or otherwise reproduced in any material form whatever without the author's prior written permission. Darse Billings Date: University of Alberta ALGORITHMS AND ASSESSMENT IN COMPUTER POKER by Darse Billings A thesis submitted to the Faculty of Graduate Studies and Research in partial ful- fillment of the requirements for the degree of Doctor of Philosophy. Department of Computing Science Edmonton, Alberta Fall 2006 University of Alberta Faculty of Graduate Studies and Research The undersigned certify that they have read, and recommend to the Faculty of Graduate Studies and Research for acceptance, a thesis entitled Algorithms and Assessment in Computer Poker submitted by Darse Billings in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Dr. Jonathan Schaeffer Co-Supervisor Dr.
    [Show full text]
  • Man Versus Machine. . . for the World Checkers Championship
    AI Magazine Volume 14 Number 2 (1993) (© AAAI) Articles Man Versus Machine . 28 AI MAGAZINE Articles . for the World Checkers Championship Jonathan Schaeffer, Norman Treloar, Paul Lu, and Robert Lake ■ In August 1992, the world checkers champion, with CHINOOK before we can expect to defeat Marion Tinsley, defended his title against the Tinsley in a match, but the close score and computer program CHINOOK. Because of its success the two wins represent a milestone from the in human tournaments, CHINOOK had earned the computing point of view. right to play for the world championship. Tinsley CHINOOK is the first program to play for a won the best-of-40-game match with a score of 4 human world championship in a nontrivial wins, 2 losses, and 33 draws. This event was the first time in history that a program played for a game of skill. Computers have played world human world championship and might be a pre- champions before, for example, DEEP THOUGHT lude to what is to come in chess. This article tells in chess (Hsu et al. 1990) and BKG9 in the story of the first Man versus Machine World backgammon (Berliner 1980), but they were Championship match. exhibition matches with no title at stake. Tinsley is to be congratulated for putting his t has been 30 years since Arthur Samuel’s reputation on the line against a computer. (1967, 1959) pioneering efforts in machine This match might be a prelude to what will Ilearning gave prominence to checkers- eventually happen in chess. playing programs. Samuel’s successes includ- ed a victory by his program over a The Champion master-level player.
    [Show full text]
  • Games History.Key
    Artificial Intelligence: A History of Game-Playing Programs Nathan Sturtevant AI For Traditional Games With thanks to Jonathan Schaeffer What does it mean to be intelligent? How can we measure computer intelligence? Nathan Sturtevant When will human intelligence be surpassed? Nathan Sturtevant When will human intelligence be surpassed? Human strengths Computer Strengths • Intuition • Fast, precise computation • Visual patterns • Large, perfect memory • Deeply crafted knowledge • Repetitive, boring tasks • Experience applied to new situations Nathan Sturtevant When will human intelligence be surpassed? Nathan Sturtevant When will human intelligence be surpassed? Why games? Focus • Well defined • How did the computer AI win? • Well known • How did the humans react? • Measurable • What mistakes were made in over-stating performance • Only 60 years ago it was an open question whether computers could play games • Game play was thought to be a creative, human activity, which machines would be incapable of Nathan Sturtevant When will human intelligence be surpassed? Nathan Sturtevant When will human intelligence be surpassed? Checkers History • Arthur Samuel began work on Checkers in the late 50’s • Wrote a program that “learned” to play • Beat Robert Nealey in 1962 • IBM advertised as “a former Connecticut checkers champion, and one of the nation’s foremost players” • Nealey won rematch in 1963 • Nealey didn’t win Connecticut state championship until 1966 • Crushed by human champions in 1966 Nathan Sturtevant When will human intelligence be surpassed? Reports of success overblown Human Champ: Marion Tinsley • “...it seems safe to predict that within • “Computers became unbeatable in ten years, checkers will be a completely checkers several years ago.” Thomas • Closest thing to perfect decidable game.” Richard Bellman, Hoover, “Intelligent Machines,” Omni human player Proceedings of the National Academy of magazine, 1979, p.
    [Show full text]
  • Poker Learner: Reinforcement Learning Applied to Texas Hold'em
    FACULDADE DE ENGENHARIA DA UNIVERSIDADE DO PORTO Poker Learner: Reinforcement Learning Applied to Texas Hold’em Poker Nuno Miguel da Silva Passos Master in Informatics and Computer Engineering Supervisor: Luís Paulo Reis (Ph.D.) Co-Supervisor: Luís Teófilo (Ms. C.) 18th July, 2011 © Nuno Passos, 2011 Poker Learner: Reinforcement Learning Applied to Texas Hold’em Poker Nuno Miguel da Silva Passos Master in Informatics and Computing Engineering Approved in oral examination by the committee: Chair: António Coelho (Ph. D.) External Examiner: Luís Correia (Ph. D.) Supervisor: Luís Paulo Reis (Ph. D.) ____________________________________________________ 18th July, 2011 Resumo Os jogos sempre foram uma área de interesse para a inteligência artificial, especialmente devido às suas regras simples e bem definidas e a necessidade de estratégias complexas para garantir a vitória. Vários investigadores da área das ciências da computação dedicaram o seu tempo no estudo de jogos como o Xadrez ou Damas, obtendo resultados notáveis, tendo desenvolvido jogadores artificiais capazes de derrotar os melhores jogadores humanos. Na última década, o Poker tornou-se num fenómeno de popularidade crescente a nível mundial, comprovado pelo aumento consideravel do número de jogadores nos casinos online, tornando o Poker numa indústria bastante rentável. Na área de investigação da inteligência artificial, o Poker também tornou-se igualmente num domínio interessante devido à natureza estocástica e de informação incompleta do jogo. Por estes motivos, Poker apresenta-se como uma boa plataforma para desenvolver e testar soluções para desafios presentes na área de inteligência artificial, como o tratamento de informação incompleta do ambiente e a possibilidade de existirem elementos aleatórios no mesmo.
    [Show full text]
  • Solving the Game of Checkers
    Games of No Chance MSRI Publications Volume 29, 1996 Solving the Game of Checkers JONATHAN SCHAEFFER AND ROBERT LAKE Abstract. In 1962, a checkers-playing program written by Arthur Samuel defeated a self-proclaimed master player, creating a sensation at the time for the fledgling field of computer science called artificial intelligence. The historical record refers to this event as having solved the game of checkers. This paper discusses achieving three different levels of solving the game: publicly (as evidenced by Samuel’s results), practically (by the checkers program Chinook, the best player in the world) and provably (by consid- ering the 5 1020 positions in the search space). The latter definition may be attainable× in the near future. 1. Introduction Checkers is a popular game around the world, with over 150 documented variations. Only two versions, however, have a large international playing com- munity. What is commonly known as checkers (or draughts) in North America is widely played in the United States and the British Commonwealth. It is played on an 8 8 board, with checkers moving one square forward and kings moving one × square in any direction. Captures take place by jumping over an opposing piece, and a player is allowed to jump multiple men in one move. Checkers promote to kings when they advance to the last rank of the board. So-called international checkers is popular in the Netherlands and the former Soviet Union. This vari- ant uses a 10 10 board, with checkers allowed to capture backwards, and kings × allowed to move many squares in one direction, much like bishops in chess.
    [Show full text]
  • Chinook: the World Man-Machine Checkers Champion
    Chinook: The World Man-Machine Checkers Champion Jonathan Schaeffer, Robert Lake, Paul Lu and Martin Bryant ABSTRACT In 1992, the seemingly unbeatable World Checker Champion, Dr. Marion Tinsley, defended his title against the computer program Chinook. After an intense, tightly-contested match, Tinsley fought back from behind to win the match by scoring four wins to Chinook's two, with 33 draws. This was the first time in history that a human World Champion defended his title against a computer. This article reports on the progress of the checkers (8×8 draughts) program Chinook since 1992. Two years of research and development on the program culminated in a rematch with Tinsley in August 1994. In that match, after six games (all draws), Tinsley resigned the match and the World Cham- pionship title to Chinook citing health concerns. Chinook has since defended its title in two subsequent matches. This is the first time in history that a com- puter has won a human World Championship. Keywords: game-playing, alpha-beta, heuristic search, checkers. 1. Background The most well-known checkers-playing program was Samuel's effort in the period around 1955-1965 (Samuel 1967; Samuel 1959). This work remains a milestone in artif- icial intelligence research. Samuel's program reportedly beat a master and "solved" the game of checkers. Both journalistic claims are false, but they served to create the impression that there was nothing of scientific interest left in the game (Samuel himself made no such claims). Consequently, most subsequent games-related research turned to chess. Other than a program from Duke University in the 1970's (Truscott 1979), little attention was paid to achieving a World Championship caliber checkers program.
    [Show full text]