Behörighetskrav

90 hp informationssystem 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

- 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äll färdigheter och förmåga förväntas studenten efter genomgången kurs

- utföra formalisering och programmering av ett antal grundläggande problemlösningsmetoder, kunskapspresentationsformer 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 ta ställning till avvägningen mellan att finna lösningar effektivt eller uttömmande.

Innehåll

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

Föreläsningar om artificiell intelligens

Problemlösnings 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

Undervisning

Föreläsningar, Lektioner, Seminarier, Laborationer

Examination

Tentamen och inlämningsuppgift.