Allmänt

Kursen är en fristående kurs. Den ingår dessutom som obligatorisk kurs i Språkteknologiprogrammet. Kursplanen är fastställd av språkvetenskapliga sektionsnämnden 1998-05-19 och senast ändrad 2001-05-31.

Behörighetskrav

Logikprogrammering I, 5 p/7,5 hp

Mål

Syfte: Kursen ger fördjupade kunskaper och färdigheter i metoder för problemlösning och programmering i logikbaserat programmeringsspråk, med särskild inriktning på datorlingvistik.

Efter avslutad kurs skall studenten för att förtjäna betyget Godkänd minst kunna:

- förklara/definiera följande begrepp, skriva elementära Prologprogram som drar nytta av instanser av dem, samt beskriva elementära Prologprograms beteende utifrån dem:

- "backtracking"

- "cut"

- dynamiskt predikat

- rekursion (mer komplexa exempel)

- läsning och skrivning i filer

- med viss självständighet lösa programmeringsproblem

- dela upp programmeringsuppgifter i delproblem vid programmering

- dokumentera kod på ett genomtänkt sätt

- implementera ändliga automater i Prolog och någon parsningsalgoritm för kontextfri grammatik

Innehåll

Datastrukturer och algoritmer. Deklarativa och procedurella aspekter på logikprogrammering och dess relevans för datorlingvistiska tillämpningar såsom ordklasstaggning, parsning, generering, semantisk tolkning och kunskapsrepresentation.

Undervisning

Undervisningen består av föreläsningar, lektioner och praktiska datorövningar samt seminarier.

Examination

Kunskapskontroll sker genom muntligt och/eller skriftligt redovisade uppgifter och/eller tentamen. Läraren kan som del av examinationen kräva obligatorisk närvaro och aktivt deltagande vid undervisningsmoment. Kurskraven meddelas skriftligen av kursansvarig vid kursens start.

Övriga föreskrifter

Kursen får ej medtagas i examen som fristående kurs om motsvarande moment lästs inom annan i examen medtagen kurs.