Artificiell intelligens - metoder och tillämpningar, 7,5 hp

Innehåll

Moderna intelligenta system förändrar det dagliga livet i samhället. Dessa typer av system är utformade och implementerade med tanke på artificiella intelligenta (AI) modeller och algoritmer. Kursen syftar till att presentera olika AI-teorier och algoritmer för att ge en solid bakgrund i området, samt praktisk kunskap om hur man implementerar verkliga intelligenta system. Kursens huvudtema är teorier och algoritmer från klassisk AI. Under kursen kommer studenterna att få kunskap om olika AI-paradigmer, t.ex. logikbaserade och datastyrda metoder samt rationella intelligenta agenter.
 
Kursen består av två moment:
Moment 1 teori, 4,5 hp
Momentet omfattar:

• Heuristik för sökning.
• Sökning inom spel.
• Tillämpad första ordningens logik.
• Deterministisk planering.
• Kunskapsrepresentation.
• Sannolikhetsteori: axiom, villkorlig sannolikhet, Bayes regel.
• Bayesiska nätverk.
• Probabilistisk resonemang över tiden.
• Dolda Markov Modeller: Stokastisk planering.
• Beslutsträd.
• Förstärkningslärande.
• Multi-agent-system.
• Beslutsfattande med flera kriterier, t.ex. nyttofunktioner, utvärdering av alternativ, pareto-optimalitet.

Moment 2, praktisk del, 3 hp.
I moment 2 omsätts några av de teorier och tekniker som diskuteras i den teoretiska delen i praktiken.

Förväntade studieresultat

Kunskap och förståelse
Efter avslutad kurs ska studenten kunna:

• redogöra för och tillämpa begrepp, metoder och teorier för sökning, heuristik, spel, kunskapsrepresentation, planering (FSR 1)
• redogöra för och tillämpa begrepp, metoder och teorier för logik och sannolikhetslära samt kunna analysera kraften och begränsningen av deras användning för kunskapsrepresentation och resonerande system (FSR 2)
• redogöra för metoder och teorier för probabilistiskt resonerande (tex bayesiska nätverk), probabilistiskt
  resonerande över tid (tex Hidden Markov Models), probabilistiskt planerande (tex Markov Decision Processes), och inlärningsmetoder (tex beslutsträd, reinforcement learning och bayesiskt lärande) (FSR 3)

Färdighet och förmåga
Efter avslutad kurs ska studenten kunna:

• utforma, bygga och utvärdera intelligenta agenter (FSR 4)
• applicera begrepp för adversarial sökning och konstruera bra heuristik (FSR 5)
• demonstrera teoretiska och praktiska färdigheter i att utveckla intelligenta mjukvaruagenter baserade på data-driven och logikbaserade metoder. (FSR 6)

Värderingar och förhållningssätt
Efter avslutad kurs ska studenten kunna

• diskutera effekterna på samhället av nya teknologier i AI (FSR 7)
• utvärdera olika AI-baserade teknologier med hjälp av den kunskap som erhölls under kursen (FSR 8)

Behörighetskrav

För behörighet krävs antingen en kandidatexamen i huvudområdet datavetenskap eller:
- minst 90 hp varav minst 60 hp i huvudområdet datavetenskap, eller minst 120 hp inom ett program
- Artificiell intelligens - grunderna, 7,5 hp, eller motsvarande
- minst 7,5 hp inom datastrukturer och algoritmer
- minst 7,5 hp inom logik

Engelska B/6 och svenska för grundläggande behörighet för högskolestudier om utbildningen ges på svenska.

Undervisningens upplägg

Undervisningen bedrivs i form av föreläsningar och datorlaborationer. Utöver schemalagda aktiviteter krävs även individuellt arbete med materialet.

Examination

Examinationen på Moment 1 (FSR 1-3, 7-8) sker genom skrifltig tentamen. Momentet bedöms med något av betygen Med beröm godkänd (5), Icke utan beröm godkänd (4), Godkänd (3) eller Underkänd (U).

Examinationen på Moment 2 (FSR 4-6) består av obligatoriska uppgifter som redovisas skriftligt. Momentet bedöms med något av betygen Underkänd (U) eller Godkänd (G).

På kursen som helhet ges något av betygen Underkänd (U), Godkänd (3), Icke utan beröm godkänd (4) eller Med beröm godkänd (5). Kursbetyget är detsamma som betyget på Moment 1. För att bli godkänd på hela kursen krävs att båda momenten är godkända.

Stöd på grund av funktionsnedsättning
Avsteg från kursplanens examinationsform kan göras för en student som har beslut om pedagogiskt stöd på grund av funktionsnedsättning. Individuell anpassning av examinationsformen ska övervägas utifrån studentens behov. Examinationsformen anpassas inom ramen för kursplanens förväntade studieresultat. Efter begäran av studenten ska kursansvarig lärare, i samråd med examinator, skyndsamt besluta om anpassad examinationsform. Beslutet ska sedan meddelas studenten.

Byte av examinator
En student som utan godkänt resultat har genomgått två prov för en kurs eller en del av en kurs, har rätt att få en annan examinator utsedd, om inte särskilda skäl talar emot det (HF 6 kap. 22 §). Begäran om ny examinator ställs till prefekten för Institutionen för datavetenskap.

Övriga föreskrifter

I en examen får denna kurs ej ingå, helt eller delvis, samtidigt med en annan kurs med likartat innehåll. Vid tveksamheter bör den studerande rådfråga studievägledare vid Institutionen för datavetenskap och/eller programansvarig för sitt program.

Speciellt gäller att denna kurs ersätter den tidigare kursen 5DV122 (med samma namn) och kan inte tas med i examen tillsammans med dennaa. Överlappet med denna kurs är 7.5hp.



Om kursplanen har upphört att gälla eller kursen slutat erbjudas garanteras en student som någon gång registrerats på kursen minst tre provtillfällen (inklusive ordinarie provtillfälle) enligt denna kursplan under en tid av maximalt två år från det att kursplanen upphört att gälla eller kursen slutat erbjudas.