IT-Universitetet i København
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Effektiv AI-programmering 
Kursusnavn (engelsk):Efficient AI Programming 
Semester:Forår 2010 
Udbydes under:cand.it., softwareudvikling og -teknologi (sdt) 
Omfang i ECTS:7,50 
Kursussprog:Engelsk 
Kursushjemmeside:http://www.itu.dk/courses/IAIP/F2010/ 
Min. antal deltagere:12 
Forventet antal deltagere:25 
Maks. antal deltagere:70 
Formelle forudsætninger:You must have passed an elementary programming course.

If you are an external student, it is important that you have programming-experience from elsewhere, i.e. through a daily use in a developer position in the software industry.

 
Læringsmål:After the course, the student should be able to:
* Identify problems that can be solved with basic AI solution techniques
* Design and implement efficient AI algorithms
* Verify the performance of implemented algorithms

 
Fagligt indhold:The overall goal of the course is to get acquainted with AI techniques for problem solving. Focus is on obtaining efficient algorithmic solutions to hard problems as they arise in modern IT applications such as enterprise resource planning systems, decision support systems, configuration systems, optimization software, and computer games.

The course will cover the followings topics:

Search algorithms
* Uninformed search: breadth-first search, depth-first search, iterative deepening search, and bidirectional search
* Informed search: greedy heuristic search, A*, breadth-first heuristic search
* Local search: hill-climbing, simulated annealing, , genetic algorithms, tabu search, population-based search

Planning
* STRIPS planning
* non-deterministic planning

Game playing
* Minimax search, alpha-beta pruning

Machine Learning
* Reinforcement learning

Propositional logic
* Representations: truth-tables, two-level and multi-level representations, if-then-else normal form (INF) , quantified Boolean formulas (QBF), Binary Decision Diagrams (BDDs)
* Reasoning: resolution, SAT-checking

Constraint programming
* Local consistency: arc-consistency, path-consistency, i-consistency
* Look-ahead search strategies: forward-checking, arc-consistency look-ahead, maintaining arc-consistency

The course provides useful tools in its own right, but it is also the first course on the modern artificial intelligence specialization and the scalable computing specialization.  
Læringsaktiviteter:14 ugers undervisning bestående af forelæsninger og øvelser

13 lectures + 11 exercise sessions.

Some mandatory homework.

-----------------------------
I intro-ugen (uge 5) er der ændrede kursustidspunkter:
Link til skemaoplysninger

In the intro week (week 5) the course time table is changed:
Link to the time table
-----------------------------

Information om studiestruktur / Information about study structure

SDT
Dette kursus er en del af SDT-specialiseringerne Scalable Computing og Modern AI, som du kan finde beskrevet her:
SDT studiestruktur
For at blive cand.it. i SDT skal du bestå SDT's obligatoriske moduler, og gennemføre en 22,5 ECTS specialisering samt to 7,5 ECTS valgfag.

This course is part of the SDT specializations Scalable Computing and Modern AI; find them described here:
SDT study structure
In order to graduate as a MSc in SDT, you need to pass the SDT mandatory modules, and also take a 22,5 ECTS specialization and two 7,5 ECTS electives.

MTG
Dette kursus er en del af MTG-specialiseringen Spilprogrammering, som du kan finde beskrevet her:
MTG studiestruktur

For at blive cand.it. i MTG skal du bestå MTG's obligatoriske moduler, og desuden gennemføre en 22,5 ECTS specialisering samt to 7,5 ECTS valgfag.

This course is part of the MTG specialization Game Programming; find it described here:
MTG study structure
In order to graduate as a MSc in MTG, you need to pass the MTG mandatory modules, and also take a 22,5 ECTS specialization and two 7,5 ECTS electives.
 

Eksamensform og -beskrivelse:A2: Skriftlig eksamen med alle skriftlige og trykte hjælpemidler, 7-trins-skala, Ekstern censur

4 mandatory assignments must be passed in order to eligible for the exam.  

Litteratur udover forskningsartikler:1) Russel, S and Norvig, P., "Artificial Intelligence: A Modern Approach", Third Edition, Prentice Hall, 2009, ISBN-13 978-0136042594

2) Notes 
 
Undervisere
Følgende personer underviser på kurset:
NavnStillingUndervisertypeIndsats (%)
Rune Møller Jensen Lektor(ITU) Kursusansvarlig 100
Sigurdur Gunnarsson Hjælpelærer(ITU) Underviser 0
Christian Sinding Nellemann Hjælpelærer(ITU) Underviser 0

Afholdelse (tid og sted)
Kurset afholdes på følgende tid og sted:
UgedagTidspunktForelæsning/ØvelserStedLokale
Onsdag 08.30-10.30 Forelæsning ITU Auditorium 3 (2A56)
Onsdag 10.45-12.45 Øvelser ITU 2A14

Eksamen afholdes på følgende tid og sted:
EksamensdatoTidspunktEksamenstypeStedLokale
2010-06-02 09.00-13.00 Skriftlig eksamen ITU 3A12/3A14 og 3A18
2010-08-20 Mulig dag for reeksamen /Possible date for re-exam Skriftlig eksamen ITU Eksamensform kan blive ændret / Examination form may be altered
2010-08-23 Mulig dag for reeksamen /Possible date for re-exam Skriftlig eksamen ITU Eksamensform kan blive ændret / Examination form may be altered
2010-08-25 Mulig dag for reeksamen /Possible date for re-exam Skriftlig eksamen ITU Eksamensform kan blive ændret / Examination form may be altered