IT-Universitetet i København
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Effektiv AI-programmering 
Kursusnavn (engelsk):Efficient AI Programming 
Semester:Forår 2008 
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.

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 being the first course on the scalable computing specialization, it leads naturally to the second course on the specialization: advanced algorithms.

 
Læringsaktiviteter:14 ugers undervisning bestående af forelæsninger og øvelser

14 lectures + 14 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-specialiseringen Scalable Computing, 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 specialization Scalable Computing – find it 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

 

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
Mandag 13.00-15.00 Forelæsning ITU 3A12, 3A14
Mandag 15.00-17.00 Øvelser ITU 3A12, 3A14

Eksamen afholdes på følgende tid og sted:
EksamensdatoTidspunktEksamenstypeStedLokale
2008-06-04 kl. 09.00 - 13.00 Skriftlig eksamen ITU 4A14