IT-Universitetet i København
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Effektiv AI-programmering 
Kursusnavn (engelsk):Efficient AI Programming 
Semester:Forår 2011 
Udbydes under:cand.it., softwareudvikling og -teknologi (sdt) 
Omfang i ECTS:7,50 
Kursussprog:Engelsk 
Kursushjemmeside:http://www.itu.dk/courses/IAIP/F2011/index.html 
Min. antal deltagere:12 
Forventet antal deltagere:60 
Maks. antal deltagere:80 
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.

-----
Information about the course of study
This course is part of a specialization on the Master of Science in IT, study programme Software Development and Technology. See a description of specializations on SDT here:
Kandidat Software Development Technology

Information about the course of study
This course is second part of a specialization on the Master of Science in IT, study programme Media Technology and Games. See a description of specializations on MTG here: Master of Science Media Technology and Games
 
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.

-----
See the schedule here:
link to the time table
The schedule will be available shortly before the beginning of the term.

 

Eksamensform og -beskrivelse:X. experimental examination form (7-scale; external exam), 7-trins-skala, Ekstern censur

This course has mandatory assignments (e.g. attendance, papers, exercises, presentations, productions), that need to be completed/approved before being eligible to register for the examination:
- Mandatory homework  

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

2) Notes 
 
Afholdelse (tid og sted)
Kurset afholdes på følgende tid og sted:
UgedagTidspunktForelæsning/ØvelserStedLokale
Onsdag 12.00-14.00 Forelæsning ITU Aud 2
Onsdag 14.00-16.00 Øvelser ITU 4A14

Eksamen afholdes på følgende tid og sted:
EksamensdatoTidspunktEksamenstypeStedLokale
2011-06-08 09:00-13:00 Skriftlig eksamen ITU 3A12, 3A14, 4A14 og 4A16
2011-08-19 Re-exam - Please contact the course manager Skriftlig eksamen ITU 2A18 - ORAL EXAM
2011-08-19 Re-examination Skriftlig eksamen ITU Eksamensform kan blive ændret / Examination form may be altered