| Vakcode: | WILAI |
| Studiepunten: | 5.72 ECTS (=4 oude studiepunten) |
| Periode: | periode 3 (week 2 t/m 9, dwz 6-1-2003 t/m 28-2-2003; herkansing week 19)
|
| Deelnemers: | tot nu toe 66 inschrijvingen |
| Rooster: | Dit is een oud rooster!
|
| Inhoud: | Dit vak betreft de theorie van modale logica en toepassingen op het
gebied van de AI. Er wordt begonnen met een toepassing: epistemische
logica. Er worden varianten van kennis en geloof besproken die in de
informatica, met name de AI, zijn ontwikkeld, zoals gedistribueerde
kennis en common knowledge. Veel nadruk wordt gelegd op het
modelleren van problemen die met kennis te maken hebben. Voorts komt
aan de orde de meer algemene, `klassieke' modale basistheorie
gebaseerd op Kripke-modellen. Enkele technische begrippen die
behandeld worden: bisimulatie, filtratie, volledigheid, frames,
correspondentie. |
| Literatuur: | J.-J.Ch. Meyer en W. van der Hoek,
Epistemic logic for AI and computer science,
Cambridge Tracts in Theoretical Computer Science, No. 41 (1995)
ISBN 052146014,
en handout. |
| Werkvorm: | per week 4 uur hoorcollege en 4 uur werkcollege |
| Toetsvorm: | Tentamen in twee delen. Het eerste deel (gesloten boek) gaat over de basis van kennislogica en toepassingen (stof van de eerste 3 weken). Het tweede deel gaat over de (meta)theorie van modale logica. Het totaalresultaat is het gemiddelde van de resultaten van de twee delen. Het eerste deeltentamen vindt plaats op maandag 3 februari, gedurende het werkcollege van 11 - 12.45 uur in BBL 420 / BBL 426. Het tweede deeltentamen vindt plaats op de reguliere tentamendatum: woensdag 26 februari, 14-17 uur in EDUC-gamma. Zie verder ook de website met extra informatie zoals boven vermeld.
De resultaten van het tentamen (eerste en tweede deel gemiddeld) staan op de website met extra informatie over het vak.
De herkansing in week 19 zal ook bestaan uit twee gedeelten, die elk afzonderlijk of beide tegelijk kunnen worden gedaan (binnen de 3 uur die voor de herkansing staat). Beide delen zullen open boek zijn. |
| Inspanningsverplichting voor aanvullende toets: | Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan. |
| Beschrijving: | Aan de orde komt de `klassieke' modale basistheorie gebaseerd op Kripke-modellen. Enkele technische begrippen die aan de orde komen:
bisimulatie, filtratie, volledigheid, frames, correspondentie. Vervolgens wordt ingegaan op een toepassing: epistemische logica.
Er worden varianten van kennis en geloof besproken die in de informatica, met name de AI, zijn ontwikkeld, zoals gedistribueerde kennis en
common knowledge. Veel nadruk wordt gelegd op het modelleren
van kennis-problemen en de verandering ervan.
Doelen:
Kennis: Modale logica, volledigheid, Henkin-constructie, canonieke
modellen, de modale systemen K, KD, KD4, S4 en S5. Axioma's van deze
systemen, afleidbaarheid, volledigheid, frames, correspondentie,
bisimulaties en filtraties. Kennislogica: multi-modal S5, uitbreiding
met Common Knowledge en Distributed Knowledge in S5. Gedistribueerde
systemen. Casus: afleiding van het alternating bit-protocol, de
modderige kinderen.
Vaardigheden: Afleidingen kunnen maken in een standaard modale
logica, een canoniek model kunnen construeren, volledigheid bewijzen.
Modelleren van een eenvoudig probleem waarin kennis belangrijk is,
met name het modelleren van een run in een gedistribueerd systeem.
Inhoud:
- syntax en semantiek van modale logica.
- volledigheid via Henkin constructie.
- bisimulatie, filtratie
- modale logica (systeem K en KD): bewijsbaarheid en geldigheid.
- modale epistemische logica (S4 en S5), modelleren eenvoudige problemen.
- epistemische logica voor meerdere kenners: common knowledge, distributed knowledge, gedistribueerde systemen.
Dit jaar wordt eerst het deel kennislogica met toepassingen behandeld en vervolgens in deel 2 van het college de metatheorie van modale logica. Zie de website met extra informatie die boven is vermeld. |
