| TDDC65 |
Artificiell intelligens och LISP, 4 p
/
6 hp
/Artificial Intelligence and LISP/ |
||
OBS! |
OBS! Endast studenter på IT-programmet får läsa denna kurs inom PAL-profilen! Överlappar med TDDC17 och endast en av dessa kurser få ingå i examen. |
||
Prel. schemalagd
tid: 64 |
|||
|
Utbildningsområde: Teknik Ämnesgrupp: Datalogi, Datateknik. Nivå (A-D):B Huvudområde: Datateknik, Datavetenskap, Programmering Nivå (G1,G2,A): G2 |
|||
|
Mål:
Kursens mål är att studenten ska bli bekant med de mjukvarutekniker som har utvecklats inom forskning inom artificiell intelligens, särskilt
|
|||
| Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan) Grundläggande kunskaper inom datavetenskap (motsvarande cirka 12hp). OBS! Tillträdeskrav för icke programstudenter omfattar vanligen också tillträdeskrav för programmet och ev. tröskelkrav för progression inom programmet, eller motsvarande. |
|||
| Organisation: Kursen består av fyra moduler:
2. Lisp-programmering 3. Grundläggande logik (valfri) 4. Kunskapsrepresentation |
|||
| Kursinnehåll: Kursen inleds med en modul för grundläggande representation och beräkning som introducerar en logikbaserad notation för rekursiva funktioner som opererar på symboliska uttryck. Notationen för formell logik, grundläggande mängdlära och kärnan i programspråket Lisp definieras på ett enhetligt sätt. Lisp-programmeringsmodulen definierar ytterligare funktionalitet i Lisp, t.ex. hur man använder filer. Den förklarar också det generella ramverket som behövs för Lisp-system av industriell skala, t.ex. hur man skapar nya datatyper och hur man använder namnrymder. Modulen tar också upp språkteoretiska aspekter som partialevaluering och användandet av s.k. closures, liksom konstruktioner i Lisp-baserade metaspråk, t.ex. mönsterstyrda anrop. Slutligen inkluderar modulen en diskussion av skillnaderna mellan kompilerande och interpreterande system. Den grundläggande logikmodulen är frivillig för de studenter som redan har en bakgrund inom formell logik. Den introducerar syntaxen för första ordnimgens predikatlogik, ekvivalensregler för formler i denna logik, samt användandet av resolution som en inferensregel och för bevisning. Kunskapsrepresentationsmodulen tar upp de viktigaste områdena inom KR-baserad artificiell intelligens: beslusträd och kausala nät, hur man resonerar kring följderna av handlingar, ontolgier, söktekniker och SAT-tekniker. Den tar också upp AI-orienterade programvaruarkitekturer, t.ex. SOAR, blackboard-arkitektur och arkitektur för autonoma agenter. Kursen ges över hela höstterminen. |
|||
| Kurslitteratur: Föreläsningsanteckningar och kompendier som finns tillgängliga via kursens webbsidor. Utvalda artiklar som finns tillgängliga via Internet. |
|||
| Examination: | |||
| TEN1 LAB1 |
En skriftlig tentamen (U,3,4,5) En laborationskurs (U,G) |
3 hp 3 hp |
|
Undervisningsspråk är Engelska.
Institution: IDA.
Studierektor: Peter Dalenius
Examinator: Erik Sandewall
Ansvarig programnämnd: Data&Medie
Engelsk kursplan
Kursen bedrivs på ett sådant sätt att både mäns och kvinnors erfarenhet och kunskaper synliggörs och utvecklas.
Planering och genomförande av kurs skall utgå från kursplanens formuleringar. Den kursvärdering som ingår i kursen skall därför genomföras med kursplanen som utgångspunkt.
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2010 enligt beslut av ansvarig programnämnd/fakultetstyrelse.
 |
||||||
| ||||||