Behörighetskrav

Data- och systemvetenskap, 90 hp eller motsvarande

Mål

Vad gäller kunskap och förståelse förväntas studenten efter genomgången kurs

- kunna redogöra för de grundläggande principerna för artificiell intelligens

- förstå problemlösning genom sökning, kunskapsrepresentation och resonemang

- kunna redogöra för den historiska bakgrunden till ämnet artificiell intelligens, ämnets utveckling och koppling till andra ämnesområden.

Vad gäller färdigheter och förmåga förväntas studenten efter genomgången kurs

- behärska formalisering och programmering av ett antal grundläggande problemlösningsmetoder, kunskapsrepresentationsformer och typer av automatiserat resonemang.

Vad gäller värderingsförmåga och förhållningssätt förväntas studenten efter genomgången kurs

- kunna utvärdera grundläggande AI-teknikers tillämpbarhet på kunskap i olika domäner

- kunna förhålla sig till avvägningen mellan att finna lösningar effektivt eller uttömmande.

Innehåll

Introduktion till begreppen medvetande, intelligens, kunskap och lärande

Problemlösning genom sökning

Sökmetoder

"Constraint Satisfaction Problems"

Kunskap och resonemang: intelligenta agenter, logiska agenter

Första ordningens logik, logisk inferens, kunskapsrepresentation

Planering

Induktiv logikprogrammering

Naturlig språkförståelse

Undervisning

Föreläsningar, Lektioner, Seminarier, Laborationer

Examination

Tentamen och inlämningsuppgift.