IT-Universitetet i København
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Effektiv AI-programmering 
Kursusnavn (engelsk):Efficient AI Programming 
Semester:Forår 2009 
Udbydes under:cand.it., softwareudvikling og -teknologi (sdt) 
Omfang i ECTS:7,50 
Kursussprog:Engelsk 
Kursushjemmeside:https://learnit.itu.dk 
Min. antal deltagere:12 
Forventet antal deltagere:25 
Maks. antal deltagere:60 
Formelle forudsætninger:You must have passed an elementary programming course such as "Object Oriented Programming - Introduction (SOPI)" or similar.

If you are an external student, who haven't followed one of the recommended courses, 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: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.

After the course you will 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 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
* Decision Tree 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 manadatory 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:X. experimental examination form (7-scale; external exam), 7-trins-skala, Ekstern censur

Mandatory home work must be handed in to the course manager, in order to be eligible for the exam.  

Litteratur udover forskningsartikler:1) Russel, S and Norvig, P., "Artificial Intelligence: A Modern Approach", Second Edition, Prentice Hall, 2003, ISBN 0-13-080302-2

2) Notes 
 
Afholdelse (tid og sted)
Kurset afholdes på følgende tid og sted:
UgedagTidspunktForelæsning/ØvelserStedLokale
Torsdag 13.00-15.00 Forelæsning ITU 3A14
Torsdag 15.00-17.00 Øvelser ITU 3A14

Eksamen afholdes på følgende tid og sted:
EksamensdatoTidspunktEksamenstypeStedLokale
2009-06-02 09.00-13.00 Skriftlig eksamen ITU 2A12-2A14