AI501: Introduktion til kunstig intelligens

Kurset kører for sidste gang foråret 2026.

1. prøveforsøg august 2026

2. prøveforsøg juni 2027

3. prøveforsøg august 2027

Kurset samlæses med DS843

Den studerende forventes at have en grundlæggende forståelse af

• matematiske beviser (eksempelvis fra DM549 eller MM537) og
• programmering (eksempelvis fra DM536, DM574 eller DM562).

Formålet med kurset er at give deltagerne viden om grundlæggende begreber og tekniker som danner baggrund for intelligente computer systemer. Fokus er på aspekterne problemløsning, ræsonnement og beslutningsproces. Der er også fokus på de logiske og sandsynlighedsbaserede fundamenter for disse aktiviteter. 

Ved kursets afslutning forventes den studerende at have følgende kompetencer:

• gengive de grundlæggende logiske principper for problemløsning, grundlæggende koncepter for ræsonnering, beslutningsprocesser og diskret sandsynlighed;
• beskrive i detaljer de principielle algoritmer for søgning, ræsonnering, og beslutning som indgår i pensum;
• vurdere anvendelighed af basalsøgning, ræsonnering, og beslutningsteknikker i problemer, som i natur minder om problemer fra kurset;
• udtænke og implementere intelligente systemer til at løse konkrete beregningsproblemer.

• Oversigt af kunstig intelligens
• Søgetekniker
• Viden, ræsonnering, planlægning og diskrete sandsynligheder

Løsning af små opgaver, individuelt eller i små grupper.