English | Log ind

02281 Data-logik

2016/2017

Kursusinformation
Data logic
Engelsk
5
Kandidat
F2B (tors 8-12)
Campus Lyngby
Forelæsninger, øvelser. Programkonstruktionsøvelse med rapportaflevering.
13-uger
F2B
Mundtlig eksamen og bedømmelse af rapport(er)
Skriftlige hjælpemidler er tilladt
7-trins skala , ekstern censur
02156 , Der forudsættes kendskab til BNFgrammatikker, rekursive datastrukturer og funktioner, sandhedstabeller, samt relationsdatabasebegreber, alt som det kan erhverves i de formelle forudsætningskurser.
Jørgen Fischer Nilsson , Lyngby Campus, Bygning 322, Tlf. (+45) 4525 3730 , jfni@dtu.dk

01 Institut for Matematik og Computer Science
http://www.imm.dtu.dk/courses/02280
I studieplanlæggeren
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
Overordnede kursusmål
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:
  • Anvende rekursive logikprogrammer
  • Beskrive aturligtsprogsfragmenter vha grammatikker
  • Udvikle defitte klausulgrammatikker
  • Oversætte naturligt sprog til logik
  • Forklare basale principper i Montague semantik
  • 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.
Sidst opdateret
28. oktober, 2016