Sigtet er at forbedre den studerendes færdigheder i logikprogrammering og videre at at introducere til begreber og teknikker for maskinel behandling af naturligt sprogs tekster.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Oversætte tekstforespørgsler til logiske databaseforespørgsler
Forklare principper for ontologisk semantik
Forklare forespørgsler som Dtalog programmer
Implementere inferensprocedurer
Kursusindhold:
Logikprogramering med rekursion. Definitte klausulgrammatikker. Grammatikker for naturligtsprogsfragmenter. Logisk semantik for naturligt sprog. Oversættelse af naturligt sprog til logik. Systemer for tekstbehandling.
Bemærkninger:
Materiale: Kompendium; suppl. materiale fra Wikipedia.
Mulighed for GRØN DYST deltagelse:
Kontakt underviseren for information om hvorvidt dette kursus giver den studerende mulighed for at lave eller forberede et projekt som kan deltage i DTUs studenterkonference om bæredygtighed, klimateknologi og miljø (GRØN DYST). Se mere på http://www.groendyst.dtu.dk/kursustilmelding.aspx
