Logisk problemlösning med Answer Set-programmering, 3 högskolepoäng

Declarative Problem Solving with Answer Set Programming, 3 Credits

Mål

Mål för utbildning på avancerad nivå

Utbildning på avancerad nivå ska innebära fördjupning av kunskaper, färdigheter och förmågor i förhållande till utbildning på grundnivå och ska, utöver vad som gäller för utbildning på grundnivå,

• ytterligare utveckla studenternas förmåga att självständigt integrera och använda kunskaper,
• utveckla studenternas förmåga att hantera komplexa företeelser, frågeställningar och situationer, och
• utveckla studenternas förutsättningar för yrkesverksamhet som ställer stora krav på självständighet eller för forsknings- och utvecklingsarbete.

(1 kap. 9 § högskolelagen)

Kursens mål

Kunskap och förståelse
Studenten ska efter avslutad kurs kunna

• förklara de viktigaste principerna i logik och olika standardmetoder i logisk programmering.
• förklara begränsningsprogrammering med hjälp av stable model eller answer set semantik
• beskriva och tillämpa symboliska resonemangsmetoder.

Färdighet och förmåga
Studenten ska efter avslutad kurs kunna

• modellera och formalisera olika problem som optimeringsproblem på ett deklarativt sätt
• modellera hybridlösningar baserade på answer set programming
• använda answer set solvers för modellering och implementering av intelligenta system.

Värderingsförmåga och förhållningssätt
Studenten ska efter avslutad kurs kunna

• bedöma lämpligheten för symboliska resonemangsmetoder för ett givet problem
• identifiera problem eller vilseledande resultat genom att utvärdera användningen av de logiska operatorerna, begränsningarna och olika typer av logiska negationer som används i ett givet logikprogram.

Kursens huvudsakliga innehåll

• Översikt av första ordningens logik
• Syntax och semantik för Answer Set Programmering
• ASP-lösningsprocessen
• Optimering
• Multishot Solving
• Inkrementell lösningsprocess.

Studieformer

Kursen är utformad som en distanskurs med några obligatoriska aktiviteter. Den består av en serie onlineföreläsningar, obligatoriska enskilda studieövningar och projektuppgifter.

Den som antagits till och registrerats på en kurs har rätt att erhålla undervisning och/eller handledning under den tid som angavs för kurstillfället som den sökande blivit antagen till (se universitetets antagningsordning). Därefter upphör rätten till undervisning och/eller handledning.

Examinationsformer

Övningar, 1,5 högskolepoäng (Provkod: A001)
Skriftliga rapporter.

Projekt, 1,5 högskolepoäng (Provkod: A002)
Muntlig presentation vid seminarium.

För studenter med dokumenterad funktionsnedsättning kan universitetet besluta om anpassning av examination eller annan examinationsform.

För ytterligare information se universitetets regler för examination inom utbildning på grundnivå och avancerad nivå.

Betyg

Enligt 6 kap. 18 § högskoleförordningen ska betyg sättas på en genomgången kurs om inte universitetet föreskriver något annat. Universitetet får föreskriva vilket betygssystem som ska användas. Betyget ska beslutas av en av universitetet särskilt utsedd lärare (examinator).

Enligt universitetets föreskrifter om betygssystem för utbildning på grundnivå och avancerad nivå (beslut ORU 2018/00929) ska något av uttrycken underkänd, godkänd eller väl godkänd användas som betyg. För utbildning som ingår i en internationell magister- eller masterutbildning eller i universitetets kursutbud för utbytesstudenter ska betygsskalan A-F användas. Rektor, eller den rektorn bestämmer, får besluta om undantag från denna bestämmelse för en viss kurs om det finns särskilda skäl.

Som betyg på kursen används Underkänd (U), Godkänd (G) eller Väl godkänd (VG).

Övningar
Som betyg används Underkänd (U), Godkänd (G) eller Väl godkänd (VG).

Projekt
Som betyg används Underkänd (U), Godkänd (G) eller Väl godkänd (VG).

För ytterligare information se universitetets regler för examination inom utbildning på grundnivå och avancerad nivå.

Kommentar till betyg

Betyg på hel kurs
För att få betyget Väl Godkänd (VG) på kursen som helhet krävs Väl Godkänd (VG) på båda examinationsmomenten.

Särskild behörighet och andra villkor

180 högskolepoäng varav 15 högskolepoäng programmering samt Engelska 5/Engelska A.

För ytterligare information se universitetets antagningsordning.

Tillgodoräknande av tidigare utbildning

Student som tidigare genomgått utbildning eller fullgjort annan verksamhet ska enligt högskoleförordningen tillgodoräknas detta som en del av den aktuella utbildningen under förutsättning att den tidigare utbildningen eller verksamheten uppfyller vissa krav.

För ytterligare information se universitetets lokala regler för tillgodoräknanden.

Övriga föreskrifter

Kursen ges på engelska.

Kurslitteratur och övriga läromedel

Obligatorisk litteratur

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub (2012)
Answer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning
Morgan and Claypool

Chitta Baral (2003)
Knowledge Representation, Reasoning and Declarative Problem Solving
Cambridge University Press

Vetenskapliga artiklar rörande senaste rönen inom området tillkommer.