Rosja Mastop - Logica voor AI

Logica voor AI (2011/2012)

Voor rooster, beoordelingscriteria enz., zie: Cursusomschrijving INFOLAI

Literatuur voor deel een:
Modal Logic, de college-aantekeningen over modale Logica.
Extra hoofdstuk Tijdslogica.
(De eerdere versie van H1-H3 is verwijderd. Het eerste gedeelte is enigszins uitgebreid, met meer inleiding, maar de formele definities en voorbeelden in H3 zijn onveranderd.)
Oplossingen van opgaven in de reader.
Website van de inleiding logica voor CKI. Hier is ook een college-dictaat te vinden voor propositielogica en eerste orde-logica.

Literatuur voor deel twee:
Dynamic Epistemic Logic. Van Ditmarsch, Kooi, Van der Hoek. Springer, 2007.
Website voor tweede deel van de cursus.

Pagina met on-line applicaties om formules te evalueren, frame properties, en meer. Dankzij CKI-student Thomas Markus.

Opdrachten:
Aangereikt uiterlijk op woensdag, inleveren aan begin van de werkgroep (13.00u) op de volgende woensdag.
Gemiddelde telt voor 10% van het cijfer voor deel 1.

Week 1 (inleveren 23/11): Eerste opdracht.
Week 2 (inleveren 30/11): Tweede opdracht.
Week 3 (inleveren 07/12): Derde opdracht. Hier zijn LaTeX bestanden die je kunt benutten: de opdracht en de Fitch.sty.

Voor de diagrammen gebruik ik het pakket xypic. Het volgende is een LaTeX bestand van de eerste opdracht, voor diegenen die deze diagrammen ook willen maken.

Proeftentamen 2010
Proeftentamen 2011
Natuurlijke deductieregels

Overzicht:

Week 1 woe: Inleiding door Jan (modale logica en ai) en Rosja (Kripke modellen en geldigheid, t/m slide 15)
Week 1 vrij: Eigenschappen van frames, karakterisering
Week 2 woe: Bisimulatie en niet-karakteriseerbaarheid
Week 2 vrij: Vervalt voor Bachelor-voorlichting
Week 3 woe: Natuurlijke deductie voor modale logica
Week 3 vrij: Meer bewijstheorie, correctheid, en begin tijdslogica (zie slides woensdag)
Week 4 woe: Volledigheid
Week 4 vrij: [nog te bepalen]
Week 5 woe: Responsiecollege
Week 5 vrij: Tussentoets