English | Log ind
2007/2008

02281 Data-logik

Engelsk titel: 


Data logic

Sprog:


Point (ECTS )

  5

Kursustype:   

  
Civil- Videregående Kursus

Skemaplacering:

F2B

 

Undervisningsform:

Forelæsninger, øvelser. Programkonstruktionsøvelse med rapportaflevering.

Kursets varighed:

13-uger

Eksamensplacering:

F2B 

Evalueringsform:

Hjælpemidler:

Bedømmelsesform:

Obligatoriske forudsætninger:

Faglige forudsætninger:

                                          

Deltagerbegrænsning:

Maksimum:  30
 

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.


Kursusansvarlig:

Jørgen Fischer Nilsson, 305, 015, (+45) 4525 3730, jfn@imm.dtu.dk  

Institut:

02 Institut for Informatik og Matematisk Modellering

Kursushjemmeside:

http://www.imm.dtu.dk/courses/02280

Nøgleord:

Logiksprog og logiske begreber, Naturligtsprogsbehandling, Logikprogrammering, Prolog.
Sidst opdateret: 23. januar, 2008