| Website: | website met extra informatie |
| Vakcode: | INFOLAI |
| Studiepunten: | 7.5 ECTS |
| Periode: | periode 2 (week 46 t/m 5, dwz 12-11-2007 t/m 1-2-2008; herkansing week 11)
|  |
| Timeslot: | A |
| Deelnemers: | tot nu toe 78 inschrijvingen |
| Rooster: | Dit is een oud rooster!
| vorm | groep | tijd | week | zaal | docent |
|---|
| college |
|
ma 11-13 | 46-51,2-4 |
Rup-rood |
Jan Broersen
Rosalie Iemhoff
|
|
| wo 09-11 | 46-51,2-4 |
AARD-klein |
| werkcollege |
|
| |
|
Bas Steunebrink
Paolo Turrini
Bart Jansen
|
|
| groep 1 |
ma 09-11 | 47-51,2-4 |
BBL-416 |
|
|
| di 09-11 | 46-51,2-4 |
BBL-416 |
| groep 2 |
ma 09-11 | 47-51,2-4 |
BBL-420 |
|
|
| di 09-11 | 46-51,2-4 |
BBL-420 |
| groep 3 |
ma 15-17 | 47-51,2-4 |
BBL-416 |
|
|
| wo 11-13 | 46-51,2-4 |
BBL-416 |
| groep 4 |
ma 15-17 | 47-51,2-4 |
BBL-420 |
|
|
| wo 11-13 | 46-51,2-4 |
BBL-420 |
|
| Inhoud: | De leerdoelen van LAI zijn: vertrouwd raken met de syntax en leren kennen
van de semantieken en motiveringen van verschillende modale
logica's; het begrijpen en kunnen hanteren van concepten als
(modale) `bewijsbaarheid' en `geldigheid'; `frame';
`correspondentie'; de `modale systemen K, KD, KD4, S4 en S5';
`bisimulatie'; `volledigheid'; `canoniek
model'; `common knowledge'; `distributed knowledge';
`gedistribueerde systemen'; `interpreted system'; `kennis-geloof-interactie';
`omniscience'; `weak modal systems'; `neighborhood semantics';
`impossible worlds semantics'; `public announcement logic'; `product update'; etc. |
| Literatuur: | Dynamic Epistemic Logic, Series: Synthese Library , Vol. 337, Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, 2007, XII, 296 p., Hardcover, ISBN: 978-1-4020-5838-7 |
| Werkvorm: | Deel 1: per week 4 uur hoorcollege en 4 uur werkcollege.
Deel 2: per week 4 uur hoorcollege, 4 uur werkcollege. |
| Toetsvorm: | Tentamen in twee delen. Het eerste deel (gesloten boek) gaat over de (meta)theorie van modale logica. Het tweede deel (ook gesloten boek) gaat over de basis van kennislogica en toepassingen.
Daarnaast zullen er in beide delen van het vak huiswerkopgaven (1
per week) worden uitgedeeld. Het gemiddelde van de cijfers van de
huiswerkopgaves wordt voor 15% meegeteld in het cijfer voor de
delen.
Het totaalresultaat is het gemiddelde van de resultaten van de
twee delen. Resultaten van tentamens worden bekendgemaakt op de
bovengenoemde website met extra informatie over het vak. De
herkansing zal ook bestaan uit twee gedeelten, die elk
afzonderlijk of beide kunnen worden gedaan (binnen de 3 uur die
voor de herkansing staat). Bij de herkansing kun je dus beide
delen onafhankelijk herkansen. Je krijgt geen eindcijfer wanneer een van beide deelcijfers lager dan 5 is. |
| Inspanningsverplichting voor aanvullende toets: | Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 5 zijn. |
| Beschrijving: | Dit vak betreft de theorie van modale logica en de
toepassingen binnen artificiële intelligentie (AI). In het eerste
deel komt de `klassieke' modale basistheorie gebaseerd op
Kripke-modellen aan de orde. Enkele technische begrippen die
behandeld worden: bisimulatie, filtratie, volledigheid, frames,
correspondentie. In het tweede deel wordt veel nadruk gelegd op
het modelleren van problemen die met kennis te maken hebben. Zo
worden er varianten van kennis en geloof besproken die in de
informatica, met name de AI, zijn ontwikkeld. Voorbeelden zijn
`gedistribueerde kennis' en `common knowledge'. Ook wordt er
ingegaan op de verschillen, en interacties, tussen kennis en
geloof. Verder behandelen we recente ontwikkelingen op het gebied van de dynamiek van epistemische toestanden. In het bijzonder zullen `public announcement logic' en `product updates' worden behandeld. |