|  |
| | |  | 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. |
| 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å |
| Kursusansvarlig:
| , 305, 015, (+45) 4525 3730,
| Institut:
| 02 Institut for Informatik og Matematisk Modellering | Kursushjemmeside:
| | Tilmelding:
| I CampusNet | Nøgleord: | Logiksprog og logiske begreber, Naturligtsprogsbehandling, Logikprogrammering, Prolog. |
|
|
| | Sidst opdateret:
27. april, 2012 |
Åbn kurset i Kursusbasen
|