NY
In English, please!
Poäng: 4
ECTS poäng: 6
Nivå: D
Betyg: U,3,4,5
ECTS betyg: A-F
Språk: Svenska/Swedish
Rekommenderad för IT/IS
Valfri för IT/KS, KK och ME
Kursuppläggning
Kursansvarig
|
Logikprogrammering
Kursen ges i period 2 under år 3.
Mål
Detta är en kurs om teori och metodik för logikprogrammering.
Det mest kända logikbaserade språket Prolog behandlas detaljerat.
Kursen har också ambitionen att göra jämförelser med
andra programmeringsparadigmer.
Kursinnehåll
Logik av Horn-klausuler och dess tillämpning i kunskapsrepresentation
och resonemang. Ren Prolog och dess informella semantik
Verklig Prolog: verktyg för aritmetik, strukturinspektion, metalogik,
cut och negation. Programmeringsteknik i Prolog: databasprogrammering,
rekursiv programmering, icke-deterministisk programmering, ofullständiga
datastrukturer, parsning m.h.a. DCG:n.
Tillämpningsexempel: pussel och spel, parsning, sökningkompilering,
formelmanipulering, expertsystem.
Förkunskaper
Logik, Datalogi gk + fk och Objekt Orienterad Programmering
Påbyggnad
Agentorienterad programmering (2I1232).
Kursfordringar
En skriftlig tentamen (TEN1; 2p) Inlämningsuppgifter (LAB1;
2p)
Kurslitteratur
Exempel på tänkt litteratur:
- PROLOG - programming for artificial intelligence, Bratko, Addison
Wesley
- The art of PROLOG, Sterling and Shapiro, MIT Press.
KTH
Studerandeinformation
Sidansvarig: Studiehandboken
Senast uppdaterad 1999-03-24