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
