Logica voor AI, Dec 2005 en Januari 2006
Algemene informatie over het college
Zie hier.
Aanvullende informatie over het college
Zie hier.
Practicum-info
Bij het tweede deel van het college hoort een practicum. De
practicum-sessies starten in week 51. Zie
hier
voor nadere info.
Huiswerk
Het huiswerk zal bestaan uit implementatie-opdrachten.
Het huiswerk dient te worden ingeleverd met behulp van submit,
via de website
www.cs.uu.nl/docs/submit.
De deadlines staan bij elke opgave aangegeven. Inleveren nadat de deadline
is verstreken is onmogelijk.
Hoorcolleges
Slides van de eerste acht hoorcolleges:
hier.
Docent van hoorcolleges 9 en volgende:
Jan van Eijck.
Informatie over de behandeling van de stof
Week 51, 2005
-
Hoorcollege 19/12/05: Zeer korte intro Haskell. De stap van definities
naar implementaties. Representatie van relaties.
- Slides van het college op 19/12/05:
LAI9.pdf.
- De Haskell code horend bij dit college:
LAI9.hs.
- Practicumopdrachten:
Exercises1.hs.
- Huiswerkopdracht: equivalentierelaties omzetten in partities.
Dit is de laatste opdracht van de practicumopdrachten.
- Oplossingen:
LabExerc1_Sol.hs.
- Hoorcollege 21/12/05: public announcements as update functions.
- Slides van het college op 21/12/05:
LAI10.pdf.
- De Haskell code horend bij dit college:
LAI10.hs.
Week 2, 2006
- Hoorcollege 9/1/06: Bisimulaties. Slides van het
college:
LAI11.pdf.
- Code horend bij de college-slides:
LAI11.hs.
- Hoorcollege 11/1/06: Four Howtos
(Hoe zet ik een bewijs op?
Hoe leer ik een bewijs van een ander begrijpen?
Hoe zet ik een definitie om in een Haskell implementatie?
Hoe raak ik vertrouwd met een gegeven implementatie van
een Haskell functie?) Slides van het
college:
LAI12.pdf.
- Code horend bij de college-slides:
LAI12.hs.
- Werkcollege-opdrachten:
Exercises2.pdf.
- Uitwerkingen van de werkcollege-opdrachten:
Solutions2.pdf.
- Nuttig advies van Gaia en Rosa (3 jaar):
advies.pdf.
- Computerpracticum-opdrachten:
LabExerc2.pdf.
- Code horend bij computerpracticum-opdrachten:
LabExerc2.hs.
- Huiswerkopdracht: formules evalueren in epistemische modellen
(laatste opdracht van LabExerc2.pdf)
- Op verzoek: Code met hints en eerste aanzet tot
oplossing van de huiswerk-opdrachten: Sol2.hs.
-
Deadline voor inleveren: woensdagochtend 18 januari, 9.00 u 's ochtends.
Inleveren met submit.
- Oplossingen van de practicumopdrachten van deze week:
LabExerc2_Sol.hs.
Week 3, 2006
- Hoorcollege 16/1/06: Actiemodellen. Slides van het college:
LAI13.pdf.
- De Haskell code horend bij dit college:
LAI13.hs.
- Hoorcollege 18/1/06: Modelleren van communicatieve acties. Slides van het college:
LAI14.pdf.
- De Haskell code horend bij dit college:
LAI14.hs.
- Werkcollege-opdrachten:
Exercises3.pdf.
- Uitwerkingen van de werkcollege-opdrachten:
Solutions3.pdf.
- Computerpracticum-opdrachten:
LabExerc3.pdf.
- Code horend bij computerpracticum-opdrachten:
LabExerc3.hs.
- Huiswerkopdracht: maximale bisimulaties genereren
(laatste twee opdrachten van
LabExerc3.pdf)
-
Deadline voor inleveren: woensdagochtend 25 januari, 9.00 u 's ochtends.
Inleveren met submit.
- Oplossingen van de computerpracticumopdrachten:
LabExerc3_Sol.pdf.
- Code horend bij de oplossingen van de computerpracticumopdrachten:
LabExerc3_Sol.hs.
Week 4, 2006
- Hoorcollege 23/1/06: Communicatie en Gemeenschappelijke Kennis. Slides van het college:
LAI15.pdf.
- De Haskell code horend bij dit college:
LAI15.hs.
- Hoorcollege 25/1/06: Epistemische Propositionele Dynamische Logica.
Slides van het college:
LAI16.pdf.
- De Haskell code horend bij dit college:
LAI16.hs.
- Werkcollege-opdrachten:
Exercises4.pdf.
- Uitwerkingen van de werkcollege-opdrachten:
Solutions4.pdf.
- Computerpracticum-opdrachten:
LabExerc4.pdf.
-
Deadline voor inleveren: vrijdagmiddag 3 februari, 5.00 u 's middags.
Inleveren met submit.