{"version":{},"omfattning":"3","avvecklad":false,"betygsskala":"UNDEFINED","kravTidigareStudier":"UNDEFINED","beskrivning":[],"huvudomrade":[{"huvudomrade":{"benamning":[{"sprakkod":"se","text":"Datateknik"}],"beskrivning":[]}}],"utbildningsomrade":[],"amnesord":[],"kravBehorighet":[{"sprakkod":"se","text":"180 högskolepoäng varav 15 högskolepoäng programmering samt Engelska 5/Engelska A."}],"uid":"BE1F61C2-2C8C-4735-BF7A-EE71D58BF7A1","organisation":{"hrReferensNummer":[],"benamning":[],"beskrivning":[]},"utbildningskod":"DT725A","grundtyp":"KURS","utbildningstyp":"UNDEFINED","utbildningsform":"HOGSKOLEUTBILDNING","studieordning":"UNDEFINED","nivainomstudieordning":"AVANCERAD","amnesomrade":[],"status":"KOMPLETT","benamning":[{"sprakkod":"sv","text":"Datateknik, avancerad nivå, Deklarativ problemlösning för artificiell intelligens"},{"sprakkod":"en","text":"Computer Science, Second Cycle, Declarative Problem Solving for Artificial Intelligence"}],"fritext":{"PROGRAMINNEHALLEX":{"benamning":[{"sprakkod":"se","text":""}]},"PROGRAMPOPULARBESKRIVNING":{"benamning":[{"sprakkod":"se","text":"2024-09-11 00:00:00.0"}]},"KURSSTUDIEFORM":{"benamning":[{"sprakkod":"se","text":""}]},"EXAMENKOMMENTAR":{"benamning":[{"sprakkod":"se","text":"@@//Projekt// (provkod: A001): Skriftlig inlämningsuppgift"}]},"LITTERATURLISTASTATUS":{"benamning":[{"sprakkod":"se","text":"KLAR"}]},"KURSBEDOMNINGSFORM":{"benamning":[{"sprakkod":"se","text":""}]},"PROGRAMMAL":{"benamning":[{"sprakkod":"se","text":"Kunskap och förståelse\nStudenten ska efter avslutad kurs\r\n@@känna till viktiga principer och paradigmer inom deklarativ problemlösning, med fokus på olika tillvägagångssätt inom logikprogrammering och dess derivat,\r\n@@ha en konceptuell och teoretisk förståelse för (constraint) logikprogrammering och Answer Set-programmering,\r\n@@kunna namnge och förklara olika språk, praktiska verktyg och logikbaserade metoder för deklarativ problemlösning, samt korrekt argumentera för teoretiska samband, och\r\n@@ha förståelse för tillämpningen av deklarativ problemlösning eller databehandling för samtida AI- och kognitiva system i industriella miljöer (t ex autonoma fordon, AI för media och underhållning, robotik).\r\nFärdighet och förmåga\nEfter avslutad kurs ska studenten kunna\r\n@@modellera och formalisera olika problem som kombinatoriska söknings- och optimeringsproblem på ett deklarativt sätt,\r\n@@praktiskt tillämpa problemlösare för att koda klassiska söknings- och optimeringsproblem på ett deklarativt sätt, och\r\n@@visa praktiska färdigheter att modellera hybridlösningar baserade på logikprogrammering och Answer Set-programmering i synnerhet.\r\nVärderingsförmåga och förhållningssätt\nEfter avslutad kurs ska studenten kunna\r\n@@bedöma lämpligheten och värdet av symboliska såväl som neurosymboliska resonemangsmetoder för ett givet AI-problem mot bakgrund av det deklarativa paradigmet,\r\n@@bestämma behovet och värdet av olika och ömsesidigt synergistiska tekniker inom AI för deras praktiska värde för att bygga verkliga system, och\r\n@@jämföra och kontrastera för- och nackdelar med deklarativ databehandling jämfört med andra programmeringsparadigmer som imperativ och objektorienterad programmering."}]},"PROGRAMALLMANT":{"benamning":[{"sprakkod":"se","text":"\u003cp\u003e\u003ci\u003eProjekt\u003c/i\u003e\u003cbr\u003e\u003c@gradeScaleIntroTxtExSv/\u003eUnderkänd (U), Godkänd (G) eller Väl godkänd (VG).\u003c/p\u003e"}]},"KURSEXAMINA":{"benamning":[{"sprakkod":"se","text":"\u003cp\u003e\u003ci\u003eProjekt\u003c/i\u003e, 3 \u003c@creditsLoTxtSv/\u003e (\u003c@testCodeTxtSv/\u003e: A001)\u003cbr\u003e\u003c@gradeScaleIntroTxtExSv/\u003eUnderkänd (U), Godkänd (G) eller Väl godkänd (VG).\u003c/p\u003e"}]},"KURSBESTAMMELSER":{"benamning":[{"sprakkod":"se","text":""}]},"PROGRAMINKRAV":{"benamning":[{"sprakkod":"se","text":"1.0"}]},"KURSBETYG":{"benamning":[{"sprakkod":"se","text":"Underkänd (U), Godkänd (G) eller Väl godkänd (VG)"}]},"LITTERATURLISTA":{"benamning":[{"sprakkod":"se","text":"**Obligatorisk litteratur**\r\nChitta Baral (2003)\n//Knowledge Representation, Reasoning and Declarative Problem Solving//\nCambridge University Press.\r\nIvan Bratko (2008)\n//Prolog Programming for Artificial Intelligence (Third Edition)//\nPearson\r\nMartin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub (2012)//\nAnswer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning.// \nMorgan and Claypool\r\nVetenskapliga artiklar rörande senaste rönen inom området tillkommer."}]},"KURSFORDJUPNING":{"benamning":[{"sprakkod":"se","text":"A1N "}]},"KURSUPPDRAG":{"benamning":[{"sprakkod":"se","text":"N"}]},"PROGRAMINNEHALL":{"benamning":[{"sprakkod":"se","text":"Kursens huvudsakliga innehåll:\r\n@@genomgång av programmeringsparadigm,\r\n@@introduktion av deklarativ programmering för AI,\r\n@@logikprogrammering och Answer Set-programmering (teori och praktik), och\r\n@@industriella tillämpningar av deklarativ AI inom områden som autonom körning."}]},"PROGRAMOVRIGT":{"benamning":[{"sprakkod":"se","text":"Kursen kan komma att ges på engelska.\r\nDen 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."}]}},"datum":{"FASTSTALLANDEDATUM":{"startDatum":"2024-09-11T00:00:00.000Z","periodkod":[{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"H24"},{"sprakkod":"en","text":"H24"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"HT24"},{"sprakkod":"en","text":"HT24"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20242"},{"sprakkod":"en","text":"20242"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202437"},{"sprakkod":"en","text":"202437"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2024-09-11"},{"sprakkod":"en","text":"2024-09-11"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"HT 2024"},{"sprakkod":"en","text":"HT 2024"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Höstterminen 2024"},{"sprakkod":"en","text":"Autumn semester 2024"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"H24"},{"sprakkod":"en","text":"H24"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"HT24"},{"sprakkod":"en","text":"HT24"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20242"},{"sprakkod":"en","text":"20242"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202437"},{"sprakkod":"en","text":"202437"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2024-09-11"},{"sprakkod":"en","text":"2024-09-11"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"HT 2024"},{"sprakkod":"en","text":"HT 2024"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Höstterminen 2024"},{"sprakkod":"en","text":"Autumn semester 2024"}]}],"periodTidsrelation":"INOM"},"IKRAFTTRADANDETERMIN":{"startDatum":"2025-01-20T00:00:00.000Z","slutDatum":"2025-06-08T00:00:00.000Z","periodkod":[{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"se","text":"20251"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"V25"},{"sprakkod":"en","text":"V25"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"VT25"},{"sprakkod":"en","text":"VT25"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20251"},{"sprakkod":"en","text":"20251"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202504"},{"sprakkod":"en","text":"202504"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2025-01-20"},{"sprakkod":"en","text":"2025-01-20"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"VT 2025"},{"sprakkod":"en","text":"VT 2025"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Vårterminen 2025"},{"sprakkod":"en","text":"Spring semester 2025"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"V25"},{"sprakkod":"en","text":"V25"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"VT25"},{"sprakkod":"en","text":"VT25"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20251"},{"sprakkod":"en","text":"20251"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202504"},{"sprakkod":"en","text":"202504"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2025-01-20"},{"sprakkod":"en","text":"2025-01-20"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"VT 2025"},{"sprakkod":"en","text":"VT 2025"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Vårterminen 2025"},{"sprakkod":"en","text":"Spring semester 2025"}]}],"periodkodslut":[{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"V25"},{"sprakkod":"en","text":"V25"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"VT25"},{"sprakkod":"en","text":"VT25"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20251"},{"sprakkod":"en","text":"20251"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202524"},{"sprakkod":"en","text":"202524"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2025-06-08"},{"sprakkod":"en","text":"2025-06-08"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"VT 2025"},{"sprakkod":"en","text":"VT 2025"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Vårterminen 2025"},{"sprakkod":"en","text":"Spring semester 2025"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"V25"},{"sprakkod":"en","text":"V25"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"VT25"},{"sprakkod":"en","text":"VT25"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20251"},{"sprakkod":"en","text":"20251"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202524"},{"sprakkod":"en","text":"202524"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2025-06-08"},{"sprakkod":"en","text":"2025-06-08"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"VT 2025"},{"sprakkod":"en","text":"VT 2025"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Vårterminen 2025"},{"sprakkod":"en","text":"Spring semester 2025"}]}],"periodTidsrelation":"EFTER"},"INRATTANDEDATUM":{"startDatum":"2024-08-29T00:00:00.000Z","periodkod":[{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"H24"},{"sprakkod":"en","text":"H24"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"HT24"},{"sprakkod":"en","text":"HT24"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20242"},{"sprakkod":"en","text":"20242"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202435"},{"sprakkod":"en","text":"202435"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2024-08-29"},{"sprakkod":"en","text":"2024-08-29"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"HT 2024"},{"sprakkod":"en","text":"HT 2024"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Höstterminen 2024"},{"sprakkod":"en","text":"Autumn semester 2024"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"H24"},{"sprakkod":"en","text":"H24"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"HT24"},{"sprakkod":"en","text":"HT24"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20242"},{"sprakkod":"en","text":"20242"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202435"},{"sprakkod":"en","text":"202435"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2024-08-29"},{"sprakkod":"en","text":"2024-08-29"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"HT 2024"},{"sprakkod":"en","text":"HT 2024"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Höstterminen 2024"},{"sprakkod":"en","text":"Autumn semester 2024"}]}],"periodTidsrelation":"INOM"}},"faststallandeOrganisation":{"hrReferensNummer":[],"benamning":[{"sprakkod":"se","text":"Prefekt"}],"beskrivning":[],"kod":"Prefekt"},"visaWebb":"UNDEFINED","visaXML":"UNDEFINED"}