SluitenHelpPrint
Switch to English
Cursus: KI3V14001
KI3V14001
Logische grammatica's
Cursus informatie
CursuscodeKI3V14001
Studiepunten (EC)7,5
Cursusdoelen
De student verwerft kennis van de kernbegrippen van de logische grammatica's; maakt kennis met modellen voor de typentaal, met de axiomatiseringen van het computationele systeem en met de interpretatie van grammaticale afleidingen; leert hoe deze wiskundige technieken gebruikt worden in taalkundige analyse. Op praktisch niveau leert men omgaan met computationele hulpmiddelen voor taalkundig modelleren.
Inhoud
Logische grammatica's modelleren syntaxis en semantiek van natuurlijke taal als een proces van logische deductie: een afleiding die bepaalt of een zin syntactisch welgevormd is, wordt verbonden met een programma dat de bij die afleiding horende betekenis berekent. In een slogan: proofs-as-programs.
De cursus behandelt allereerst de klassieke resultaten wat betreft uitdrukkingskracht, computationele complexiteit en leerbaarheid van typenlogische en abstracte categoriale grammatica's.
Vervolgens komen ontwikkelingen aan de orde waaronder bewijsnetten als pictoriaal alternatief voor lambda calculus (proofs-as-pictures), machinaal leren van grammatica's uit gestructureerde taalverzamelingen (treebanks), en de dynamiek van bewijstheoretische (i.p.v. modeltheoretische) semantiek.
 
SluitenHelpPrint
Switch to English