Transcript Aske Plaat, hoogleraar data science, Universiteit Leiden

Computer Go
Computer Schaak
Aske Plaat
Universiteit Leiden
Overzicht
•
Combinatorische Spellen
•
Computer Schaak
•
Computer Go
Schaken als Test voor
Kunstmatige Intelligentie
1769 De Turk, Wolfgang von
Kempelen
De Turk
1822: Eerste Computer
Het eerste schaakprogramma
•
1950 Shannon publikatie
•
1951 Turing papieren programma
•
1956 McCarthy Alpha-Beta
•
1962 MIT eerste redelijk spelende
schaak programma
•
1966 Eerste Match Moskou-Stanford
(9 maanden: 3-1)
Hoe speelt een computer
schaak?
Schaak-boom
Exponentieel aantal posities
d
b
De combinatorische explosie
spel
bord
complexiteit
boter kaas en
eieren
3x3
10^3
dammen
10x10
10^30
schaken
8x8
10^47
go
19x19
10^170
aantal atomen
in universum
10^80
Hoe doorzoek je een te
grote boom?
Oplossing: Afkappen
Evalueren
(Materiaal tellen)
1950-2005: Minimax zoek
dominantie
•
Alpha Beta
•
Zetordening
(slagzetten eerst)
•
Selectief zoeken
•
Null moves (passen)
•
Snelle evaluatie
1997: Deep Blue
Garry Kasparov
Resultaat: massaal
redeneren. Intelligentie?
Het is moeilijk te definiëren wat 'intelligentie' precies is. Het is derhalve
ook moeilijk te definiëren wat kunstmatige intelligentie precies is.
Dingen die aanvankelijk als zeer intelligent werden beschouwd, zoals
het winnen van een partij schaak van de wereldkampioen schaken,
blijken opeens toch niet zo intelligent te zijn als het doel eenmaal is
bereikt (Kasparov-Deep Blue, 1997). Soms wordt wel eens halfschertsend gezegd 'Kunstmatige intelligentie is wat we de computer
nog niet kunnen laten doen’.
Bron: Wikipedia
Toepassingen?
Snel zoeken
Aanbeveel-systemen
Medische diagnostiek
House
Go
Hoe speelt een computer
go?
Alpha Beta
schaken
zoeken
tactische lijnen
evalueren
materiaal tellen
Go: Alpha Beta faalt
spel
zoeken
evalueren
tactische lijnen, 35 materiaal tellen
strategie, 200
“invloed”
1. Monte Carlo Tree
Search
Evalueren
(Materiaal tellen)
2006 MCTS doorbraak
2. Deep Learning
wat ziet u voor verschil?
Tom & Max
Tweede doorbraak: Deep Learning en
CNN. Beeldherkenningstechnieken
Shallow NN in ’80, Deep NN
in ’10. Rekenkracht
2016: AlphaGo-Lee Sedol
Toepassingen
Schaken en Go
Schaken
Go
Tactiek
Strategie
Minimax/AlphaBeta
Monte Carlo Tree Search + NN
Snelle Evaluatie
Lijnen uitspelen en middelen + NN
Redeneren
Patronen
Diagnostiek
Beeldherkenning
Na Schaken, na Go?
Spellen met kansen en
bluffen?
Opgeloste spellen
spel
opgelost
uitkomst
Molenspel
1995
gelijkspel
Awari
2002
gelijkspel
8x8 Dammen
2007
gelijkspel
Pentago
eerste speler
wint
Vier op een rij
eerste speler
wint
1988
1950 Shannon, 1951 Turing,
1956 McCarthy