Logo

Kunstmatige intelligentie

voorjaar 2019: Colleges/werkcolleges zijn op donderdagen, te beginnen op 7 februari 2019; college van 11:00 tot 12:45, werkcollege 's middags.

Status nakijkwerk: het tentamen van 12 juli 2018 is nagekeken, resultaten staan in USIS. Inzage: kamer 159.


Het vak Kunstmatige intelligentie, ook wel AI (van Artificial Intelligence) genoemd, wordt verzorgd door dr. W.A. (Walter) Kosters, geassisteerd door Roy van Hal, Diederick Vermetten en Joos van Zweeden. en wordt in het voorjaar van 2018 gegeven. (Eerstvolgende keer daarna: voorjaar 2019.)

Note that the course is in DUTCH.


 

Algemene informatie  |  Materiaal  |  Archief  |  Practicum  |  Colleges

 


Algemene informatie

Collegetijden: donderdagen, van 11:00 tot 12:45 uur, in zaal 211/214 van het Huygens, Leiden. [NB Op 8 en 22 maart in De Sitterzaal.] Data, 14x: donderdagen 8 februari tot en met 24 mei 2018 (niet op 15 maart en 10 mei).
En iedere week is er een werkcollege gepland: 13:30-15:15 uur; in zaal 302/... van het Snellius — en vier keer (8 maart, 5 april, 3 mei en 24 mei) sommen maken. (Niet op 8 februari, vanwege de dies.)

Tijdens de werkcolleges wordt er gewerkt aan kleine opgaven, aan oude tentamenopgaven en in de computerzalen aan de programmeeropgaven — en de bijbehorende verslagen. Data en onderwerpen voor de vier sommen-werkcolleges zijn:

Er zijn hiervan uitwerkingen beschikbaar. Geef opmerkingen svp door.

Het vak levert 6 (zes) ECTS punten op. Naast het voldoende maken van het tentamen is het hiervoor ook nodig het practicum voldoende te hebben. Het eindcijfer wordt grotendeels bepaald door het tentamencijfer, enigszins afgerond in de richting van het gemiddelde practicumresultaat (indien dat het eindcijfer verhoogt), mits beide voldoende zijn (om precies te zijn: als het gemiddelde practicumcijfer G groter is dan het tentamencijfer T, wordt het eindcijfer hun gemiddelde, (G+T)/2, waarbij dit maximaal 1 punt meer mag worden dan T; anders wordt het eindcijfer gelijk aan het tentamencijfer). Het eindcijfer wordt afgerond op het dichtstbijzijnde getal uit de verzameling {1,2,3,4,5, 6,6.5,7,7.5,8,8.5,9,9.5,10}. Ten einde het practicum voldoende te maken, moeten de vier opgaven alle met minstens een 6 of een "OK" beoordeeld zijn (die laatste telt voor een zes voor de berekening van het gemiddelde G). Als een opgave niet aan de eisen voldoet, moet deze zo snel mogelijk worden aangevuld; lever in dat geval ook de nagekeken eerdere versie van het verslag weer in.
Het college is in eerste instantie bedoeld voor tweedejaars studenten Informatica, maar is ook interessant voor andere belangstellenden; voorkennis van de programmeertaal C++ is sterk aan te raden.

De tentamendata in 2018 zijn:


Materiaal

BOEK RN Gebruik wordt gemaakt van het boek Artificial intelligence, A modern approach van Stuart J. Russell en Peter Norvig, third edition, Prentice Hall, 2010. Het kost circa 65 euro.
In het bijzonder worden uit dit boek de volgende hoofdstukken behandeld (voor de hoofdstukken uit de vorige druk, zie de geschiedenis): 1 (Introduction; lezen), 2 (Intelligent agents; lezen), 3 (Solving problems by searching; uitgebreid), 4 (Beyond classical search; uitgebreid), 5 (Adversarial search; uitgebreid), 6 (Constraint satisfaction problems; uitgebreid), 7 (Logical agents; lezen, met name Wumpus), 8 (First-order logic; lezen, met name Wumpus), 14 (Probabilistic reasoning; uitgebreid; lees ook 13, Quantifying uncertainty), 18 (Learning from examples; uitgebreid, met name neurale netwerken en beslissingsbomen), 19.1 (Knowledge in learning; lezen), 21.1,2,3 (Reinforcement learning, geillustreerd met 17.1,2; uitgebreid, aangevuld met 4.1.4 Genetische algoritmen) en 25 (Robotics; lezen, + concreet robot-programma), grotendeels in deze volgorde. Lees ook eens Hoofdstuk 26 (Philosophical foundations).
En als MOOC is het vak ook beschikbaar!

Daarnaast werd in een redelijk ver verleden nog speciaal aandacht besteed aan het onderwerp Data mining, maar aangezien er nu een apart derdejaars vak is met die titel ...

Overige literatuur (niet kopen — tenzij je erg veel geld hebt):


Archief

Een stel oude tentamens: Er is meer informatie te vinden over het college gedurende de afgelopen jaren.


Practicum

Voor iedere practicumopgave (met maximaal twee personen te maken) moeten worden ingeleverd: een minstens drie pagina's (laten we zeggen vijf pagina's, afgezien van de Appendix) tellend verslag in LaTeX (dit is een GROTE tekst in PDF; zie ook LaTeX in één pagina; of een heel korte zichzelf uitleggende voorbeeldfile) en een werkend programma (digitaal (mailen aan de docent) en uitgeprint in de Appendix van het verslag; stuur geen LaTeX/PS/PDF-files en ook geen executables). Het verslag moet een duidelijke opbouw hebben, bijvoorbeeld:
  1. Inleiding ("dit is de tweede opdracht van het college ...", met verwijzing naar de website)
  2. Uitleg probleem (plaatje; "de spelregels zijn ...", gebruikte definities)
  3. Relevant werk ("stelling zegt dat ...")
  4. Aanpak (plaatje; "een drielaags neuraal netwerk ...")
  5. Implementatie ("een 2-dimensionaal array"; "C++"; kort!)
  6. Experimenten (tabel, grafiek)
  7. Conclusie en verder onderzoek ("ging fout als de testopstelling niet verlicht was")
  8. Referenties (genummerd; naar alle wordt verwezen; "handleiding Java-robots ...", "Russell en Norvig ...", "sheets college ...")
    Een fatsoenlijke referentie ziet er uit als:
    [1] S.J. Russell en P. Norvig, Artificial intelligence, A modern approach, third edition, Prentice Hall, 2010
  9. Appendix: het programma; gebruik package listings, zie onder.
    In geval van aangepaste code: geef alleen de wijzigingen.
Er is een klein skelet voor de verslagen: verslag.tex, dat deze PDF-versie op kan leveren. Zie ook diverse opmerkingen.

De deadlines zijn strikt, overleg eventueel met de docent(en). Voor alle opdrachten geldt dat ze nog voorlopig zijn, aanvullingen tijdens het semester zullen zeker voorkomen. Eigen initiatief wordt —na overleg— op prijs gesteld.
De opgaven worden per stuk als volgt beoordeeld: er wordt gekeken naar het verslag en het programma (met name werking en leesbaarheid); originaliteit beinvloedt de eind-afronding.
Het practicum bestaat zoals gezegd uit vier opgaven:

  1. Tetris; deadline donderdag 1 maart 2018, 11:00 uur
    Zie hier.
  2. Agenten & Robotica; deadline donderdag 29 maart 2018, 11:00 uur
    Zie hier.
  3. Clobber; deadline donderdag 26 april 2018, 11:00 uur
    Zie hier.
  4. Neurale netwerken; deadline donderdag 24 mei 2018, 11:00 uur
    Zie hier.

Colleges

Tijdens de colleges wordt het volgende behandeld. Het programma is uiteraard voorlopig, zelfs als het semester voorbij is — op deze webpagina is steeds de meest actuele versie te vinden. En voor de liefhebbers: alle 365 sheets (in PDF; VOORLOPIGE versie 2018). Geen tentamenstof: sheets over Lego en RoboCom; sheets over PAC leren; sheets over MDP's, afleiding backpropagation. (In de 2018-versie met 365 sheets waren dit sheets 100-108, 197, 235, 245-250, 278, 310-315 en 356; vaak aangegeven met Ξ.) Er wordt op het tentamen vanzelfsprekend nog wel eens iets gevraagd wat niet (letterlijk) op de sheets staat ...

  1. donderdag 8 februari 2018
    Algemene introductie; het practicum, met name de eerste opgave.
    Hoofdstuk 1 (Introductie) in vogelvlucht, p. 1-30; zie de sheets:
        Introductie

     leuk leesvoer
     
     Alan M. Turing, Computing machinery and intelligence
     Mind 59 (1950) 433-460
     doi:10.1093/mind/LIX.236.433; ophalen vanaf een PC binnen de universiteit 
     
     
     Jason Hutchens, How to pass the Turing test by cheating
     Technical report, 1997
     

  2. donderdag 15 februari 2018
    Hoofdstuk 2 (Intelligente agenten), p. 34-59; zie de sheets:
         Intelligente agenten

  3. donderdag 22 februari 2018
    Hoofdstukken 7 (Logisch redenerende agenten) en 8 (Eerste orde logica), p. 234-252, 265-267 en 285-306; zie de sheets:
         Logische agenten

  4. donderdag 1 maart 2018
    Algemene informatie over de tweede practicum-opgave.
    Hoofdstuk 3 (Probleemoplossen en zoeken), p. 64-109; zie de sheets:
         Probleemoplossen en zoeken

  5. donderdag 8 maart 2018 [De Sitterzaal]
    (vervolg vorig college) Hoofdstuk 4 (Gericht zoeken), p. 120-130; zie de sheets:
         Gericht zoeken

    Op donderdagmiddag 8 maart 2018 is in zaal 302 een werkcollege met sommen, zie Opgaven 1 (van 2): 2, 3, 7, 8, 14.

  6. donderdag 22 maart 2018 [De Sitterzaal]
    Hoofdstuk 5 (Spel(l)en), p. 161-190; zie de sheets:
         Spel(l)en

     leuk leesvoer
     
     H. Jaap van den Herik, Jos W.H.M. Uiterwijk en Jack van Rijswijck,  Games solved: Now and in the future 
     Artificial Intelligence 134 (2002) 277-311
     doi:10.1016/S0004-3702(01)00152-7; ophalen vanaf een PC binnen de universiteit
     
     
     Jonathan Schaeffer, Neil Burch, Yngvi Björnsson, Akihiro Kishimoto, Martin Müller, Robert Lake, Paul Lu en Steve Sutphen, 
     Checkers is solved 
     Science 317 (2007) 1518-1522 
     doi:10.1126/science.1144079; ophalen vanaf een PC binnen de universiteit
     
     
     David Silver et al., Mastering the game of Go without human knowledge 
     Nature 550 (2017) 354-359
     doi:10.1038/nature24270; ophalen vanaf een PC binnen de universiteit
     zie ook hier
     

  7. donderdag 29 maart 2018
    Spel(l)en — vervolg.

    Algemene informatie over de derde practicum-opgave, zie ook hier.

  8. donderdag 5 april 2018
    Hoofdstuk 6 (Constraint Satisfaction Problemen), p. 202-223; zie de sheets:
         CSP's

    Op donderdagmiddag 5 april 2018 is in zaal 302 een werkcollege met sommen, zie Opgaven 1 (van 2): 11, 16, 17.

  9. donderdag 12 april 2018
    Robotica. Bekijk Hoofdstuk 25 (Robotica), p. 971-1019; zie ook de sheets:
         Robotica

     leuk leesvoer
     
     Rodney A. Brooks, Intelligence without representation
     Artificial Intelligence 47 (1991) 139-159
     doi:10.1016/0004-3702(91)90053-M; ophalen vanaf een PC binnen de universiteit 
     

    Hoofdstuk 18.7 (Neurale netwerken), p. 727-737; zie de sheets:
         Neurale netwerken

     leuk leesvoer
     
     William S. Noble, What is a support vector machine?
     Nature Biotechnology 24 (2006) 1565-1567
     doi:10.1038/nbt1206-1565; ophalen vanaf een PC binnen de universiteit 
     
     
     Yann LeCun, Yoshua Bengio en Geoffrey Hinton, Deep learning
     Nature 521 (2015) 436-444
     doi:10.1038/nature14539; ophalen vanaf een PC binnen de universiteit 
     

  10. donderdag 19 april 2018
    Vervolg Neurale netwerken.

  11. donderdag 26 april 2018
    Hoofdstuk 18 (Leren van/uit observaties), met name ID3, en Hoofdstuk 19.1, kort;
    Hoofdstuk 21.1,2,3 (Reinforcement leren, geillustreerd met 17.1,2 (deels)), p. 693-758, 768-776 (en 830-845); zie de sheets:
         Leren

    Algemene informatie over de vierde practicum-opgave.

  12. donderdag 3 mei 2018
    Vervolg Leren.
    Hoofdstuk 4.3 (Genetische algoritmen), p. 126-129; zie de sheets:
         Genetische algoritmen

    Op donderdagmiddag 3 mei 2018 is in zaal 302 een werkcollege met sommen, zie Opgaven 2 (van 2): 19, 23, 27, 29, 10.

    Op donderdag 10 mei 2018 is er geen (werk)college.

  13. donderdag 17 mei 2018
    Hoofdstuk 13 (Onzekerheid; kort) en Hoofdstuk 14 (Bayesiaanse netwerken), p. 480-499 en 510-529; zie de sheets:
         Bayesiaanse netwerken

  14. donderdag 24 mei 2018
    Vervolg plus van alles, waaronder een oud tentamen (met antwoorden).

    Op donderdagmiddag 24 mei 2018 is in zaal 302 een werkcollege met sommen, zie Opgaven 2 (van 2): 30, 31, 33, 13, 14.

Genoemde hoofdstukken komen steeds uit het boek van Russell en Norvig, derde druk — met dank voor een flink gedeelte van de sheets en veel plaatjes.


20 juni 2018 — http://www.liacs.leidenuniv.nl/~kosterswa/AI/index.html