SluitenHelpPrint
Switch to English
Cursus: INFOLAI
INFOLAI
Logica voor AI
Cursus informatieRooster
CursuscodeINFOLAI
Studiepunten (ECTS)7,5
Categorie / Niveau3 (Bachelor Gevorderd)
CursustypeCursorisch onderwijs
VoertaalNederlands
Aangeboden doorFaculteit Betawetenschappen; Onderwijsinstituut Informatica;
Contactpersoondr. ir. J.M. Broersen
Telefoon+31 30 2533193
E-mailJ.M.Broersen@uu.nl
Docenten
Docent
dr. ir. J.M. Broersen
Feedback en bereikbaarheid
Overige cursussen docent
Contactpersoon van de cursus
dr. ir. J.M. Broersen
Overige cursussen docent
Docent
Docent nog onbekend/To be announced
Overige cursussen docent
Blok
Onbekend
Aanvangsblok
2
TimeslotA: MA-ochtend, DI-namiddag, WO-ochtend
Onderwijsvorm
Voltijd
Opmerkinghttp://www.cs.uu.nl/education/vak.php?vak=INFOLAI
Aanmeldingsprocedureadministratie onderwijsinstituut
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
-
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.

http://www.cs.uu.nl/education/vak/lai

 

Ingangseisen
Verplicht materiaal
-
Aanbevolen materiaal
Boek
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
Werkvormen
Hoorcollege

Werkcollege

Toetsen
Schriftelijk tentamen
Weging100
Minimum cijfer6

Beoordeling
Tentamen in twee delen.

SluitenHelpPrint
Switch to English